真鍋義文

2014 - 2017 時間制約およびセキュリティを考慮した公平分割手法
2013 - Research on Cryptography, Distributed Algorithms, and Game Theory
1997 - 1998 並列プログラムにおける物理的リソース指示の分離と効率的コンパイル技法に関する研究
Security, fault-tolerant networks, fair usage for networks

Yoshifumi Manabe, Hibiki Ono. Card-Based Cryptographic Protocols for Three-Input Functions Using Private Operations. Combinatorial Algorithms - 32nd International Workshop(IWOCA). 2021. 469-484
Yoshifumi Manabe, Hibiki Ono. Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations. Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium(ICTAC). 2021. 256-274
Hibiki Ono, Yoshifumi Manabe. Minimum Round Card-Based Cryptographic Protocols Using Private Operations. Cryptography(Cryptogr.). 2021. 5. 3. 17-17
Hibiki Ono, Yoshifumi Manabe. Card-Based Cryptographic Logical Computations Using Private Operations. NEW GENERATION COMPUTING. 2020. 39. 1. 19-40
Yoshifumi Manabe, Hibiki Ono. Secure Card-Based Cryptographic Protocols Using Private Operations Against Malicious Players. Innovative Security Solutions for Information Technology and Communications - 13th International Conference(SECITC). 2020. 55-70

青木大輔, 真鍋義文. 錦織選手のテニスサーブに関するゲーム理論解析. 電子情報通信学会大会講演論文集(CD-ROM). 2021. 2021
佐々木輝, 真鍋義文. ホテルの利益を最大化する部屋の割り当て戦略. 電子情報通信学会大会講演論文集(CD-ROM). 2021. 2021
久田海里, 真鍋義文. 指定時間内に最小燃料で航行するウェザールーティングアルゴリズム. 電子情報通信学会大会講演論文集(CD-ROM). 2021. 2021
鈴木颯馬, 真鍋義文. Jリーグにおけるダイナミックプライシングによる効用の検証. 電子情報通信学会大会講演論文集(CD-ROM). 2021. 2021
伊藤悠斗, 真鍋義文. RFC 8030とPush APIを用いたリソース単位のサーバープッシュの実現. 電子情報通信学会技術研究報告(Web). 2021. 121. 156(SWIM2021 13-25)

分散処理システム
森北出版 2013 ISBN:9784627810716
Distributed Systems
Morikita Publishing 2013 ISBN:9784627810716
数理的技法による情報セキュリティ
共立出版 2010 ISBN:9784320019508
Monitoring and Debugging of Distributed Real-Time Systems
IEEE Computer Society Press 1995 ISBN:0818665378
Monitoring and Debugging of Distributed Real-Time Systems
IEEE Computer Society Press 1995 ISBN:0818665378

Card-based Cryptographic Protocols
(9th International Conference on Networking and Information Technology (ICNIT 2018) 2018)
匿名システムTorにおける指紋攻撃・遅延攻撃に対する分散レンジリクエストによる対策
(情報処理学会研究報告(Web) 2018)
Envy-Free Allocation of Divisible Goods
(3rd International Conference on Information and Network Technologies (ICINT 2018) 2018)
Fair Allocation of Divisible Goods
(International Joint Conference on Information and Communication Engineering (JCICE 2018) 2018)
On the Number of Rounds of Card-based Cryptographic Protocols Using Private Operations (情報セキュリティ) -- (IT・ISEC・WBS合同研究会)
(電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 2018)

1983 - 1985 大阪大学基礎工学研究科物理系専攻情報工学分野
1979 - 1983 大阪大学基礎工学部情報工学科

博士(工学) (大阪大学)

2016/04 - 現在工学院大学情報学部システム数理学科教授
2013/04 - 2016/03 工学院大学情報学部コンピュータ科学科教授
2011/04 - 2013/03 日本電信電話株式会社コミュニケーション科学基礎研究所協創情報研究部主幹研究員
2001/04 - 2013/03 京都大学大学院情報学研究科社会情報学専攻客員准教授兼務
2007/04 - 2011/03 日本電信電話株式会社コミュニケーション科学基礎研究所人間情報研究部グループリーダ

全件表示

2014/06 - 2015/05 電子情報通信学会ソサイエティ論文誌編集査読委員投稿論文査読
2014/02 - 2015/05 情報処理学会論文誌「娯楽の離散数理」特集号編集委員
2013/09 - 2014/07 Thirteenth IEEE International Workshop on Assurance in Distributed Systems and Networks(ASDN 2014) Program commitee
2011/10 - 2014/06 IEEE International Workshop on Assurance in Distributed Systems(ASDN2012)(ASDN2013) Program Committee
2011/10 - 2014/06 IEEE International Workshop on Assurance in Distributed Systems(ASDN2012)(ASDN2013)(ASDN2014) Program Committee

2003/10 - 2013/10 IADIS International Conference on Applied Computing(AC2004)(AC2005)(AC2006)(AC2008)(AC2009)(AC2010)(AC2011)(AC2012)(AC2013) Program Committee

2009/07 - 2013/09 公益財団法人稲盛財団京都賞推薦委員

2012/12 - 2013/08 International Symposium on Security in Computing and Communications (SSCC'13)Program Committee

2007/03 - 2013/07 IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing(SNPD2007)(SNPD2008)(SNPD2009)(SNPD2012)(SNPD2013) Program Committee

2007/03 - 2013/06 IEEE/ACIS International Conference on Computer and Information Science(ICIS2008)(ICIS2009)(ICIS2010)(ICIS2011)(ICIS2012)(ICIS2013) Program Committee

2012/03 - 2013/05 情報処理学会論文誌「パズルの数理」特集号編集委員

2012/03 - 2012/05 International Conference on Systems and Informatics (ICSAI 2012) Program Committee

2009/05 - 2012/05 IEEE International Conference on Information Science and Applications (ICISA2010)(ICISA2011)(ICISA2012) Program Committee

2009/09 - 2012/04 ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009)(SERA2010)(SERA2011)(SERA2012) Program Committee

2008/04 - 2012/04 日本応用数理学会理事

2011/09 - 2011/12 ACIS International Symposium on Software and Network Engineering(SSNE2011) Program Committee

2011/06 - 2011/12 International Conference on IT Convergence and Security(ICITCS2011) Program Committee

2007/04 - 2011/09 大阪大学大学院情報科学研究科「アンビエント情報社会基盤創成拠点」アドバイザリ委員

2010/04 - 2011/04 日本応用数理学会副会長

2009/04 - 2011/02 IFIP International Conference on New Technologies, Mobility and Security(NTMS2009)(NTMS2010)(NTMS2011) Program Committee

2008/05 - 2010/09 日本応用数理学会年会実行委員

2009/01 - 2009/07 International Conference on Security and Privacy(SECRIPT 2009) Program Committee

2008/10 - 2009/04 Spring School and French-Japanese collaboration workshop on Computational and Symbolic Proofs of Security(CosyProofs 2009) Organizing Committee

2007/03 - 2007/12 Asia Pacific International Symposium on Information Technology(APIS2007) Advisory Committee

2004/12 - 2006/11 OSDL Japan Data Center Linux-Japan テクニカルリーダ

2004/12 - 2006/11 OSDL Japan Data Center Linux-Japan technical Leader

2004/10 - 電子情報通信学会和文論文誌D-1「ユビキタス社会構築のためのネットワークに対する理論とその応用」小特集号編集委員

2003/11 - 2004/03 International Conference on Distributing Computing Systems(ICDCS) Program Committee

2002/12 - 2003/12 IEEE Kansai Section Membership Development Committee

2002/04 - 2003/05 電子情報通信学会英文論文誌「離散数学とその応用」特集号編集委員

2001/05 - 2003/05 情報処理学会関西支部幹事

1997/05 - 2003/05 情報処理学会論文誌査読委員

1997/05 - 2003/04 電子情報通信学会コンピュテーション研究会研究専門委員

2002/04 - 2002/12 Asia Pacific International Symposium on Internet and Multimedia(APIS2) Advisory Committee

1996/05 - 2000/05 情報処理学会論文誌編集委員

1999/04 - 2000/03 神奈川県厚木市長谷連合自治会NTT長谷自治会長

1997/04 - 2000/03 日本応用数理学会学会誌編集委員

1999/02 - 1999/08 電子情報通信学会ニュース委員会委員

1994/05 - 1997/05 情報処理学会アルゴリズム研究会連絡委員

1992/04 - 1996/09 電子情報通信学会回路とシステム軽井沢ワークショップ実行委員

1993/05 - 1995/05 情報処理学会学会誌編集委員

1994/01 - 1994/12 International Conference on Parallel and Distributed Systems(ICPADS) Program Committee

1989/10 - 電子情報通信学会論文誌査読委員

全件表示

IEEE , 電子情報通信学会 , ACM , 情報処理学会 , 日本応用数理学会

真鍋 義文