cc.kogakuin.ac.jpプロフィール情報
プロフィール
1960年12月 大阪に生れる
1979年 4月 大阪大学基礎工学部情報工学科入学
1983年 3月 同卒業
1983年 4月 同大学院基礎工学研究科物理系専攻情報工学分野博士前期課程入学
1985年 3月 同修了
1985年 4月 日本電信電話株式会社(NTT)入社、武蔵野電気通信研究所情報通信基礎研究部 勤務
1985年 9月 同 基礎研究所情報通信基礎研究部 勤務
1987年 7月 同 ソフトウェア研究所ソフトウェア基礎技術研究部 勤務
1992年 7月 同 基礎研究所情報科学研究部 主任研究員
1994年 8月～1995年8月 米国The Johns Hopkins大 客員研究員
1999年 1月 NTT 先端技術総合研究所企画部 情報戦略担当課長
2000年10月 同 コミュニケーション科学基礎研究所社会情報研究部 グループリーダ
2001年4月～2013年3月 京都大学大学院情報学研究科社会情報学専攻 客員助教授（准教授） 兼務
2002年4月～2004年9月 大阪大学大学院情報科学研究科 非常勤講師 兼務
2003年11月 NTT サイバースペース研究所 情報ベースプロジェクト 主幹研究員
2007年 4月 同 コミュニケーション科学基礎研究所人間情報研究部 グループリーダ
2011年 4月 同 コミュニケーション科学基礎研究所協創情報研究部 主幹研究員
2013年 4月 工学院大学 情報学部コンピュータ科学科 教授
2016年 4月 工学院大学 情報学部システム数理学科 教授2023年 4月 工学院大学 情報学部情報科学科 教授、現在に至る
1993年3月 博士(工学)取得（大阪大学)
経歴
- 2023年04月 - 現在
工学院大学, 情報学部 情報科学科, 教授 - 2016年04月 - 2023年03月
工学院大学, 情報学部 システム数理学科, 教授 - 2013年04月 - 2016年03月
工学院大学, 情報学部 コンピュータ科学科, 教授 - 2011年04月 - 2013年03月
日本電信電話株式会社, コミュニケーション科学基礎研究所 協創情報研究部, 主幹研究員 - 2001年04月 - 2013年03月
京都大学, 大学院情報学研究科 社会情報学専攻, 客員准教授 兼務 - 2007年04月 - 2011年03月
日本電信電話株式会社, コミュニケーション科学基礎研究所 人間情報研究部, グループリーダ - 2003年11月 - 2007年03月
日本電信電話株式会社, サイバースペース研究所 ＯＳＳコンピューティングプロジェクト, 主幹研究員 - 2003年10月 - 2007年03月
日本電信電話株式会社, サイバースペース研究所 ＯＳＳコンピューティングプロジェクト, 主幹研究員 - 2002年04月 - 2004年09月
大阪大学, 大学院情報科学研究科, 非常勤講師 兼務 - 2000年10月 - 2003年09月
日本電信電話株式会社, コミュニケーション科学基礎研究所 社会情報研究部, グループリーダ - 1999年01月 - 2000年10月
日本電信電話株式会社, 先端技術総合研究所 企画部, 情報戦略担当課長 - 1992年07月 - 1999年01月
日本電信電話株式会社, 基礎研究所 情報科学研究部, 主任研究員 - 1994年08月 - 1995年08月
米国 The Johns Hopkins大, Department of Computer Science, 客員研究員 兼務 - 1987年07月 - 1992年06月
日本電信電話株式会社, ソフトウェア研究所 ソフトウェア基礎技術研究部, 研究主任 - 1985年09月 - 1987年06月
日本電信電話株式会社, 基礎研究所 情報通信基礎研究部 - 1985年04月 - 1985年08月
日本電信電話株式会社, 武蔵野電気通信研究所 情報通信基礎研究部
学歴
所属学協会
ID各種
ID各種
研究者番号：80466408
researchmap会員ID：5000091306
ORCID ID：https://orcid.org/0000-0002-6312-257X
J-Global ID：200901070100441345
書籍等出版物
- 分散処理システム
真鍋義文, 単著
森北出版, 2013年09月20日
9784627810716 - Distributed Systems
Morikita Publishing, 2013年
9784627810716 - 数理的技法による情報セキュリティ
岡本龍明、真鍋義文, 共著
共立出版, 2010年07月
9784320019508 - Monitoring and Debugging of Distributed Real-Time Systems
Yoshifumi Manabe and Makoto Imase, 共著
IEEE Computer Society Press, 1995年05月
0818665378
論文
- Strategyproof Matching with Maximum and Minimum Quotas for Two Types of Members
Ryuji Oomori; Yoshifumi Manabe
Proceedings of 26th International Conference on Principles and Practice of Multi-Agent Systems(PRIMA 2025), 2025年12月15日, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - Multi-price lottery: A new pricing for ticket lottery sales
Maiko Hara; Yoshifumi Manabe
Proc. of the 22nd European Conference on Multi-Agent Systems (EUMAS 2025), 2025年09月, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - Card-Based Secure Evaluation of Decision Trees
Yoshifumi Manabe; Naoki Kobayashi
Proceedings of the 19th International Conference on Risks and Security of Internet and Systems(CRiSIS 2024), 2025年, ［査読有り］
筆頭著者 - Card-Based Cryptographic Protocols for Three-Input Functions with a Standard Deck of Cards Using Private Operations
Naoki Kobayashi; Yoshifumi Manabe
Proceedings of the 19th DPM International Workshop on Data Privacy Management, 2025年, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations
Yoshifumi Manabe; Hibiki Ono
New Generation Computing, 2024年06月15日, ［査読有り］
筆頭著者 - Free-XOR in Card-Based Garbled Circuits
Yoshifumi Manabe; Kazumasa Shinagawa
Proc. of 22nd International Conference on Cryptology and Network Security (CANS 2023), LNCS, 2023年10月, ［査読有り］
筆頭著者, 責任著者 - Malicious Player Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations
Tomoya Morooka; Yoshifumi Manabe; Kazumasa Shinagawa
Proc. of 18th International Conference on Information Security Practice and Experience (ISPEC 2023), LNCS, 2023年08月, ［査読有り］
責任著者 - Many-to-many perfect matching
Musashi Takanezawa and Yoshifumi Manabe
Proc. of 2022 4th International Conference on Advanced Information Science and System (AISS 2022), 2023年02月, ［査読有り］
ラスト(シニア)オーサー - Card-Based Zero-Knowledge Proof for the Nearest Neighbor Property: Zero-Knowledge Proof of ABC End View
Takuro Fukasawa; Yoshifumi Manabe
Proc. of 12th International Conference on Security, Privacy and Applied Cryptographic Engineering 2022 (SPACE 2022) LNCS, 2022年12月, ［査読有り］
ラスト(シニア)オーサー - Card-based Cryptographic Protocols to Calculate Primitives of Boolean Functions: Survey
Yoshifumi Manabe
International Journal of Computer & Software Engineering, 2022年06月, ［査読有り］
筆頭著者, 責任著者 - Card-Based Cryptographic Protocols with Malicious Players Using Private Operations
Yoshifumi Manabe; Hibiki Ono
New Generation Computing, 2022年04月01日, ［査読有り］
筆頭著者 - Card-Based Cryptographic Protocols for Three-Input Functions Using Private Operations.
Yoshifumi Manabe; Hibiki Ono
Combinatorial Algorithms - 32nd International Workshop(IWOCA), 2021年, ［査読有り］
筆頭著者 - Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations.
Yoshifumi Manabe; Hibiki Ono
Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium(ICTAC), 2021年, ［査読有り］
筆頭著者 - Minimum Round Card-Based Cryptographic Protocols Using Private Operations.
Hibiki Ono; Yoshifumi Manabe
Cryptography(Cryptogr.), 2021年, ［査読有り］, ［招待有り］
ラスト(シニア)オーサー, 責任著者 - Card-Based Cryptographic Logical Computations Using Private Operations
Hibiki Ono; Yoshifumi Manabe
NEW GENERATION COMPUTING, 2020年10月, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - Secure Card-Based Cryptographic Protocols Using Private Operations Against Malicious Players.
Yoshifumi Manabe; Hibiki Ono
Innovative Security Solutions for Information Technology and Communications - 13th International Conference(SECITC), 2020年, ［査読有り］
筆頭著者 - A Three-Player Envy-Free Discrete Division Protocol for Mixed Manna
Yuki Okano; Yoshifumi Manabe
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2020年, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - Card-Based Cryptographic Protocols with the Minimum Number of Rounds Using Private Operations.
Hibiki Ono; Yoshifumi Manabe
Data Privacy Management, Cryptocurrencies and Blockchain Technology - ESORICS 2019 International Workshops, DPM 2019 and CBT 2019(DPM/CBT@ESORICS), 2019年, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - Card-Based Cryptographic Protocols with the Minimum Number of Cards Using Private Operations
Hibiki Ono; Yoshifumi Manabe
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019年, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - A Three-Player Envy-Free Division Protocol for Mixed Manna
Yuki Okano; Yoshifumi Manabe
Proceedings of International Conference on Information Technology and Computer Science(ICITCS 2018), 2018年08月18日, ［査読有り］ - Efficient Card-based Cryptographic Protocols for the Millionaires' Problem Using Private Input Operations
Hibiki Ono; Yoshifumi Manabe
2018 13TH ASIA JOINT CONFERENCE ON INFORMATION SECURITY (ASIAJCIS 2018), 2018年, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - Privacy-Preserving Group Matching Protocol.
Takuya Ibaraki; Yoshifumi Manabe
J. Comput., 2018年, ［査読有り］
ラスト(シニア)オーサー - Secure message transmission against rational multiple adversaries
Kenya Yasui; Yoshifumi Manabe
Proceedings of 6th International Conference on Computer Technology and Science(ICCTS 2017), 2017年12月08日, ［査読有り］ - A more efficient card-based protocol for generating a random permutation without fixed points
Takuya Ibaraki; Yoshifumi Manabe
Proceedings - 2016 3rd International Conference on Mathematics and Computers in Sciences and in Industry, MCSI 2016, 2017年01月11日, ［査読有り］
ラスト(シニア)オーサー - On compositional reasoning about anonymity and privacy in epistemic logic
Yasuyuki Tsukada; Hideki Sakurada; Ken Mano; Yoshifumi Manabe
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2016年10月, ［査読有り］ - A Secure M+1st Price Auction Protocol Based on Bit Slice Circuits
Takuho Mitsunaga; Yoshifumi Manabe; Tatsuaki Okamoto
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2016年08月, ［査読有り］ - Battery Power Management Routing Considering Participation Duration for Mobile Ad Hoc Networks
Masaru Yoshimachi and Yoshifumi Manabe
Journal of Advances in Computer Networks, 2016年03月01日, ［査読有り］ - A New AODV Route Discovery Protocol to Achieve Fair Routing for Mobile Ad Hoc Networks
Masaru Yoshimachi; Yoshifumi Manabe
PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATION COMMUNICATION AND MANAGEMENT (ICICM 2016), 2016年, ［査読有り］
ラスト(シニア)オーサー - An Online Allocation Algorithm of Indivisible Goods
Kohei Shimizu; Yoshifumi Manabe
PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATION COMMUNICATION AND MANAGEMENT (ICICM 2016), 2016年, ［査読有り］
ラスト(シニア)オーサー - A Non-Blocking Online Cake-Cutting Protocol
Koki Kubo; Yoshifumi Manabe
PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MATHEMATICS AND COMPUTERS IN SCIENCES AND IN INDUSTRY (MCSI 2016), 2016年, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - Game-Theoretic Security of Commitment Protocols under a Realistic Cost Model
Tsuyoshi Komatsubara; Yoshifumi Manabe
IEEE 30TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS IEEE AINA 2016, 2016年, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - A Double-Private epsilon-fuzzy Matching Protocol
Yuta Urushiyama; Yoshifumi Manabe
2015 5TH INTERNATIONAL CONFERENCE ON IT CONVERGENCE AND SECURITY (ICITCS), 2015年, ［査読有り］
ラスト(シニア)オーサー, 責任著者 - An Allocation Algorithm of Indivisible Goods
Kohei Shimizu; Yoshifumi Manabe
2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 2015年, ［査読有り］
ラスト(シニア)オーサー - Ａ Privacy-Preserving Collaborative Filtering Protocol Considering Updates
Yuji Mochizuki; Yoshifumi Manabe
IEICE Proceeding Series, 2015年, ［査読有り］
ラスト(シニア)オーサー - A Cryptographic Moving-Knife Cake-Cutting Protocol with High Social Surplus
Yoshifumi Manabe; Risako Otsuka; Tatsuaki Okamoto
Journal of Information Processing, 2015年, ［査読有り］ - An efficient edge-based authentication for network coding against entropy attacks
Ryo Iguchi; Yoshifumi Manabe
Proceedings - International Conference on Distributed Computing Systems, 2014年08月29日, ［査読有り］ - Constant-Round Black-Box Construction of Composable Multi-Party Computation Protocol
Susumu Kiyoshima; Yoshifumi Manabe; Tatsuaki Okamoto
THEORY OF CRYPTOGRAPHY (TCC 2014), 2014年, ［査読有り］ - An epistemic approach to compositional reasoning about anonymity and privacy
Yasuyuki Tsukada; Hideki Sakurada; Ken Mano; Yoshifumi Manabe
Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2013, 2013年, ［査読有り］ - Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption
Takuho Mitsunaga; Yoshifumi Manabe; Tatsuaki Okamoto
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2013年01月, ［査読有り］ - Constant-Round Black-Box Construction of Composable Multi-Party Computation Protocol.
Susumu Kiyoshima; Yoshifumi Manabe; Tatsuaki Okamoto
IACR Cryptol. ePrint Arch., 2013年, ［査読有り］ - Meta-envy-free Cake-cutting and Pie-cutting Protocols (特集 パズルの数理 : アルゴリズム理論)
Yoshifumi Manabe; Tatsuaki Okamoto
情報処理学会論文誌, 2012年06月15日 - Meta-envy-free Cake-cutting and Pie-cutting Protocols
Manabe Yoshifumi; Okamoto Tatsuaki
Information and Media Technologies, 2012年 - Efficient concurrent oblivious transfer in super-polynomial-simulation security
Susumu Kiyoshima; Yoshifumi Manabe; Tatsuaki Okamoto
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012年 - A Cryptographic Moving-knife Cake-Cutting Protocol
Yoshifumi Manabe; Tatsuaki Okamoto
Proceedings of International Workshop on Interactions, Games and Protocols (iWIGP2012), EPTCS, 2012年 - A Secure M+1st Price Auction Protocol Based on Bit Slice Circuits
Takuho Mitsunaga; Yoshifumi Manabe; Tatsuaki Okamoto
ADVANCES IN INFORMATION AND COMPUTER SECURITY, 2011年, ［査読有り］ - Insatabity of a punishment strategy in correlated equilibria
Takuho Mitsunaga; Yoshifumi Manabe; Tatsuaki Okamoto
Workshop on Algorithmic Game Theory: Dynamics and Convergence in Distributed Systems (AlgoGT2010), 2010年 - Meta-Envy-Free Cake-Cutting Protocols
Yoshifumi Manabe; Tatsuaki Okamoto
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2010, 2010年 - 汎用的結合可能性による暗号システムの安全性証明
岡本 龍明; 真鍋 義文
電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition), 2009年05月01日 - An optimistic fair exchange protocol and its security in the universal composability framework
Yusuke Okada; Yoshifumi Manabe; Tatsuaki Okamoto
International Journal of Applied Cryptography, 2008年02月 - Universally composable identity-based encryption
Ryo Nishimaki; Yoshifumi Manabe; Tatsuaki Okamoto
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2008年01月, ［査読有り］ - An efficient anonymous credential system
Norio Akagi; Yoshifumi Manabe; Tatsuaki Okamoto
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008年 - Anonymous return route information for onion based mix-nets
Yoshifumi Manabe; Tatsuaki Okamoto
Proceedings of the 2008 Workshop on Applications of Private and Anonymous Communications, AIPACa'08, 2008年 - Relationship of three cryptographic channels in the UC framework
Waka Nagao; Yoshifumi Manabe; Tatsuaki Okamoto
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008年 - On the equivalence of several security notions of KEM and DEM
Walka Nagao; Yoshifumi Manabe; Tatsuaki Okamoto
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2008年01月 - Universally Composable Identity-Based Encryption
NISHIMAKI Ryo; MANABE Yoshifumi; OKAMOTO Tatsuaki
IEICE transactions on fundamentals of electronics, communications and computer sciences, 2008年01月01日 - A universally composable secure channel based on the KEM-DEM framework
Waka Nagao; Yoshifumi Manabe; Tatsuaki Okamoto
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 2006年01月, ［査読有り］ - Universally composable identity-based encryption
Roy Nishimaki; Yoshifumi Manabe; Tatsuaki Okamoto
PROGRESS IN CRYPTOLOGY - VIETCRYPT 2006, 2006年 - On the Equivalence of Several Security Notions of Key Encapsulation Mechanism.
Waka Nagao; Yoshifumi Manabe; Tatsuaki Okamoto
IACR Cryptology ePrint Archive, 2006年, ［査読有り］ - A universally composable secure channel based on the KEM-DEM framework
Waka Nagao; Yoshifumi Manabe; Tatsuaki Okamoto
Lecture Notes in Computer Science, 2005年 - A Byzantine fault-tolerant mutual exclusion algorithm and its application to Byzantine fault-tolerant storage systems
JM Kim; Y Manabe
25TH IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, 2005年 - (h,k)-Arbiters for h-out-of-k mutual exclusion problem
Yoshifumi Manabe; Naka Tajima
Theoretical Computer Science, 2004年01月01日 - On the security of hybrid public-key encryption
W Nagao; Y Manabe; T Okamoto
ISAS/CITSA 2004: International Conference on Cybernetics and Information Technologies, Systems and Applications and 10th International Conference on Information Systems Analysis and Synthesis, Vol 1, Proceedings, 2004年 - A quorum-based extended group mutual exclusion algorithm without unnecessary blocking
Yoshifumi Manabe; Jae Hyrk Park
Proceedings of the International Conference on Parallel and Distributed Systems - ICPADS, 2004年 - A Consistent Global Checkpoint Algorithm for Distributed Systems with a Forbidden Process
Yoshifumi Manabe
Proceedings of 13th IEEE International Conference on Information Networking, 1999年 - Coterie for Generalized Mutual Exclusion Problem
Shao Chin Sung; Yoshifumi Manabe
IEICE Transactions on Information and Systems, 1999年 - K-Arbiter: A safe and general scheme for h-out of-k mutual exclusion
Yoshifumi Manabe; Roberto Baldoni; Michel Raynal; Shigemi Aoyagi
Theoretical Computer Science, 1998年02月28日 - On Coterie for Generalized Distributed Resource Allocation Algorithm
Shao-Chin Sung a; Yoshifumi Manabe
Proceedings of IPSJ International Symposium on Information Systems and Technologies for Network Society, 1997年 - A Feasibility Decision Algorithm for Rate Monotonic and Deadline Monotonic Scheduling
Yoshifumi Manabe; Shigemi Aoyagi
Real-Time Systems, 1997年 - Design of a d-connected digraph with a minimum number of edges and a quasiminimal diameter: II
Terunao Soneoka; Makoto Imase; Yoshifumi Manabe
Discrete Applied Mathematics, 1996年02月08日 - Quorum-based Solutions to the h-out of-k Mutual Exclusion Problem in Distributed Systems
Roberto Baldoni; Yoshifumi Manabe; Michel Raynal; Shigemi Aoyagi
Proceedings of 4th Workshop on Parallel Systems and Algorithms, 1996年 - Truant failure detection algorithm for multi-policy distributed systems
Yoshifumi Manabe; Shigemi Aoyagi
Proceedings of the International Symposium on Autonomous Decentralized Systems, 1995年 - Global conditions in debugging distributed programs
Yoshifumi Manabe; Makoto Imase
Journal of Parallel and Distributed Computing, 1992年05月 - Debugging Dynamic Distributed Programs Using Global Predicates
Yoshifumi Manabe; Shigemi Aoyagi
Proceedings of 4th IEEE Symposium on Parallel and Distributed Processing, 1992年 - Global states monitoring algorithm for distributed system.
Kenji Moriyasu; Terunao Soneoka; Yoshifumi Manabe
Systems and Computers in Japan, 1991年04月, ［査読有り］ - Fault-tolerant routings in a K-connected network
Makoto Imase; Yoshifumi Manabe
Information Processing Letters, 1988年07月29日 - Reliable and Efficient Fixed Routings on Digraphs
Yoshifumi Manabe; Makoto Imase; Terunao Soneoka
Transactions of IEICE, 1988年 - A Design of Reliable Networks Using Node Redundancy
Terunao Soneoka; Yoshifumi Manabe; Makoto Imase
Proceedings of 19th Southeastern Conference on Combinatorics, Graph Theory, and Computing, Congressus numerantium volume 67, 1988年 - Minimum separation layout for cmos circuits realizing tree‐shape monotone decreasing logic circuits
Yoshifumi Manabe; Ken'Ichi Hagihara; Nobuki Tokura
Systems and Computers in Japan, 1986年, ［査読有り］ - The minimum track number of the narrower channel in the signal‐row single‐layer routing
Yoshifumi Manabe; Ken'Ichi Hagihara; Nobuki Tokura
Electronics and Communications in Japan (Part I: Communications), 1985年02月, ［査読有り］
MISC
- 国際会議：6th International Workshop on Security(IWSEC2011)
真鍋義文
電子情報通信学会誌, 2012年 - グローバルスタンダード最前線 オープンソースソフトウェア(OSS)の標準化動向―CGLとDCLについて
内田直樹; 真鍋義文
NTT技術ジャーナル, 2005年05月01日
http://jglobal.jst.go.jp/public/200902283698182508 - グローバルスタンダード最前線 通信事業者向けLinuxの標準化動向
真鍋義文; 河原崎裕朗; 池辺隆
NTT技術ジャーナル, 2004年09月01日
http://jglobal.jst.go.jp/public/200902283611667063 - 40Gbit/s光ソリトン伝送技術に進展 : 現場に布設された光ファイバで1,360km伝送に(NTT), 室内実験で10,000km伝送に(KDD)成功
真鍋 義文; 笠 史郎
電子情報通信学会誌, 1999年04月25日
講演・口頭発表等
- Multi-Price Lottery for Ticket Lottery Sales
Yoshifumi Manabe
2025 3rd International Conference on Data, Information and Computing Science (CDICS 2025), 2025年12月06日, ［招待有り］ - Multi-Price Lottery for Ticket Lottery Sales
Yoshifumi Manabe
9th International Conference on Business and Information Management(ICBIM 2025), 2025年09月20日, ［招待有り］ - Fair Allocation of Divisible Goods
Yoshifumi Manabe
6th International Conference on Industrial Engineering and Artificial Intelligence (IEAI 2025), 2025年04月25日, ［招待有り］ - Secure Computation using Physical Cards
Yoshifumi Manabe
2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025), 2025年03月29日, ［招待有り］ - ドッスンフワリに対する物理的カードを用いたゼロ知識証明プロトコル
佐山 良博; 真鍋 義文
コンピュータセキュリティシンポジウム2024 4H4-4, 2024年10月25日 - 決勝戦でマッチングするためのトーナメントの不正
中西響希; 真鍋義文
2024年電子情報通信学会総合大会D-1-7, 2024年03月07日, 電子情報通信学会 - 二種類の学生が存在する場合の研究室配属
大森琉司; 真鍋義文
2024年電子情報通信学会総合大会D-1-8, 2024年03月07日, 電子情報通信学会 - 津波避難行動におけるリーダーの必要性の検証
反町駿也; 玉田正樹; 真鍋義文
2024年電子情報通信学会総合大会D-13-6, 2024年03月07日, 電子情報通信学会 - 目的に合わせた移動経路設定
小林廉太郎; 真鍋義文
2024年電子情報通信学会総合大会D-13-8, 2024年03月07日, 電子情報通信学会 - Jリーグにおけるダイナミックプライシング導入の検証
坂倉碧斗; 真鍋義文
2024年電子情報通信学会総合大会D-4-10, 2024年03月07日, 電子情報通信学会 - Cryptographic Protocols using Physical Cards
Yoshifumi Manabe
2023 4th International Conference on Electronics, Communications and Information Technology(CECIT 2023), 2023年12月24日, ［招待有り］ - 無開示性を持つカードベース暗号プロトコルについて
真鍋義文
産学連携によるカードベース暗号の数理的未解決問題と新課題の整理, 2023年05月31日, 九州大学マス・フォア・インダストリ研究所, ［招待有り］ - 採用一次選考のアルゴリズム
宮澤樹、真鍋義文
情報処理学会第８５回全国大会6M-01, 2023年03月04日, 情報処理学会 - ヘルゴルフパズルに対するゼロ知識証明
渡部佑哉、真鍋義文
情報処理学会第８５回全国大会2ZD-07, 2023年03月02日, 情報処理学会 - ナンバーチェーンパズルに対するゼロ知識証明
波多江武明、真鍋義文
情報処理学会第８５回全国大会2ZD-06, 2023年03月02日, 情報処理学会 - 数独における数字ごとのヒント数が与える問題生成への影響
青木瞭磨、真鍋義文
情報処理学会第８５回全国大会2M-08, 2023年03月02日, 情報処理学会 - デリバリー配達員の割り当て問題
西永智貴、真鍋義文
情報処理学会第８５回全国大会1M-01, 2023年03月02日, 情報処理学会 - Free-XOR in card-based garbled circuits
真鍋義文
2023年 暗号と情報セキュリティシンポジウム, 2023年01月27日 - トランプカードによる背面処理を用いていくつかの関数を計算するカードベース秘密計算プロトコル
小林直紀、真鍋義文
2024年 暗号と情報セキュリティシンポジウム, 2024年01月25日 - カードベース暗号を用いたセキュアな決定木評価
真鍋義文; 小林直紀
2024年 暗号と情報セキュリティシンポジウム, 2024年01月25日 - Secure Computation using Physical Cards
Yoshifumi Manabe
13th International Conference on Networking and Information Technology(ICNIT 2022), 2022年12月29日, ［招待有り］ - コロナワクチン摂取予約のマッチング
青木祐磨、真鍋義文
情報処理学会第８４回全国大会 6ZC-05, 2022年03月05日, 情報処理学会 - SEIRモデルを適用した誤情報拡散モデルの構築
南澤直希、真鍋義文
情報処理学会第８４回全国大会 7ZC-02, 2022年03月05日, 情報処理学会 - 多対二の研究室配属問題
高根澤武蔵、真鍋義文
情報処理学会第８４回全国大会 5K-06, 2022年03月04日, 情報処理学会 - 災害時の避難者配給物資受け取り問題
日高悠河、真鍋義文
情報処理学会第８４回全国大会 5K-09, 2022年03月04日, 情報処理学会 - ビルディングパズルに対するゼロ知識証明
宮﨑勇斗、真鍋義文
情報処理学会第８４回全国大会 2ZD-01, 2022年03月03日, 情報処理学会 - トランプカードを用いた背面処理によるカードベース暗号プロトコルに対する3者間での相互監視による不正防止
師岡智也、真鍋義文
情報処理学会第８４回全国大会 2ZD-02, 2022年03月03日, 情報処理学会 - 灯台とABCプレースの物理的ゼロ知識証明
深澤拓朗、真鍋義文
暗号と情報セキュリティシンポジウムSCIS2022 1F4-1, 2022年01月18日, 電子情報通信学会 - RFC 8030とPush APIを用いたリソース単位のサーバープッシュの実現
伊藤悠斗; 真鍋義文
信学技報SC2021-12, 2021年08月27日, 電子情報通信学会 - Cryptographic protocols using physical cards
Yoshifumi Manabe
11th International Conference on Information Communication and Management (ICICM 2021), 2021年08月13日, ［招待有り］ - Secure Computation using Physical Cards
Yoshifumi Manabe
2021 International Conference on Communication Technology and Data Mining (ICTDM 2021), 2021年07月30日, ［招待有り］ - Card-based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations
真鍋義文; 小野響
電子情報通信学会情報セキュリティ研究会 ISEC2021-1, 2021年05月19日, 電子情報通信学会 - 指定時間内に最小燃料で航行するウェザールーティングアルゴリズム
久田海里; 真鍋義文
2021年電子情報通信学会総合大会D-1-13, 2021年03月10日, 電子情報通信学会 - Jリーグにおけるダイナミックプライシングによる効用の検証
鈴木颯馬; 真鍋義文
2021年電子情報通信学会総合大会D-1-10, 2021年03月10日, 電子情報通信学会 - ホテルの利益を最大化する部屋の割り当て戦略
佐々木輝; 真鍋義文
2021年電子情報通信学会総合大会D-1-2, 2021年03月10日, 電子情報通信学会 - 錦織選手のテニスサーブに関するゲーム理論解析
青木大輔; 真鍋義文
2021年電子情報通信学会総合大会D-1-1, 2021年03月10日, 電子情報通信学会 - Card-based Cryptographic Protocols Using Private Operations Against Malicious Players
Yoshifumi Manabe; Hibiki Ono
暗号と情報セキュリティシンポジウムSCIS2021 ２F1-4, 2021年01月20日, 電子情報通信学会 - Card-based Cryptographic Protocols
真鍋義文
5th International Conference on Information and Network Technology(ICINT 2020), 2020年05月21日, ［招待有り］ - 旅行旅程作成アルゴリズム
大谷淳稀; 真鍋義文
2020年情報処理学会全国大会6L-01, 2020年03月07日, 情報処理学会 - 荷物潰れがない、積載量の最大化アルゴリズム
小山栞太; 真鍋義文
2020年情報処理学会全国大会6L-02, 2020年03月07日, 情報処理学会 - 通勤電車の混雑緩和のための経路選択方法
浦郷遼太郎; 真鍋義文
2020年情報処理学会全国大会 7L-07, 2020年03月07日, 情報処理学会 - テーマパークの優先権パスのデジタル化によるプレイヤー行動の検証
石毛優紀; 真鍋義文
2020年情報処理学会全国大会 6M-07, 2020年03月07日, 情報処理学会 - Ethereum 2.0におけるフルノードのワールドステートの信頼性向上手法
伊藤悠斗; 真鍋義文
2020年情報処理学会全国大会 5Y-03, 2020年03月06日, 情報処理学会 - ダブルイリミネーショントーナメントにおける戦略について
中村颯篤; 真鍋義文
2020年情報処理学会全国大会 2M-06, 2020年03月05日, 情報処理学会 - Cryptographic protocols using physical cards
Yoshifumi Manabe
10th International Conference on Networking and Information Technology(ICNIT 2019), 2019年11月18日, Journal of Advances in Computer Networks, ［招待有り］ - Fair Allocation of Divisible Goods
Yoshifumi Manabe
2019 International Conference on Advanced Information Science and System (AISS 2019), 2019年11月16日, AISS 2019 Organizing committee, ［招待有り］ - Cryptographic protocols using physical cards
Yoshifumi Manabe
4th International Conference on Information and Network Technologies (ICINT 2019), 2019年05月26日, Journal of Advances in Computer Networks, ［招待有り］ - 暗号化グラフの最短経路検索におけうサーバ側の不正防止
王宏偉、真鍋義文
2019年電子情報通信学会総合大会A-7-7, 2019年03月22日, 電子情報通信学会 - SNS上の情報漏洩攻撃に対するディレイを用いた防御法について
松下耕大、真鍋義文
2019年電子情報通信学会総合大会A-7-8, 2019年03月22日, 電子情報通信学会 - ソーシャルネットワーク上の交換に基づく満足度の高い財の割り当てについて
菅原由騎、真鍋義文
2019年電子情報通信学会総合大会D-1-1, 2019年03月22日, 電子情報通信学会 - 秘密分散を用いたダブルオークションでの多項式使用数について
柳野将人、真鍋義文
2019年電子情報通信学会総合大会D-1-2, 2019年03月22日, 電子情報通信学会 - Gale-Shapleyアルゴリズムにおける複数マニピュレータの競合について
福本怜、真鍋義文
2019年電子情報通信学会総合大会D-1-3, 2019年03月22日, 電子情報通信学会 - オンライン座席割り当て問題
田中文崇、真鍋義文
2019年電子情報通信学会総合大会D-1-4, 2019年03月22日, 電子情報通信学会 - Card-based cryptographic protocols for several Boolean functions using private operations
Yoshifumi Manabe; Hibiki Ono
暗号と情報セキュリティシンポジウムSCIS2019 3C3-3, 2019年01月24日, 電子情報通信学会 - Card-based Cryptographic Protocols
真鍋 義文
9th International Conference on Networking and Information Technology (ICNIT 2018), 2018年11月, ［招待有り］ - Envy-free Allocation of Divisible Goods
Yoshifumi Manabe
3rd International Conference on Information and Network Technologies (ICINT 2018), 2018年05月25日, Journal of Advances in Computer Networks, ［招待有り］ - 匿名システムTorにおける指紋攻撃・遅延攻撃に対する分散レンジリクエストによる対策
安井賢也、真鍋義文
情報処理学会IOT研究会 2018-IOT-41 No.11, 2018年05月17日, 情報処理学会 - Envy-Free Allocation of Divisible Goods
真鍋 義文
3rd International Conference on Information and Network Technologies (ICINT 2018), 2018年05月, ［招待有り］ - Fair Allocation of Divisible Goods
真鍋 義文
International Joint Conference on Information and Communication Engineering (JCICE 2018), 2018年04月, ［招待有り］ - カーシェアリングのためのブロックチェーン
糸数晴輝、真鍋義文
2018年電子情報通信学会総合大会A-7-1, 2018年03月22日, 電子情報通信学会 - メッセージの伝達方式における複数の敵による攻撃戦略の解析
鈴木雄也、真鍋義文
2018年電子情報通信学会総合大会A-7-2, 2018年03月22日, 電子情報通信学会 - 背面入力処理を用いたカードベース金持ち比べプロトコル
小野響、真鍋義文
2018年電子情報通信学会総合大会A-7-3, 2018年03月22日, 電子情報通信学会 - スケジュールマッチング
佐々木舞琴、真鍋義文
2018年電子情報通信学会総合大会D-1-8, 2018年03月22日, 電子情報通信学会 - 希望優先と成績優先を組み合わせた研究室配属
鮫島裕也、真鍋義文
2018年電子情報通信学会総合大会D-1-9, 2018年03月22日, 電子情報通信学会 - 好きなものと嫌いなものが混ざった財の公平分割
小神野優樹、真鍋義文
2018年電子情報通信学会総合大会D-1-10, 2018年03月22日, 電子情報通信学会 - 分割不可能な財の割り当て近似アルゴリズム
古田創大、真鍋義文
2018年電子情報通信学会総合大会D-1-11, 2018年03月22日, 電子情報通信学会 - 制限付きリストを持つ場合の安定結婚問題
一杉幸紀、真鍋義文
2018年電子情報通信学会総合大会D-1-12, 2018年03月22日, 電子情報通信学会 - On the Number of Rounds of Card-based Cryptographic Protocols Using Private Operations (情報理論) -- (IT・ISEC・WBS合同研究会)
小野 響; 真鍋 義文
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2018年03月08日, 電子情報通信学会 - On the Number of Rounds of Card-based Cryptographic Protocols Using Private Operations (情報セキュリティ) -- (IT・ISEC・WBS合同研究会)
小野 響; 真鍋 義文
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2018年03月08日 - 背面処理を用いたカードベース秘密計算プロトコルのラウンド数について
小野響、真鍋義文
電子情報通信学会情報セキュリティ研究会 ISEC2017-112, 2018年03月08日, 電子情報通信学会 - グループにおける秘匿マッチングプロトコルに関する考察
茨木拓也; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2018, 2018年01月 - Fair Division Algorithms
真鍋 義文
6th International Conference on Computer Technology and Science (ICCTS 2017), 2017年12月, ［招待有り］ - Fair Allocation of Divisible Goods
真鍋 義文
8th International Conference on Networking and Information Technology (ICNIT 2017), 2017年11月, ［招待有り］ - Fair Allocation Problems
真鍋 義文
9th International Conference on Information Management and Engineering (ICIME 2017), 2017年10月, ［招待有り］ - Card-based Cryptographic Protocols Using Private Operations (情報セキュリティ)
小野 響; 真鍋 義文
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 2017年09月04日 - 背面処理に基づいたカードベース秘密計算プロトコル
小野響、真鍋義文
電子情報通信学会情報セキュリティ研究会ISEC2017-42, 2017年09月04日, 電子情報通信学会 - Fair Allocation Problems
真鍋 義文
2nd International Conference on Information and Network Technologies (ICINT 2017), 2017年05月, ［招待有り］ - アドホックネットワーク向けの公平性経路制御AODVプロトコル
吉町 優、真鍋義文
2017年電子情報通信学会総合大会B-7-54, 2017年03月24日, 電子情報通信学会 - グループにおける秘匿マッチングプロトコル
茨木拓也、真鍋義文
2017年電子情報通信学会総合大会A-7-5, 2017年03月23日, 電子情報通信学会 - 結託攻撃に対する耐性を有する秘匿マッチングプロトコル
村山和也、真鍋義文
2017年電子情報通信学会総合大会A-7-6, 2017年03月23日, 電子情報通信学会 - ブロックチェーンと秘密分散を使用した電子投票
山川凌平、真鍋義文
2017年電子情報通信学会総合大会A-7-10, 2017年03月23日, 電子情報通信学会 - 平均学力の均一化を行う研究室配属アルゴリズム
並木勇人、真鍋義文
2017年電子情報通信学会総合大会D-1-4, 2017年03月23日, 電子情報通信学会 - 並列マッチングにおける効率的なブロッキングペアの解消法
小川翔平、真鍋義文
2017年電子情報通信学会総合大会D-1-5, 2017年03月23日, 電子情報通信学会 - 戦略性を考慮した分割不可能な財のオンライン配分方式
清水航平、真鍋義文
2017年電子情報通信学会総合大会D-1-8, 2017年03月23日, 電子情報通信学会 - メタ羨望のない、一部分を捨てるケーキ分割
山崎芳樹、真鍋義文
2017年電子情報通信学会総合大会D-1-10, 2017年03月23日, 電子情報通信学会 - フォワードセキュリティを満足するオニオンルーティングに基づく匿名通信
田中龍之介; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2017, 2017年01月 - ハイブリッドクラウド上におけるMapReduceフレームワークでの機密情報漏えい防止策
岩田有紗; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2017, 2017年01月 - 合理的な複数の敵に対し、信頼性・機密性を満たす秘密分散通信
安井賢也; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2017, 2017年01月 - Cake-cutting protocols: How fair allocation can be achieved?
真鍋 義文
8th International Conference on Information Management and Engineering(ICIME 2016), 2016年11月, ［招待有り］ - 繁殖戦略解析のための考察
川邉茂和; 真鍋 義文
第１２回情報科学ワークショップ, 2016年09月 - 分割不可能な財のオンライン配分問題
清水航平; 真鍋 義文
第１２回情報科学ワークショップ, 2016年09月 - MANET向けの通信性質を考慮した公平性ルーティングプロトコル
吉町優; 真鍋 義文
第１２回情報科学ワークショップ, 2016年09月 - 仲介人を用いた仮想通貨のための宝くじプロトコル
山本雅晴、真鍋義文
2016年電子情報通信学会総合大会A-7-20, 2016年03月15日, 電子情報通信学会 - ビットスライス回路による第M+1価格セキュアオークションにおけるタイブレーク方式
中村諒、真鍋義文
2016年電子情報通信学会総合大会A-7-21, 2016年03月15日, 電子情報通信学会 - ビットコインの匿名化プロトコルについて
渡邊恭平、真鍋義文
2016年電子情報通信学会総合大会A-7-22, 2016年03月15日, 電子情報通信学会 - MANET向けの通信性質を考慮した公平性ルーティングプロトコル
吉町優、真鍋義文
2016年電子情報通信学会総合大会B-7-49, 2016年03月15日, 電子情報通信学会 - 途中退出を許容したオンラインケーキ分割プロトコル
久保光毅、真鍋義文
2016年電子情報通信学会総合大会D-1-3, 2016年03月15日, 電子情報通信学会 - 分割不可能な財のオンライン配分方式
清水航平、真鍋義文
2016年電子情報通信学会総合大会D-1-4, 2016年03月15日, 電子情報通信学会 - 人気コースが存在する場合のコースへの割り当て問題
倉野颯太、真鍋義文
2016年電子情報通信学会総合大会D-1-5, 2016年03月15日, 電子情報通信学会 - B-7-49 MANET向けの通信性質を考慮した公平性ルーティングプロトコル(B-7.情報ネットワーク,一般セッション)
吉町 優; 真鍋 義文
電子情報通信学会総合大会講演論文集, 2016年03月01日 - A-7-22 ビットコインの匿名化プロトコルについて(A-7.情報セキュリティ,一般セッション)
渡邊 恭平; 真鍋 義文
電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集, 2016年03月01日 - A-7-21 ビットスライス回路による第M+1価格セキュアオークションにおけるタイブレーク方式(A-7.情報セキュリティ,一般セッション)
中村 諒; 真鍋 義文
電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集, 2016年03月01日 - A-7-20 仲介人を用いた仮想通貨のための宝くじプロトコル(A-7.情報セキュリティ,一般セッション)
山本 雅晴; 真鍋 義文
電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集, 2016年03月01日 - カードを用いた効率の良い不動点のないランダム置換の生成
茨木拓也; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2016, 2016年01月 - カードを用いた秘密計算の計算量について
望月宥志; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2016, 2016年01月 - 秘匿回路計算のゲーム理論的安全性
朝比奈佑馬; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2016, 2016年01月 - フォワードセキュリティを満足するオニオンルーティングの返信経路情報
奥村亮介; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2016, 2016年01月 - 分割不可能な財に対する配分方式
清水航平、真鍋義文
2015年電子情報通信学会総合大会D-1-6, 2015年03月11日, 電子情報通信学会 - 複数の研究室への同時配属問題
安藤大地、真鍋義文
2015年電子情報通信学会総合大会D-1-8, 2015年03月11日, 電子情報通信学会 - ブロックごとに分かれた利用時間の希望割り当て問題
稲永隆大、真鍋義文
2015年電子情報通信学会総合大会D-1-7, 2015年03月11日, 電子情報通信学会 - ネットワーク符号の盗聴耐性について
川邉茂和、真鍋義文
2015年電子情報通信学会総合大会A-7-5, 2015年03月10日, 電子情報通信学会 - 準同型共通鍵暗号を用いた相関ルールの秘匿抽出手法
長田裕介、真鍋義文
2015年電子情報通信学会総合大会A-7-6, 2015年03月10日, 電子情報通信学会 - MANETにおける電力指向による負荷分散ルーティングプロトコル
吉町優、真鍋義文
2015年電子情報通信学会総合大会B-7-25, 2015年03月10日, 電子情報通信学会 - MANETにおけるフラッディングを抑制するルーティングプロトコル
佐藤直弥、真鍋義文
2015年電子情報通信学会総合大会B-7-33, 2015年03月10日, 電子情報通信学会 - B-7-33 MANETにおけるフラッディングを抑制するルーティングプロトコル(B-7.情報ネットワーク,一般セッション)
佐藤 直弥; 真鍋 義文
電子情報通信学会総合大会講演論文集, 2015年02月24日 - B-7-25 MANETにおける電力指向による負荷分散ルーティングプロトコル(B-7.情報ネットワーク,一般セッション)
吉町 優; 真鍋 義文
電子情報通信学会総合大会講演論文集, 2015年02月24日 - 更新を考慮したプライバシ保護協調フィルタリング
望月宥志; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2015, 2015年01月 - オニオンルーティングの一方式における通信文非結合性問題について
佐藤寛悟; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2015, 2015年01月 - プライバシーを考慮した安定ルームメイト問題
小嶋健太; 真鍋 義文
暗号と情報セキュリティシンポジウムSCIS2015, 2015年01月 - ネットワーク符号化に適したMACの高速化
井口 亮、真鍋義文
2014年電子情報通信学会総合大会A-7-1, 2014年03月18日, 電子情報通信学会 - 耐SPAによる楕円曲線スカラー倍算の一手法
崎山 忍、真鍋義文
2014年電子情報通信学会総合大会A-7-13, 2014年03月18日, 電子情報通信学会 - ε-ファジーマッチングセキュアプロトコル
漆山雄太、真鍋義文
2014年電子情報通信学会総合大会A-7-15, 2014年03月18日, 電子情報通信学会 - コミットメントプロトコルのコストを考慮した暗号理論的安全性とゲーム理論的安全性
小松原 豪、真鍋義文
2014年電子情報通信学会総合大会A-7-16, 2014年03月18日, 電子情報通信学会 - 秘密分散方式を用いたスマートグリッドにおけるプライバシ保護方式の問題点について
藤本啓佑、真鍋義文
2014年電子情報通信学会総合大会A-7-17, 2014年03月18日, 電子情報通信学会 - ケーキ分割プロトコルの社会的効用比較
大塚理紗子、真鍋義文
2014年電子情報通信学会総合大会D-1-1, 2014年03月18日, 電子情報通信学会 - 広告掲載順位ごとに入札するセキュアキーワード広告オークションプロトコルの提案
渡辺 駿、真鍋義文
2014年電子情報通信学会総合大会D-1-2, 2014年03月18日, 電子情報通信学会 - ２種類の学生がいる場合の研究室配属問題
長野宏明、真鍋義文
2014年電子情報通信学会総合大会D-1-3, 2014年03月18日, 電子情報通信学会 - 複数人同時待機によるオンラインケーキ分割方式
横山健太、真鍋義文
2014年電子情報通信学会総合大会D-1-4, 2014年03月18日, 電子情報通信学会 - A-7-17 秘密分散方式を用いたスマートグリッドにおけるプライバシ保護方式の問題点について(A-7.情報セキュリティ,一般セッション)
藤本 啓佑; 真鍋 義文
電子情報通信学会総合大会講演論文集, 2014年03月04日 - D-1-2 広告掲載順位ごとに入札するセキュアキーワード広告オークションプロトコルの提案(D-1.コンピュテーション,一般セッション)
渡辺 駿; 真鍋 義文
電子情報通信学会総合大会講演論文集, 2014年03月04日 - A-7-16 コミットメントプロトコルのコストを考慮した暗号理論的安全性とゲーム理論的安全性(A-7.情報セキュリティ,一般セッション)
小松原 豪; 真鍋 義文
電子情報通信学会総合大会講演論文集, 2014年03月04日 - On the Round-Complexity Lower Bound of CCA-Secure Commitments
清島奨、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2013 2B3-2, 2013年01月, 電子情報通信学会 - Homomorphic Signatures for Polynomial Functions with Shorter Signatures
廣政良、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2013 3A4-2, 2013年01月, 電子情報通信学会 - メタ羨望なしケーキ分割プロトコル
真鍋義文
日本オペレーションズ・リサーチ学会関西支部講演会「続・娯楽のOR」, 2012年11月, 日本オペレーションズ・リサーチ学会 - A simplified private stable matching algorithm
Hermanto; Yoshifumi Manabe; and Tatsuaki Okamoto
16th Financial Cryptography and Data Security Symposium, 2012年02月, International Financial Cryptography Association - 国際会議：6th International Workshop on Security(IWSEC2011)
真鍋義文
電子情報通信学会誌, 2012年02月, ［招待有り］ - A private matching algorithm using predicate encryption
Hermanto; 真鍋義文; 岡本龍明
暗号と情報セキュリティシンポジウムSCIS2012 1D2-1, 2012年01月, 電子情報通信学会 - Somewhat Homomorphic Encryptionを用いた分散復号
廣政良、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2012 1D2-4, 2012年01月, 電子情報通信学会 - Constant-Round Concurrent Zero-Knowledge in Super-Polynomial Simulation Security
清島奨、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2012 3B2-1, 2012年01月, 電子情報通信学会 - A simplified private stable matching algorithm
16th Financial Cryptography and Data Security Symposium, 2012年 - ケーキ分割問題について
真鍋義文
北陸先端科学技術大学院大学講演会, 2011年12月, 北陸先端科学技術大学院大学 - 匿名性とプライバシの合成可能性について
塚田恭章、櫻田英樹、真野健、真鍋義文
日本応用数理学会2011年研究部会連合発表会, 2011年03月, 日本応用数理学会 - A Secure M + 1st Price Auction Protocol based on Bit Slice Circuits
満永拓邦、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2011 3C1-2, 2011年01月, 電子情報通信学会 - A Simplified Private Stable Matching Algorithm
満永拓邦、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2011 3C2-4, 2011年01月, 電子情報通信学会 - An Identity Based Encryption Scheme from Ideal Lattices
奥畑良太、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2011 2A3-1, 2011年01月, 電子情報通信学会 - 「出会いの場」としての学会
真鍋義文
応用数理, 2010年03月, ［招待有り］ - Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption
満永拓邦、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2010 2C2-2, 2010年01月, 電子情報通信学会 - Cryptographic cake-cutting protocol
真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2010 2C2-3, 2010年01月, 電子情報通信学会 - Unstablity of a punishment strategy in correlated equilibria
満永拓邦、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2009 3A3-9, 2009年01月, 電子情報通信学会 - An Efficient Anonymous Credential System with Revocation
赤木法生,真鍋義文,岡本龍明
暗号と情報セキュリティシンポジウムSCIS2008 3E4-2, 2008年01月, 電子情報通信学会 - On the Security of an Unlinkable Off-line E-Cash System
冨井陽介,真鍋義文,岡本龍明
暗号と情報セキュリティシンポジウムSCIS2008 3E4-4, 2008年01月, 電子情報通信学会 - Anonymous return route information for onion routing
真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2008 3E3-2, 2008年01月, 電子情報通信学会 - Universally Composable Identification
西巻陵、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2007 2D3-5, 2007年01月, 電子情報通信学会 - An Optimistic Fair Exchange Protocol and its Security in the Universal Composability Framework
岡田悠介、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2007 2D4-6, 2007年01月, 電子情報通信学会 - An Unlinkable Off-line E-Cash System
冨井陽介、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2007 3B4-2, 2007年01月, 電子情報通信学会 - An Efficient Anonymous Credential System
赤木法生、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2007 3D4-6, 2007年01月, 電子情報通信学会 - Short Group Signatures with Efficient Flexible Join
牧田俊明; 真鍋義文; 岡本龍明
暗号と情報セキュリティシンポジウムSCIS2006, 4A2-3, 2006年01月, 電子情報通信学会 - Universally Composable Blind Signatures
土居誠司; 真鍋義文; 岡本龍明
暗号と情報セキュリティシンポジウムSCIS2006, 2A1-4, 2006年01月, 電子情報通信学会 - Universally Composable Identity-Based Encryption
西巻陵; 真鍋義文; 岡本龍明
暗号と情報セキュリティシンポジウムSCIS2006, 2A1-3, 2006年01月, 電子情報通信学会 - Optimistic Fair Exchange Protocol for E-Commerce
岡田悠介; 真鍋義文; 岡本龍明
暗号と情報セキュリティシンポジウムSCIS2006, 4D1-2, 2006年01月, 電子情報通信学会 - ミッションクリティカルシステムのためのLinux
真鍋義文
情報処理, 2006年01月, ［招待有り］ - Open Source Software Standardization Trends-CGL and DCL
Naoki Uchida and Yoshifumi Manabe
NTT Technical Review, 2005年07月 - グリッドコンピューティングによる実世界情報マイニングの提案(セッション4: メタデータとWebデータベース応用)
久保 類; 真鍋 義文; 盛合 敏
情報処理学会研究報告. 情報学基礎研究会報告, 2005年05月19日, 一般社団法人情報処理学会 - オープンソースソフトウェア（OSS）の標準化動向－CGLとDCLについて
内田直樹; 真鍋義文
NTT技術ジャーナル, 2005年05月 - A Universally Composable Secure Channel Based on the KEM-DEM Framework
長尾若、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2005, 1F2-3, 2005年01月, 電子情報通信学会 - 汎用的結合可能なグループ署名について
牧田俊明、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2005, 1F3-5, 2005年01月, 電子情報通信学会 - 汎用的結合可能な電子投票方式について
土居誠司、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2005, 2D4-1, 2005年01月, 電子情報通信学会 - 通信事業者向けLinuxの標準化動向
真鍋義文; 河原崎裕朗; 池邊隆
NTT技術ジャーナル, 2004年09月 - DCL(Data Center Linux) statusレポート
真鍋義文
OSDLジャパンカーネルシンポジウム, 2004年06月, OSDLジャパン - ツリー構造による署名方式とその安全性証明
西垣秀哉、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2004 2D4-3, 2004年01月, 電子情報通信学会 - ハイブリッド暗号の安全性について
長尾若、真鍋義文、岡本龍明
暗号と情報セキュリティシンポジウムSCIS2004 1B4-3, 2004年01月, 電子情報通信学会 - 特集「情報科学研究の最前線-より安全で快適な情報処理技術を目指して」にあたって
白柳潔; 真鍋義文
NTT R&D, 2002年10月, ［招待有り］ - Quorum Based Algorithms using Group Choice
JaeHyrk Park; Kwangjo Kim; and Yoshifumi Manabe
CISC2002, 2002年06月 - Quorum Based Algorithms using Group Choice
CISC2002, 2002年 - 分散システムのためのアルゴリズム
真鍋義文
京都大学大学院情報学研究科社会情報学シンポジウム, 2001年06月, 京都大学大学院情報学研究科 - ジョンズ・ホプキンス大学計算科学科
真鍋義文
応用数理, 1997年06月, ［招待有り］ - 分散最始・最終全域チェックポイントアルゴリズム
真鍋義文
情報処理学会アルゴリズム研究会、情処研報96-AL-54-3, 1996年12月, 情報処理学会 - フォールトトラレント分散システム向けアルゴリズム
真鍋義文
電子情報通信学会情報ネットワーク研究会IN-60, 1996年11月, 電子情報通信学会 - 分散システムのアルゴリズム
真鍋義文
電子情報通信学会信越支部講演会, 1996年06月, 電子情報通信学会 - 周期的リアルタイムタスクのRate Monotonic法によるスケジュール可能性判定問題について
真鍋 義文; 青柳 滋己
電子情報通信学会技術研究報告. COMP, コンピュテーション, 1994年07月25日 - 周期的リアルタイムタスクのRate Monotonic法による実行可能性判定問題について
真鍋義文、青柳滋己
電子情報通信学会コンピュテーション研究会、信学技報COMP94-31, 1994年07月, 電子情報通信学会 - マルチポリシー分散システム向けアルゴリズム
真鍋義文; 青柳滋己
日本ソフトウェア科学会マルチエージェントと協調計算ワークショップ, 1993年12月, 日本ソフトウェア科学会 - 分散チェックポイント・ロールバックアルゴリズム
真鍋義文; 青柳滋己
情報処理, 1993年11月, ［招待有り］ - 特集「フォールトトレラント分散システム向けアルゴリズム」の編集にあたって
真鍋義文
情報処理, 1993年11月, ［招待有り］ - 分散デバッガのためのチェックポイント・ロールバックアルゴリズム
青柳滋己、真鍋義文
日本ソフトウェア科学会第10回ソフトウェア研究会, 1992年04月, 日本ソフトウェア科学会 - 分散プログラムデバッガのためのチェックポイントアルゴリズム
青柳滋己、真鍋義文
情報処理学会第44回全国大会 2G-6, 1992年03月, 情報処理学会 - 分散プログラム用デバッガddbx-pの試作開発
真鍋義文、青柳滋己
電子情報通信学会情報ネットワーク研究会、信学技報IN91-105, 1991年09月, 電子情報通信学会 - 分散プログラミングのためのデバッグ手法の一提案
青柳滋己、真鍋義文
情報科学若手の会シンポジウム, 1991年07月, 情報処理学会 - 分散プログラムのデバッグにおける大域的条件について
真鍋義文、今瀬真
電子情報通信学会コンピュテーション研究会、信学技報COMP89-99, 1989年12月, 電子情報通信学会 - ネットワークにおけるルート情報暗号化の一手法
真鍋義文、今瀬真、曽根岡昭直
昭63信学会秋季全国大会 A-93, 1988年10月, 電子情報通信学会 - A Fault Tolerant Routing in Networks
Makoto Imase; Terunao Soneoka; and Yoshifumi Manabe
ICIAM '87, 1987年05月 - A Fault Tolerant Routing in Networks
ICIAM '87, 1987年 - ットワークにおける障害耐力のある固定ルーチング方式について
今瀬真、真鍋義文
電子情報通信学会コンピュテーション研究会、信学技報COMP86-70, 1987年01月, 電子情報通信学会 - 二重化構造を持つトポロジーの信頼性
曽根岡昭直、井上正之、真鍋義文、今瀬真
電子情報通信学会回路とシステム研究会、信学技報CAS85-92, 1985年10月, 電子情報通信学会 - 単調減少論理関数を実現するCMOS回路に対する配置問題
真鍋義文、萩原兼一、都倉信樹
電子情報通信学会回路とシステム研究会、信学技報CAS84-103, 1984年10月, 電子情報通信学会 - 超立方体環と超立方体グラフの最小2分割幅について
真鍋義文、萩原兼一、都倉信樹
電子情報通信学会オートマトンと言語研究会、信学技報AL83-41, 1983年11月, 電子情報通信学会 - 一層一行配線問題の片側トラック数の最小性について
真鍋義文、萩原兼一、都倉信樹
電子情報通信学会回路とシステム研究会、信学技報CAS83-05, 1983年05月, 電子情報通信学会
産業財産権
- 特許第5320277号, 特開2011-128860, 特願2009-286394, ３者間の公平分割装置、３者間の公平分割方法、及びそのプログラム
真鍋 義文 - 5320277, 2011-128860, 2009-286394, ３者間の公平分割装置、３者間の公平分割方法、及びそのプログラム
真鍋義文 - 特許第4914376号, 特開2009-171323, 特願2008-008239, 匿名証明システム、匿名証明方法、ユーザ装置、管理者装置、検証者装置、ユーザ特定担当者装置およびそれらのプログラム
岡本 龍明; 真鍋 義文 - 4914376, 2009-171323, 2008-8239, 匿名証明システム、匿名証明方法、ユーザ装置、管理者装置、検証者装置、ユーザ特定担当者装置およびそれらのプログラム
岡本龍明、真鍋義文 - 特許第4790736号, 特開2009-171495, 特願2008-010178, 返信経路情報生成装置、通信装置、匿名通信方法、プログラム及び記録媒体
真鍋 義文; 岡本 龍明 - 4790736, 2009-171495, 2008-10178, 返信経路情報生成装置、通信装置、匿名通信方法、プログラム及び記録媒体
真鍋義文、岡本龍明 - 2006-318348, 2005-142310, プログラム登録装置、プログラム実行装置、プログラム実行・登録システム、プログラム登録方法、プログラム実行方法、プログラム実行・登録方法、これらを実行可能なプログラム、及び記録媒体
久保類、真鍋義文、盛合敏 - 特開2006-318348, 特願2005-142310, プログラム登録装置、プログラム実行装置、プログラム実行・登録システム、プログラム登録方法、プログラム実行方法、プログラム実行・登録方法、これらを実行可能なプログラム、及び記録媒体
久保 類; 真鍋 義文; 盛合 敏 - 平10-111811, 平8-267491, 通信プロセス大域的状態保存法
真鍋義文 - 特開平10-111811, 特願平8-267491, 通信プロセス大域的状態保存法
真鍋 義文 - 平8-328882, 平7-136674, 共有資源割当方法
真鍋義文、青柳滋己 - 特開平8-328882, 特願平7-136674, 共有資源割当方法
真鍋 義文; 青柳 滋己 - 平8-314876, 平7-122708, 耐故障通信路選択型分散システム
青柳滋己、真鍋義文 - 特開平8-314876, 特願平7-122708, 耐故障通信路選択型分散システム
青柳 滋己; 真鍋 義文 - 平8-190489, 平7-2416, タスク処理実行可能性判定方法
真鍋義文、青柳滋己 - 特開平8-190489, 特願平7-002416, タスク処理実行可能性判定方法
真鍋 義文; 青柳 滋己 - 平5-334121, 平4-139559, 分散プログラムデバッグ方式
真鍋義文 - 特開平5-334121, 特願平4-139559, 分散プログラムデバッグ方式
真鍋 義文 - 平5-225081, 平4-29212, 疑似時計装置
青柳滋己、真鍋義文 - 特開平5-225081, 特願平4-029212, 疑似時計装置
青柳 滋己; 真鍋 義文 - 平3-246733, 平2-45231, 分散プログラムデバッグ方式
真鍋義文、今瀬真
共同研究・競争的資金等の研究課題
担当経験のある科目
- 2023年09月 - 現在
暗号とその応用, 法政大学 - 2020年09月 - 現在
キャリアデザイン, 工学院大学 - 2020年05月 - 現在
研究活動における責任と安全, 工学院大学 - 2018年04月 - 現在
離散システム, 工学院大学 - 2017年09月 - 現在
オペレーションズリサーチ, 工学院大学 - 2017年04月 - 現在
コンピュータアーキテクチャ, 工学院大学 - 2014年09月 - 現在
情報学実験, 工学院大学 - 2013年09月 - 現在
分散アルゴリズム特論, 工学院大学 - 2013年04月 - 現在
卒業論文, 工学院大学 - 2018年04月 - 2025年03月
システム数理セミナー, 工学院大学 - 2024年04月 - 2024年09月
計算理論, 東京都立大学 - 2013年09月 - 2023年03月
暗号理論, 工学院大学 - 2017年09月 - 2022年03月
線形代数学演習, 工学院大学 - 2016年09月 - 2022年03月
線形代数学, 工学院大学 - 2014年04月 - 2022年03月
情報学特論演習, 工学院大学 - 2018年04月 - 2020年09月
科学レポートの書き方, 工学院大学 - 2016年04月 - 2019年09月
情報学序論, 工学院大学 - 2018年09月 - 2019年03月
分散アルゴリズム, 法政大学 - 2013年04月 - 2018年03月
コンピュータ科学セミナー, 工学院大学 - 2013年04月 - 2017年09月
オートマトンと形式言語, 工学院大学 - 2014年04月 - 2016年09月
コンピュータ科学序論, 工学院大学 - 2014年04月 - 2015年09月
システム工学, 工学院大学 - 2014年04月 - 2014年09月
情報学基礎セミナー, 工学院大学 - 2013年04月 - 2014年03月
情報処理概論及演習, 工学院大学 - 2001年04月 - 2013年03月
社会情報特別研究, 京都大学 - 2001年04月 - 2013年03月
社会情報ネットワーク特別セミナー, 京都大学 - 2001年04月 - 2013年03月
社会情報ネットワークセミナー, 京都大学 - 2008年04月 - 2012年09月
暗号と情報社会, 京都大学 - 2002年04月 - 2004年09月
情報システム学特別講義, 大阪大学
他機関の委員歴
- 2022年06月 - 現在
ソサイエティ論文誌編集委員会 査読委員, 電子情報通信学会 - 2021年03月 - 現在
Editorial Board member, International Journal of Computer & Software Engneering (IJCSE) - 2025年02月 - 2025年11月
TPC member, 2025 IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS) - 2025年01月 - 2025年09月
Publicity Chair, 2025 6th Asia Service Sciences and Software Engineering Conference (ASSE 2025) - 2024年10月 - 2025年09月
General Co-Chair, 2025 13th International Conference on Information Management and Engineering (ICIME 2025) and 2025 7th International Conference on Big Data Engineering (BDE 2025) - 2024年12月 - 2025年08月
Chapter Chair, 4th International Conference on Artificial Intelligence and Software Engineering (ICAISE 2025) - 2024年11月 - 2025年08月
Technical Program Committee, 2025 8th International Conference on Computer and Communication Engineering Technology (CCET 2025) - 2024年11月 - 2025年07月
Publication Chair, 2025 4th International Conference on Networks, Communications and Information Technology (CNCIT 2025) - 2024年10月 - 2025年06月
TPC Vice-chair, 2025 9th International Conference on High Performance Compilation, Computing and Communications (HP3C'25) - 2024年09月 - 2025年04月
Technical Committee member, 2025 6th International Conference on Industrial Engineering and Artificial Intelligence (IEAI 2025) - 2024年08月 - 2025年04月
Advisory Committee Chair, 2025 16th International Conference on E-Education, E-Business, E-Management and E-Learning (IC4E 2025) - 2024年07月 - 2025年04月
Regional Chair, 10th International Conference on Cloud Computing and Big Data Analytics (ICCCBDA 2025) - 2024年11月 - 2025年03月
conference technical committee, 2025 5th International Conference on Computer Communication and Information Systems (CCCIS 2025) - 2024年09月 - 2025年03月
学術奨励賞選定委員会委員, 2024年度情報・システムソサイエティ - 2024年11月 - 2025年01月
Conference General Chair, 2025 International Conference on Algorithm, Deep Learning and Computing System (ADLCS 2025) - 2024年07月 - 2025年01月
Technical Program Committee member, 2025 7th International Conference on Software Engineering and Computer Science (CSECS 2025) - 2024年09月 - 2024年12月
Program Chair, 2024 6th International Conference on Modern Educational Technology (ICMET 2024) - 2023年09月 - 2024年12月
publication chair, CMSDA 2023 - 2024年07月 - 2024年11月
TPC member, The 10th IEEE International Conference on Cloud and Big Data Computing (CBDCom 2024) - 2024年05月 - 2024年11月
Program Committee, ADSN 2024 - 2024年05月 - 2024年11月
Program Committee Member, CANDAR 2024,WICS 2024 - 2024年05月 - 2024年11月
Technical Program Committee, COMNETSAT 2024 - 2024年07月 - 2024年10月
Technical Committee member, 7th World Symposium on Communication Engineering (WSCE 2024) - 2024年07月 - 2024年10月
International Program Committee Member, Blockchain and Cryptocurrency Conference (B2C' 2024) - 2024年07月 - 2024年10月
プログラム委員, コンピュータセキュリティシンポジウム(CSS 2024) - 2024年08月 - 2024年09月
Technical Committee member, 2024 2nd International Conference on Artificial Intelligence Innovation (ICAII 2024) - 2024年05月 - 2024年09月
Technical Committee member, ICoAILO 2024 - 2024年05月 - 2024年09月
Technical Program Committee Member, ISAIE 2024 - 2024年01月 - 2024年09月
publicity chair, ASSE 2024 - 2023年12月 - 2024年09月
Technical Program Committee member, AACIP2024 - 2024年02月 - 2024年08月
Program Committee ｍember, ICBIM 2024 - 2024年01月 - 2024年08月
Technical Committee member, CCET 2024 - 2023年10月 - 2024年06月
Technical Committee, WSAI 2024 - 2023年12月 - 2024年04月
Committee member, MLIC2024 - 2023年09月 - 2024年04月
特集号編集委員会, 東北大学 - 2023年11月 - 2024年03月
Conference Co-chair, ICKD2024 - 2023年11月 - 2024年03月
Technical Committee, EAET 2024 - 2023年10月 - 2024年03月
Conference Co-chair, MISDSS2024 - 2023年09月 - 2024年03月
Technical Program Committee, CACML 2023 - 2023年08月 - 2023年12月
Technical Program Committee Member, INCENTIVE 2023 - 2023年07月 - 2023年12月
Technical Program Committee, SSCC 2023 - 2023年07月 - 2023年12月
Technical Program Committee Member, ICIEAI 2023 - 2023年05月 - 2023年12月
Program Committee Member, CANDAR 2023,WICS 2023 - 2023年04月 - 2023年12月
Technical Program Committee, CECIT 2023 - 2022年08月 - 2023年12月
Technical Program Committee, ICIST 2022 - 2023年07月 - 2023年11月
Program Committee, DASC2023 - 2023年07月 - 2023年11月
Technical Program Committee, COMNETSAT 2023 - 2023年06月 - 2023年11月
Program Committee, ADSN 2023 - 2023年09月 - 2023年10月
Technical Program Committee, ASSE 2023 - 2023年07月 - 2023年09月
Technical Program Committee, IoTCIT 2023 - 2023年05月 - 2023年09月
Conference Co-chair, AIPMV 2023 - 2023年04月 - 2023年09月
Conference Chair, ICMIS 2023 - 2023年06月 - 2023年07月
International Scientific Committee, ICAUAS 2023 - 2023年03月 - 2023年05月
Technical Committee, ICUASA 2023 - 2022年12月 - 2023年05月
Technical Committee, ICMAS 2023 - 2022年08月 - 2023年04月
Publicity Co-chair, ICCCBDA 2023 - 2022年09月 - 2023年03月
Technical Program Committee, International Joint Conference on Information and Communication Engineering 2023 (JCICE 2023) - 2022年07月 - 2023年03月
Program Committee, AMS 2023 - 2022年07月 - 2022年12月
Technical Program Committee, CECIT 2022 - 2022年06月 - 2022年12月
Conference Co-Chair, ICNIT 2022 - 2022年05月 - 2022年11月
Program Committee Member, CANDAR 2022,WICS 2022 - 2022年03月 - 2022年11月
Program Committee, B2C' 2022 - 2022年06月 - 2022年09月
Technical Committee member, ICICoS 2022 - 2022年05月 - 2022年09月
Technical Committee, ADSN 2022 - 2021年11月 - 2022年09月
Technical Committee member, ATCES 2022 - 2022年03月 - 2022年08月
Technical Program Committee ｍember, ICBIM 2022 - 2022年06月 - 2022年07月
Technical Program Committee, IoTCIT 2022 - 2022年01月 - 2022年07月
Program Chair, ICICM 2022(International Conference on Information Communication and Management) - 2022年03月 - 2022年06月
Program Committee, IEEE CYBERNETICSCOM 2022 - 2022年03月 - 2022年06月
Technical Committee member, WSAI 2022 - 2021年06月 - 2022年06月
英文論文誌Ａ編集委員会 編集委員, 電子情報通信学会 - 2021年06月 - 2022年06月
和文論文誌Ａ編集委員会 編集幹事, 電子情報通信学会 - 2021年04月 - 2022年06月
Conference Committee, INDUSTRIAL MEET 2022 - 2020年06月 - 2022年06月
ソサイエティ論文誌編集委員会 査読委員, 電子情報通信学会 - 2021年08月 - 2022年05月
Conference Chair, ICINT 2022 - 2021年11月 - 2022年04月
Technical Committee, ISAI 2022 - 2021年09月 - 2022年03月
Technical Program Committee ｍember, ICIM 2022 - 2021年06月 - 2022年03月
New Generation Computing Special Issue Editorial Board Member, New Generation Computing - 2021年04月 - 2022年02月
Conference Committee, International Joint Conference on Information and Communication Engineering(JCICE 2022) - 2021年05月 - 2021年11月
Program Committee member, CANDAR 2021,WICS 2021 - 2020年09月 - 2021年10月
7th IEEE International Conference on Iｎternet （IoP21）,Technical Committee member, IEEE IoP21 - 2021年06月 - 2021年09月
第17回情報科学ワークショップ実行委員, 情報科学ワークショップ - 2021年04月 - 2021年09月
Conference Committee, DMPS 2021 - 2020年11月 - 2021年09月
Technical Committee member, ATCES 2021 - 2021年04月 - 2021年08月
Technical Committee, IEEE CCET 2021 - 2021年04月 - 2021年08月
Program Committee, ADSN 2021 - 2020年12月 - 2021年08月
Program Chair, IEICM 2020 - 2020年12月 - 2021年07月
Conference Co-Chair, 2021 International Conference Manager on Wireless Communication and, Signal Processing (ICWCSP 2021) - 2020年06月 - 2021年06月
ソサイエティ論文誌編集委員会 分野編集幹事, 電子情報通信学会 - 2020年08月 - 2021年03月
Technical Committee Chair, ICIM 2021 - 2020年08月 - 2021年03月
Technical Committee Chair, EAET 2021 - 2020年03月 - 2021年01月
New Generation Computing Special Issue Editorial Board Member, New Generation Computing - 2020年05月 - 2020年11月
Program Committee, CANDAR 2020 - 2020年05月 - 2020年11月
Program Committee, WICS 2020 - 2020年03月 - 2020年11月
Program Committee, IEEE BigDataSE 2020 - 2020年06月 - 2020年09月
Technical Committee, ATCES 2020 - 2020年08月 - 現在
APISE Reviewer, Asia Pacific Institute of Science and Engineering (APISE) - 2020年06月 - 2020年07月
科学研究費助成事業中間評価委員, 日本学術振興会 - 2020年02月 - 2020年06月
Progueｍ Committee, The Nineteenth International Workshop on Assurance in Distributed Systems and Networks(ADSN 2020) - 2019年11月 - 2020年05月
Conference Chair, International Conference on Communication Technology and Data Mining(ICTDM 2020) - 2019年08月 - 2020年05月
Conference Co-Chair, 5th International Conference on Networking and Information and Technology (ICNIT 2020) - 2016年06月 - 2020年05月
英文論文誌Ａ編集委員会 編集委員, 電子情報通信学会 - 2016年06月 - 2020年05月
和文論文誌Ａ編集委員会 編集委員, 電子情報通信学会 - 2019年07月 - 2020年03月
Technical Committee, ICIM 2020 - 2019年09月 - 2020年02月
Technical Committee, International Joint Conference on Information and Communication Engineering(JCICE 2020) - 2019年04月 - 2019年12月
Program Committee, SSCC 2019 - 2019年05月 - 2019年11月
Conference Co-Chair, ICNIT 2019 - 2019年05月 - 2019年11月
Program Committee, CANDAR /WICS2019 - 2019年05月 - 2019年11月
Program Co-Chair, International Conference on Advanced Information Science and System (AISS 2019) - 2019年11月 - 現在
Advisory Board member, ARIV-INTERNATIONAL JOURNAL FOR BUSINESS, TECHNOLOGY & EDUCATION - 2019年03月 - 2019年08月
Program Committee, ADSN 2019 - 2018年12月 - 2019年08月
IoP 2019 Program Committee, IoP 2019 - 2019年07月 - 現在
editorial board for Joural of Electronic & Information Systems, Bilingual Publishing CO - 2018年07月 - 2019年06月
特別研究員審査会専門員および国際事業委員会書面審査員・書面評価員, 日本学術振興会 - 2019年01月 - 2019年05月
Technical Program Committee, IEEE CyberSciTech 2019 - 2019年01月 - 2019年05月
Program Chair, ICINT 2019 - 2018年10月 - 2019年03月
ICIM 2019 Technical Committee, ICIM 2019 - 2018年08月 - 2019年03月
Technical Committee, International Joint Conference on Informaition and Communication Engineering(JCICE 2019) - 2018年06月 - 2018年11月
Conference Co-Chair, ICNIT 2018 - 2018年05月 - 2018年11月
The 6th International Symposium on Computing and Networking Program Committee, CANDAR18 - 2018年05月 - 2018年11月
5th International Workshop on Information and Communication Security(WICS) Program Committee, WICS - 2018年03月 - 2018年10月
The 17th International Workshop on Assurance in Distributed Systems and Networks (ADSN 2018) Program Committee, IEEE - 2018年03月 - 2018年10月
IEEE IoP 2018 Program Committee, IEEE - 2018年02月 - 2018年09月
SSCC-2018,technical program committee, Sixth International symposium on Security in Computing and communications(SSCC'18) - 2018年02月 - 2018年08月
CyberSciTech 2018 technical program committee, IEEE CyberSciTech 2018 - 2018年01月 - 2018年08月
8th International Conference on Information Communication and Management(ICICM 2018) Technical Committee, International Academy of Computer Technology(IACT) - 2017年12月 - 2018年05月
2018 3rd International Conference on Information and Network Technologies (ICINT 2018) Conference Chair, Journal of Advances in Computer Networks - 2018年02月 - 2018年04月
International Symposium on Robotics and Automation Engineering (ISRAE 2018) Program Committee, IASED (International Academy of Science and Engineering for Development) - 2017年11月 - 2018年04月
International Joint Conference on Information and Communication Engineering(JCICE 2018) Program Committee, International Joint Conference on Information and Communication Engineering - 2017年11月 - 2017年12月
6th International Conference on Computer Technology and Science (ICCTS 2017) Technical Committee, International Academy Publishing - 2017年07月 - 2017年11月
8th International Conference on Networking and Information Technology(ICNIT 2017) Conference Chair, International Academy of Computer Technology(IACT) - 2016年03月 - 2017年11月
International Symposium on Computing and Networking (CANDAR 2016)(CANDAR 2017) Program Committee, CANDAR(Computing and Networking — Across Practical Development and Theoretical Research) - 2016年03月 - 2017年11月
International Workshop on Information and Communication Security (WICS 2016)(WICS 2017) Program Committee, CANDAR(Computing and Networking — Across Practical Development and Theoretical Research) - 2017年01月 - 2017年10月
9th International Conference on on Information Management and Engineering(ICIME 2017) Program Chair, International Academy of Computer Technology(IACT) - 2017年01月 - 2017年10月
2nd International Conference on Medical Information and Bioengineering (ICMIB 2017) Program Chair, International Academy of Computer Technology(IACT) - 2011年10月 - 2017年10月
IEEE International Workshop on Assurance in Distributed Systems and Networks(ADSN2012)(ADSN2013) (ADSN2014)(ADSN2015)(ADSN 2016) (ADSN 2017) Program Committee, IEEE - 2016年09月 - 2017年08月
International Conference on Information Communication and Management(ICICM 2016)(ICICM 2017) Program Committee, ICICM(International Conference on Information Communication and Management) - 2016年01月 - 2017年08月
IEEE Cyber Science and Technology Congress(CyberSciTech 2016)(CyberSciTech 2017) Program Committee, IEEE - 2016年12月 - 2017年05月
2nd International Conference on Information and Network Technologies(ICINT 2017) Conference Chair, International Academy of Computer Technology(IACT) - 2016年12月 - 2017年05月
International Conference on Computational Biology (ICOCB 2017) Conference Chair, International Academy of Computer Technology(IACT) - 2017年02月 - 現在
Mathematical Reviews, reviewer, AMS(American Mathematical Society) - 2015年01月 - 2016年12月
科学研究費委員会審査第二部会情報学小委員会委員, 日本学術振興会 - 2016年07月 - 2016年11月
3rd International Conference on Systems and Informatics (ICSAI 2016) Program Committee, ICSAI(International Conference on Systems and Informatics) - 2016年03月 - 2016年11月
8th International Conference on Information Management and Engineering (ICIME 2016) Program Committee Co-Chair, International Academy of Computer Technology(IACT) - 2016年03月 - 2016年11月
International Conference on Medical Information and Bioengineering (ICMIB 2016) Program Committee Co-Chair, International Academy of Computer Technology(IACT) - 2016年07月 - 2016年09月
第12回情報科学ワークショップ世話役, 情報科学ワークショップ - 2016年09月 - 現在
Scientific Adviser, Review of the Air Force Academy (Romania) - 2016年03月 - 2016年03月
２０１６年総合大会ポスターセッション審査員, 電子情報通信学会 - 2016年03月 - 現在
Journal of Advances in Computer Networks (JACN) Editorial Board Member, Journal of Advances in Computer Networks (JACN) - 2015年08月 - 2015年09月
京都賞推薦委員, 公益財団法人 稲盛財団 - 2014年08月 - 2015年09月
29th International Symposium on Distributed Computing(DISC 2015) Organizing Committee, IEEE - 2015年04月 - 2015年08月
5th IEEE International Conference on IT Convergence and Security(ICITCS 2015) Program Committee, IEEE - 2015年04月 - 2015年08月
4th International Conference on Network and Computing Technology(ICNCT 2015) Program Committee, International Academy of Computer Technology(IACT) - 2014年06月 - 2015年05月
電子情報通信学会 ｿｻｲｴﾃｨ論文誌編集査読委員 投稿論文査読 - 2014年02月 - 2015年05月
論文誌「娯楽の離散数理」特集号編集委員, 情報処理学会 - 2015年03月 - 2015年03月
２０１５年総合大会ポスターセッション審査員, 電子情報通信学会 - 2014年06月 - 2014年12月
The 11th IEEE International Conference on Autonomic and Trusted Computing(ATC-2014) Program Committee, IEEE - 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, IADIS(International Association for development of the Information Society) - 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月
京都賞推薦委員, 公益財団法人 稲盛財団 - 2009年07月 - 2013年09月
公益財団法人 稲盛財団 京都賞推薦委員 - 2012年12月 - 2013年08月
International Symposium on Security in Computing and Communications (SSCC’13) Program Committee, SSCC(International Symposium on Security in Computing and Communications) - 2012年12月 - 2013年08月
International Symposium on Security in Computing and Communications (SSCC'13)Program Committee - 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, IEEE - 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, IEEE - 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月
IEEE International Conference on Systems and Informatics (ICSAI 2012) Program Committee, IEEE - 2012年03月 - 2012年05月
International Conference on Systems and Informatics (ICSAI 2012) Program Committee - 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年05月 - 2012年05月
IEEE International Conference on Information Science and Applications (ICISA2010)(ICISA2011)(ICISA2012) Program Committee, IEEE - 2009年09月 - 2012年04月
ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009)(SERA2010)(SERA2011)(SERA2012) Program Committee - 2009年09月 - 2012年04月
ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009)(SERA2010)(SERA2011)(SERA2012) Program Committee - 2009年04月 - 2012年04月
ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009)(SERA2010)(SERA2011)(SERA2012) Program Committee, ACIS(International Association for Computer and Information Science) - 2008年04月 - 2012年04月
理事, 日本応用数理学会 - 2011年09月 - 2011年12月
ACIS International Symposium on Software and Network Engineering(SSNE2011) Program Committee - 2011年09月 - 2011年12月
ACIS International Symposium on Software and Network Engineering(SSNE2011) Program Committee, ACIS(International Association for Computer and Information Science) - 2011年06月 - 2011年12月
International Conference on IT Convergence and Security(ICITCS2011) Program Committee - 2011年06月 - 2011年12月
International Conference on IT Convergence and Security(ICITCS2011) Program Committee, ICITCS(International Conference on IT Convergence and Security) - 2007年04月 - 2011年09月
「アンビエント情報社会基盤創成拠点」アドバイザリ委員, 大阪大学大学院情報科学研究科 - 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 - 2009年04月 - 2011年02月
IFIP International Conference on New Technologies, Mobility and Security(NTMS2009)(NTMS2010)(NTMS2011) Program Committee, IFIP(International Federation for Information Processing) - 2008年05月 - 2010年09月
年会実行委員, 日本応用数理学会 - 2009年01月 - 2009年07月
International Conference on Security and Privacy(SECRIPT 2009) Program Committee - 2009年01月 - 2009年07月
International Conference on Security and Privacy(SECRIPT 2009) Program Committee, SECRIPT - 2008年10月 - 2009年04月
Spring School and French-Japanese collaboration workshop on Computational and Symbolic Proofs of Security(CosyProofs 2009) Organizing Committee - 2008年10月 - 2009年04月
Spring School and French-Japanese collaboration workshop on Computational and Symbolic Proofs of Security(CosyProofs 2009) Organizing Committee, CosyProofs(Computational and Symbolic Proofs of Security) - 2007年03月 - 2007年12月
Asia Pacific International Symposium on Information Technology(APIS2007) Advisory Committee - 2007年03月 - 2007年12月
Asia Pacific International Symposium on Information Technology(APIS2007) Advisory Committee, APIS(Asia Pacific International Symposium） - 2004年11月 - 2006年12月
Data Center Linux-Japan テクニカルリーダ, OSDL Japan - 2004年12月 - 2006年11月
OSDL Japan Data Center Linux-Japan テクニカルリーダ - 2004年12月 - 2006年11月
OSDL Japan Data Center Linux-Japan technical Leader - 2004年10月 - 2005年
和文論文誌Ｄ－１「ユビキタス社会構築のためのネットワークに対する理論とその応用」小特集号編集委員, 電子情報通信学会 - 2003年11月 - 2004年03月
24th International Conference on Distributing Computing Systems(ICDCS) Program Committee, IEEE - 2003年11月 - 2004年03月
International Conference on Distributing Computing Systems(ICDCS) Program Committee - 2003年11月 - 2004年03月
International Conference on Distributing Computing Systems(ICDCS) Program Committee - 2002年12月 - 2003年12月
Kansai Section Membership Development Committee, IEEE - 2002年12月 - 2003年12月
Kansai Section Membership Development Committee, IEEE - 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 - 2002年04月 - 2002年12月
Asia Pacific International Symposium on Internet and Multimedia(APIS2) Advisory Committee, APIS(Asia Pacific International Symposium） - 1996年05月 - 2000年05月
論文誌編集委員, 情報処理学会 - 1999年04月 - 2000年03月
ＮＴＴ長谷自治会長, 神奈川県厚木市 長谷連合自治会 - 1999年04月 - 2000年03月
神奈川県厚木市 長谷連合自治会ＮＴＴ長谷自治会長 - 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 - 1994年01月 - 1994年12月
International Conference on Parallel and Distributed Systems(ICPADS) Program Committee, IEEE - 1989年10月 - 現在
ソサイエティ論文誌編集委員会査読委員, 電子情報通信学会 - 1989年10月 - 現在
論文誌査読委員, 電子情報通信学会
