Manabe Yoshihumi
| Faculty of Informatics Department of Information Science | Professor |
- E-Mail: manabe
cc.kogakuin.ac.jp
Career
- Apr. 2023 - Present
Kogakuin University, Department of Information Science, School of Informatics, Professor - Apr. 2016 - Mar. 2023
Kogakuin University, Department of Information Systems and Applied Mathematice, Faculty of Informatics, Professor - Apr. 2013 - Mar. 2016
Kogakuin University, Department of Computer Science, Faculty of Informatics, Professor - Apr. 2011 - Mar. 2013
Nippon Telegraph and Telephone Corporation, Innovetive Communication Laboratory, Communication Science Laboratories, Senior Research Scientist, Supervisor - Apr. 2001 - Mar. 2013
Kyoto University, Department of Social Informatics, Graduate School of Informatics, Guest Associate Professor - Apr. 2007 - Mar. 2011
Nippon Telegraph and Telephone Corporation, Human and Information Science Laboratory, Communication Science Laboratories, Reseach Group Leader - Nov. 2003 - Mar. 2007
Nippon Telegraph and Telephone Corporation, Open Source Software Computing Project, NTT Syber Space Laboratories, Senior Research Engineer, Supervisor - Oct. 2003 - Mar. 2007
Nippon Telegraph and Telephone Corporation, Open Source Software Computing Project, Cyber Space Laboratories, Senior Research Engineer, Supervisor - Apr. 2002 - Sep. 2004
Osaka University, Graduate School of Information Science and Technology, Part-time Lecturer - Oct. 2000 - Sep. 2003
Nippon Telegraph and Telephone Corporation, Social Communication Laboratory, Communication Science Laboratories, Reseach Group Leader - Jan. 1999 - Oct. 2000
Nippon Telegraph and Telephone Corporation, Research Planning Department, Science and Core Technology Laboratory Group, Associate Manager - Jul. 1992 - Jan. 1999
Nippon Telegraph and Telephone Corporation, Information Science Research Laboratory, Basic Research Laboratories, Senior Research Scientist - Aug. 1994 - Aug. 1995
The Johns Hopkins University, Department of Computer Science, Visiting Researcher - Jul. 1987 - Jun. 1992
Nippon Telegraph and Telephone Corporation, Software Research Laboratory, Software Laboratories, Research Engineer - Sep. 1985 - Jun. 1987
Nippon Telegraph and Telephone Corporation, Information Science Department, Basic research laboratories - Apr. 1985 - Aug. 1985
Nippon Telegraph and Telephone Corporation, Information Science Department, Musasino Electrical Communication Laboratory
Educational Background
Licence qualification
Affiliated academic society
IDs
Identifiers
研究者番号：80466408
researchmap会員ID：5000091306
ORCID ID：https://orcid.org/0000-0002-6312-257X
J-Global ID：200901070100441345
Research Keyword
Research theme
Books and other publications
- Distributed Systems
Yoshifumi Manabe, Single work
Morikita Publishing, 20 Sep. 2013
9784627810716 - Distributed Systems
Morikita Publishing, 2013
9784627810716 - 数理的技法による情報セキュリティ
Joint work
Jul. 2010
9784320019508 - Monitoring and Debugging of Distributed Real-Time Systems
Yoshifumi Manabe and Makoto Imase, Joint work
IEEE Computer Society Press, May 1995
0818665378
Paper
- 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), 15 Dec. 2025, [Reviewed]
Last, Corresponding - 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), Sep. 2025, [Reviewed]
Last, Corresponding - 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, [Reviewed]
Lead - 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, [Reviewed]
Last, Corresponding - Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations
Yoshifumi Manabe; Hibiki Ono
New Generation Computing, 15 Jun. 2024, [Reviewed]
Lead - Free-XOR in Card-Based Garbled Circuits
Yoshifumi Manabe; Kazumasa Shinagawa
Proc. of 22nd International Conference on Cryptology and Network Security (CANS 2023), LNCS, Oct. 2023, [Reviewed]
Lead, Corresponding - 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, Aug. 2023, [Reviewed]
Corresponding - Many-to-many perfect matching
Musashi Takanezawa and Yoshifumi Manabe
Proc. of 2022 4th International Conference on Advanced Information Science and System (AISS 2022), Feb. 2023, [Reviewed]
Last - 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, Dec. 2022, [Reviewed]
Last - Card-based Cryptographic Protocols to Calculate Primitives of Boolean Functions: Survey
Yoshifumi Manabe
International Journal of Computer & Software Engineering, Jun. 2022, [Reviewed]
Lead, Corresponding - Card-Based Cryptographic Protocols with Malicious Players Using Private Operations
Yoshifumi Manabe; Hibiki Ono
New Generation Computing, 01 Apr. 2022, [Reviewed]
Lead - Card-Based Cryptographic Protocols for Three-Input Functions Using Private Operations.
Yoshifumi Manabe; Hibiki Ono
Combinatorial Algorithms - 32nd International Workshop(IWOCA), 2021, [Reviewed]
Lead - 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, [Reviewed]
Lead - Minimum Round Card-Based Cryptographic Protocols Using Private Operations.
Hibiki Ono; Yoshifumi Manabe
Cryptography(Cryptogr.), 2021, [Reviewed], [Invited]
Last, Corresponding - Card-Based Cryptographic Logical Computations Using Private Operations
Hibiki Ono; Yoshifumi Manabe
NEW GENERATION COMPUTING, Oct. 2020, [Reviewed]
Last, Corresponding - 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, [Reviewed]
Lead - 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, [Reviewed]
Last, Corresponding - 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, [Reviewed]
Last, Corresponding - 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, [Reviewed]
Last, Corresponding - 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), 18 Aug. 2018, [Reviewed] - 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, [Reviewed]
Last, Corresponding - Privacy-Preserving Group Matching Protocol.
Takuya Ibaraki; Yoshifumi Manabe
J. Comput., 2018, [Reviewed]
Last - Secure message transmission against rational multiple adversaries
Kenya Yasui; Yoshifumi Manabe
Proceedings of 6th International Conference on Computer Technology and Science(ICCTS 2017), 08 Dec. 2017, [Reviewed] - 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, 11 Jan. 2017, [Reviewed]
Last - On compositional reasoning about anonymity and privacy in epistemic logic
Yasuyuki Tsukada; Hideki Sakurada; Ken Mano; Yoshifumi Manabe
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, Oct. 2016, [Reviewed] - 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, Aug. 2016, [Reviewed] - Battery Power Management Routing Considering Participation Duration for Mobile Ad Hoc Networks
Masaru Yoshimachi and Yoshifumi Manabe
Journal of Advances in Computer Networks, 01 Mar. 2016, [Reviewed] - 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, [Reviewed]
Last - 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, [Reviewed]
Last - 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, [Reviewed]
Last, Corresponding - 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, [Reviewed]
Last, Corresponding - A Double-Private epsilon-fuzzy Matching Protocol
Yuta Urushiyama; Yoshifumi Manabe
2015 5TH INTERNATIONAL CONFERENCE ON IT CONVERGENCE AND SECURITY (ICITCS), 2015, [Reviewed]
Last, Corresponding - An Allocation Algorithm of Indivisible Goods
Kohei Shimizu; Yoshifumi Manabe
2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 2015, [Reviewed]
Last - A Privacy-Preserving Collaborative Filtering Protocol Considering Updates
Yuji Mochizuki; Yoshifumi Manabe
2015 10th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 2015, [Reviewed]
Last - A Cryptographic Moving-Knife Cake-Cutting Protocol with High Social Surplus
Yoshifumi Manabe; Risako Otsuka; Tatsuaki Okamoto
Journal of Information Processing, 2015, [Reviewed] - An efficient edge-based authentication for network coding against entropy attacks
Ryo Iguchi; Yoshifumi Manabe
Proceedings - International Conference on Distributed Computing Systems, 29 Aug. 2014, [Reviewed] - Constant-Round Black-Box Construction of Composable Multi-Party Computation Protocol
Susumu Kiyoshima; Yoshifumi Manabe; Tatsuaki Okamoto
THEORY OF CRYPTOGRAPHY (TCC 2014), 2014, [Reviewed] - 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, [Reviewed] - 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, Jan. 2013, [Reviewed] - Constant-Round Black-Box Construction of Composable Multi-Party Computation Protocol.
Susumu Kiyoshima; Yoshifumi Manabe; Tatsuaki Okamoto
IACR Cryptol. ePrint Arch., 2013, [Reviewed] - Meta-envy-free Cake-cutting and Pie-cutting Protocols
Yoshifumi Manabe; Tatsuaki Okamoto
15 Jun. 2012 - 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, [Reviewed] - 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 - Security Proof of Cryptographic Systems Using Universal Composability Theory
OKAMOTO Tatsuaki; MANABE Yoshifumi
The IEICE transactions on information and systems, 01 May 2009 - An optimistic fair exchange protocol and its security in the universal composability framework
Yusuke Okada; Yoshifumi Manabe; Tatsuaki Okamoto
International Journal of Applied Cryptography, Feb. 2008 - Universally composable identity-based encryption
Ryo Nishimaki; Yoshifumi Manabe; Tatsuaki Okamoto
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, Jan. 2008, [Reviewed] - 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, Jan. 2008 - Universally Composable Identity-Based Encryption
NISHIMAKI Ryo; MANABE Yoshifumi; OKAMOTO Tatsuaki
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 01 Jan. 2008 - 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, Jan. 2006, [Reviewed] - 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, [Reviewed] - 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, 01 Jan. 2004 - 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, 28 Feb. 1998 - 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, 08 Feb. 1996 - 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, May 1992 - Debugging Dynamic Distributed Programs Using Global Predicates
Yoshifumi Manabe; Shigemi Aoyagi
Proceedings of 4th IEEE Symposium on Parallel and Distributed Processing, 1992 - 分散システムにおける全域状態監視アルゴリズム
Apr. 1991 - Global states monitoring algorithm for distributed system.
Kenji Moriyasu; Terunao Soneoka; Yoshifumi Manabe
Systems and Computers in Japan, Apr. 1991, [Reviewed] - Fault-tolerant routings in a K-connected network
Makoto Imase; Yoshifumi Manabe
Information Processing Letters, 29 Jul. 1988 - 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 - The optimum design of highly reliable duplex networks.
曽根岡昭直; 真鍋義文; 今瀬真; 井上正之
電子情報通信学会論文誌 A, Feb. 1987 - 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, [Reviewed] - 樹枝状単調減少論理回路を実現するCMOS回路に対する最小分離度配置問題
Sep. 1985 - 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), Feb. 1985, [Reviewed] - 超立方体環グラフと超立方体グラフの最小2分割幅
Jun. 1984 - 一層一行配線問題の片側トラック数の最小性
May 1984
MISC
- Special Articles by JSIAM Fellows
Hayami Ken; Okazawa Kensuke; Omata Seiro; Kajiwara Kenji; Manabe Yoshifumi
Bulletin of the Japan Society for Industrial and Applied Mathematics, 25 Sep. 2023 - 背面処理に基づいたカードベース暗号
2019 - ブロックチェーン（Blockchain）
2018 - セキュアな計算プロトコル
2017 - 国際会議：6th International Workshop on Security(IWSEC2011)
2012 - Society as a Meeting Place
Manabe Yoshifumi
Bulletin of the Japan Society for Industrial and Applied Mathematics, 2010 - Open source software standardization trends - CGL and DCL
Naoki Uchida; Yoshifumi Manabe
NTT Technical Review, Jul. 2005 - Global Standardization Frontier The Trend in Standardization of the Open Source Software --- on CGL and DSL
内田直樹; 真鍋義文
NTT技術ジャーナル, 01 May 2005
http://jglobal.jst.go.jp/public/200902283698182508 - Linux for telecommunication carrier systems
Yoshifumi Manabe; Yasuro Kawarasaki; Takashi Ikebe
NTT Technical Review, Nov. 2004 - Forefront of Global Standards Trend in Standardization of Linux for Telecommunication Carriers
真鍋義文; 河原崎裕朗; 池辺隆
NTT技術ジャーナル, 01 Sep. 2004
http://jglobal.jst.go.jp/public/200902283611667063 - 3Tbit/s光伝送実験に成功
25 Jun. 1999 - 1チップ指紋センサ認証LSIを開発
25 May 1999 - 世界最高速のATMスイッチシステム"OPTIMA"を開発
25 May 1999 - 視覚的データマイニング支援を実現
25 May 1999 - 実写型カーナビゲーションシステムの開発
25 Apr. 1999 - Applied Mathematics in Queueing(
Applied Mathematics in Queueing)
Kawashima Konosuke; Manabe Yoshifumi
Bulletin of the Japan Society for Industrial and Applied Mathematics, 1999 - Introduction of Department of Computer Science, The Johns Hopkins University(Overseas,Laboratories)
Manabe Yoshifumi
Bulletin of the Japan Society for Industrial and Applied Mathematics, 1997 - Distributed Checkpoint and Rollback Algorithms
MANABE Yoshifumi; AOYAGI Shigemi
Journal of IPS Japan, 15 Nov. 1993 - 特集「フォールトトレラント分散システム向けアルゴリズム」の編集にあたって
15 Nov. 1993 - Dynamic Networks are as fast as static networks(Preliminary Version)
真鍋 義文
IPSJ Magazine, 15 Aug. 1989
Lectures, oral presentations, etc.
- Multi-Price Lottery for Ticket Lottery Sales
Yoshifumi Manabe
2025 3rd International Conference on Data, Information and Computing Science (CDICS 2025), 06 Dec. 2025, [Invited] - Multi-Price Lottery for Ticket Lottery Sales
Yoshifumi Manabe
9th International Conference on Business and Information Management(ICBIM 2025), 20 Sep. 2025, [Invited] - Fair Allocation of Divisible Goods
Yoshifumi Manabe
6th International Conference on Industrial Engineering and Artificial Intelligence (IEAI 2025), 25 Apr. 2025, [Invited] - Secure Computation using Physical Cards
Yoshifumi Manabe
2025 4th Asia Conference on Algorithms, Computing and Machine Learning (CACML 2025), 29 Mar. 2025, [Invited] - ドッスンフワリに対する物理的カードを用いたゼロ知識証明プロトコル
25 Oct. 2024 - 決勝戦でマッチングするためのトーナメントの不正
07 Mar. 2024 - 二種類の学生が存在する場合の研究室配属
07 Mar. 2024 - 津波避難行動におけるリーダーの必要性の検証
07 Mar. 2024 - 目的に合わせた移動経路設定
07 Mar. 2024 - Jリーグにおけるダイナミックプライシング導入の検証
07 Mar. 2024 - Cryptographic Protocols using Physical Cards
Yoshifumi Manabe
2023 4th International Conference on Electronics, Communications and Information Technology(CECIT 2023), 24 Dec. 2023, [Invited] - 無開示性を持つカードベース暗号プロトコルについて
31 May 2023, [Invited] - Primary selection algorithm for recruitment
Itsuki Miyazawa and Yoshifumi Manabe
04 Mar. 2023 - Zero-Knowledge Proof Systems for Herugolf Puzzle
Yuya Watanabwe and Yoshifumi Manabe
02 Mar. 2023 - Zero-Knowledge Proof Systems for Number Chain Puzzle
Takeaki Hatae and Yoshifumi Manabe
02 Mar. 2023 - Effect of the Number of Hints for Each Number in Sudoku
Ryoma Aoki and Yoshifumi Manabe
02 Mar. 2023 - Delivery personnel assignment problem
Tomiki Nishinaga and Yoshifumi Manabe
02 Mar. 2023 - Free-XOR in card-based garbled circuits
Yoshifumi Manabe
SCIS 2023, 27 Jan. 2023 - Card-based secure computation of several functions using private operations with a standard deck of cards
Naoki Kobayashi; Yoshifumi Manabe
SCIS 2024, 25 Jan. 2024 - Card-based secure evaluation of decision trees
Yoshifumi Manabe; Naoki Kobayashi
SCIS 2024, 25 Jan. 2024 - Secure Computation using Physical Cards
Yoshifumi Manabe
13th International Conference on Networking and Information Technology(ICNIT 2022), 29 Dec. 2022, [Invited] - Matching for COVID-19 vaccination appointment
Yuma Aoki and Yoshifumi Manabe
05 Mar. 2022 - Misinformation Diffusion Model Applying the SEIR Model
Naoki Minamizawa and Yoshifumi Manabe
05 Mar. 2022 - Many-to-Two Laboratory Assignment Problem
Musashi Takanezawa and Yoshifumi Manabe
04 Mar. 2022 - Receiving evacuees’ distribution supplies problem in a disaster
Yuga Hidaka and Yoshifumi Manabe
04 Mar. 2022 - Zero knowledge proof for building puzzles
Hayato Miyazaki and Yoshifumi Manabe
03 Mar. 2022 - Fraud prevention through mutual monitoring among three parties for card-based cryptographic protocols with playing cards using private operations
Tomoya Morooka and Yoshifumi Manabe
03 Mar. 2022 - Physical Zero-Knowledge Proofs for Lighthouses and ABC End View
Takuro Fukasawa and Yoshifumi Manabe
18 Jan. 2022 - RFC 8030とPush APIを用いたリソース単位のサーバープッシュの実現
27 Aug. 2021 - Cryptographic protocols using physical cards
Yoshifumi Manabe
11th International Conference on Information Communication and Management (ICICM 2021), 13 Aug. 2021, [Invited] - Secure Computation using Physical Cards
Yoshifumi Manabe
2021 International Conference on Communication Technology and Data Mining (ICTDM 2021), 30 Jul. 2021, [Invited] - Card-based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations
Yoshifumi Manabe; Hibiki Ono
19 May 2021 - 指定時間内に最小燃料で航行するウェザールーティングアルゴリズム
10 Mar. 2021 - Jリーグにおけるダイナミックプライシングによる効用の検証
10 Mar. 2021 - ホテルの利益を最大化する部屋の割り当て戦略
10 Mar. 2021 - 錦織選手のテニスサーブに関するゲーム理論解析
10 Mar. 2021 - Card-based Cryptographic Protocols Using Private Operations Against Malicious Players
Yoshifumi Manabe; Hibiki Ono
20 Jan. 2021 - Card-based Cryptographic Protocols
Yoshifumi Manabe
5th International Conference on Information and Network Technology(ICINT 2020), 21 May 2020, [Invited] - Itinerary creation algorithm by condition input
Atsuki Otani; Yoshifumi Manabe
The 82nd national Convention of IPSJ, 07 Mar. 2020, Information Processing Society of Japan - A non-crash loading algorithm to maximize loading capacity
Kanta Koyama; Yoshifumi Manabe
The 82nd national Convention of IPSJ 6L-02, 07 Mar. 2020, Information Processing Society of Japan - Route selection method to ease commuter train congestion
Ryotaro Urago; Yoshifumi Manabe
The 82nd national Convention of IPSJ 7L-07, 07 Mar. 2020, Information Processing Society of Japan - Player behavior verification by the digitization of theme park priority passes
Yuki Ishige; Yoshifumi Manabe
The 82nd national Convention of IPSJ 6M-07, 07 Mar. 2020, Information Processing Society of Japan - A reliability improve method for the world state of full nodes in Ethereum 2.0
Yuuto Itou; Yoshifumi Manabe
The 82nd national Convention of IPSJ 5Y-03, 06 Mar. 2020, Information Processing Society of Japan - Strategies in double-elimination tournaments
Hayato Nakamura; Yoshifumi Manabe
The 82nd national Convention of IPSJ 2M-06, 05 Mar. 2020, Information Processing Society of Japan - 旅行旅程作成アルゴリズム
20 Feb. 2020 - 荷物潰れがない、積載量の最大化アルゴリズム
20 Feb. 2020 - 通勤電車の混雑緩和のための経路選択方法
20 Feb. 2020 - ダブルイリミネーショントーナメントにおける戦略について
20 Feb. 2020 - テーマパークの優先権パスのデジタル化によるプレイヤー行動の検証
20 Feb. 2020 - Ethereum 2.0におけるフルノードのワールドステートの信頼性向上手法
20 Feb. 2020 - Cryptographic protocols using physical cards
Yoshifumi Manabe
10th International Conference on Networking and Information Technology(ICNIT 2019), 18 Nov. 2019, Journal of Advances in Computer Networks, [Invited] - Fair Allocation of Divisible Goods
Yoshifumi Manabe
2019 International Conference on Advanced Information Science and System (AISS 2019), 16 Nov. 2019, AISS 2019 Organizing committee, [Invited] - Cryptographic protocols using physical cards
Yoshifumi Manabe
4th International Conference on Information and Network Technologies (ICINT 2019), 26 May 2019, Journal of Advances in Computer Networks, [Invited] - 暗号化グラフの最短経路検索におけうサーバ側の不正防止
22 Mar. 2019 - SNS上の情報漏洩攻撃に対するディレイを用いた防御法について
22 Mar. 2019 - ソーシャルネットワーク上の交換に基づく満足度の高い財の割り当てについて
22 Mar. 2019 - 秘密分散を用いたダブルオークションでの多項式使用数について
22 Mar. 2019 - Gale-Shapleyアルゴリズムにおける複数マニピュレータの競合について
22 Mar. 2019 - オンライン座席割り当て問題
22 Mar. 2019 - Card-based cryptographic protocols for several Boolean functions using private operations
Yoshifumi Manabe; Hibiki Ono
24 Jan. 2019 - Card-based Cryptographic Protocols
MANABE Yoshifumi
9th International Conference on Networking and Information Technology (ICNIT 2018), Nov. 2018, [Invited] - Envy-free Allocation of Divisible Goods
Yoshifumi Manabe
3rd International Conference on Information and Network Technologies (ICINT 2018), 25 May 2018, Journal of Advances in Computer Networks, [Invited] - 匿名システムTorにおける指紋攻撃・遅延攻撃に対する分散レンジリクエストによる対策
17 May 2018 - Distributed range request scheme against website fingerprinting attack and Timing attack on the Tor anonymous system
安井賢也; 真鍋義文
情報処理学会研究報告(Web), 10 May 2018 - Envy-Free Allocation of Divisible Goods
MANABE Yoshifumi
3rd International Conference on Information and Network Technologies (ICINT 2018), May 2018, [Invited] - Fair Allocation of Divisible Goods
MANABE Yoshifumi
International Joint Conference on Information and Communication Engineering (JCICE 2018), Apr. 2018, [Invited] - カーシェアリングのためのブロックチェーン
22 Mar. 2018 - メッセージの伝達方式における複数の敵による攻撃戦略の解析
22 Mar. 2018 - 背面入力処理を用いたカードベース金持ち比べプロトコル
22 Mar. 2018 - スケジュールマッチング
22 Mar. 2018 - 希望優先と成績優先を組み合わせた研究室配属
22 Mar. 2018 - 好きなものと嫌いなものが混ざった財の公平分割
22 Mar. 2018 - 分割不可能な財の割り当て近似アルゴリズム
22 Mar. 2018 - 制限付きリストを持つ場合の安定結婚問題
22 Mar. 2018 - On the Number of Rounds of Card-based Cryptographic Protocols Using Private Operations (情報セキュリティ) -- (IT・ISEC・WBS合同研究会)
小野 響; 真鍋 義文
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 08 Mar. 2018 - 背面処理を用いたカードベース秘密計算プロトコルのラウンド数について
08 Mar. 2018 - グループにおける秘匿マッチングプロトコルに関する考察
Jan. 2018 - Fair Division Algorithms
MANABE Yoshifumi
6th International Conference on Computer Technology and Science (ICCTS 2017), Dec. 2017, [Invited] - Fair Allocation of Divisible Goods
MANABE Yoshifumi
8th International Conference on Networking and Information Technology (ICNIT 2017), Nov. 2017, [Invited] - Fair Allocation Problems
MANABE Yoshifumi
9th International Conference on Information Management and Engineering (ICIME 2017), Oct. 2017, [Invited] - Card-based Cryptographic Protocols Using Private Operations (情報セキュリティ)
小野 響; 真鍋 義文
電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 04 Sep. 2017 - Card-based cryptographic protocols using private operations
Hibiki Ono; Yoshifumi Manabe
ISEC2017-42, IEICE, 04 Sep. 2017, IEICE - Fair Allocation Problems
MANABE Yoshifumi
2nd International Conference on Information and Network Technologies (ICINT 2017), May 2017, [Invited] - アドホックネットワーク向けの公平性経路制御AODVプロトコル
24 Mar. 2017 - グループにおける秘匿マッチングプロトコル
23 Mar. 2017 - 結託攻撃に対する耐性を有する秘匿マッチングプロトコル
23 Mar. 2017 - ブロックチェーンと秘密分散を使用した電子投票
23 Mar. 2017 - 平均学力の均一化を行う研究室配属アルゴリズム
23 Mar. 2017 - 並列マッチングにおける効率的なブロッキングペアの解消法
23 Mar. 2017 - 戦略性を考慮した分割不可能な財のオンライン配分方式
23 Mar. 2017 - メタ羨望のない、一部分を捨てるケーキ分割
23 Mar. 2017 - フォワードセキュリティを満足するオニオンルーティングに基づく匿名通信
Jan. 2017 - ハイブリッドクラウド上におけるMapReduceフレームワークでの機密情報漏えい防止策
Jan. 2017 - 合理的な複数の敵に対し、信頼性・機密性を満たす秘密分散通信
Jan. 2017 - Cake-cutting protocols: How fair allocation can be achieved?
MANABE Yoshifumi
8th International Conference on Information Management and Engineering(ICIME 2016), Nov. 2016, [Invited] - 繁殖戦略解析のための考察
Sep. 2016 - 分割不可能な財のオンライン配分問題
Sep. 2016 - MANET向けの通信性質を考慮した公平性ルーティングプロトコル
Sep. 2016 - 仲介人を用いた仮想通貨のための宝くじプロトコル
15 Mar. 2016 - ビットスライス回路による第M+1価格セキュアオークションにおけるタイブレーク方式
15 Mar. 2016 - ビットコインの匿名化プロトコルについて
15 Mar. 2016 - MANET向けの通信性質を考慮した公平性ルーティングプロトコル
15 Mar. 2016 - 途中退出を許容したオンラインケーキ分割プロトコル
15 Mar. 2016 - 分割不可能な財のオンライン配分方式
15 Mar. 2016 - 人気コースが存在する場合のコースへの割り当て問題
15 Mar. 2016 - B-7-49 Fair Communication Amount Rounting Protocol for MANET Considering Characteristic of Communication
Yoshimachi Masaru; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 01 Mar. 2016 - D-1-5 Course Allocation via Stable Matching with Popular Courses
Kurano Sota; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 01 Mar. 2016 - D-1-4 An Online Allocation Algorithm of Indivisible Goods
Shimizu Kohei; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 01 Mar. 2016 - D-1-3 An Online Cake-Cutting Protocol with Middle Exit
Kubo Koki; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 01 Mar. 2016 - A-7-22 An Anonymity Protocol for Bitcoin
Watanabe Kyohei; Manabe Yoshihumi
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference, 01 Mar. 2016 - A-7-212 Tie-break for a Secure M + 1st Price Auction Protocol based on Bit Slice Circuits
Nakamura Ryo; Manabe Yoshifumi
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference, 01 Mar. 2016 - A-7-20 Lottery Protocol for Cryptocurrency using an Intermediary
Yamamoto Masaharu; Manabe Yoshifumi
Proceedings of the IEICE Engineering Sciences Society/NOLTA Society Conference, 01 Mar. 2016 - カードを用いた効率の良い不動点のないランダム置換の生成
Jan. 2016 - カードを用いた秘密計算の計算量について
Jan. 2016 - 秘匿回路計算のゲーム理論的安全性
Jan. 2016 - フォワードセキュリティを満足するオニオンルーティングの返信経路情報
Jan. 2016 - An Allocation Algorithm for Indivisible Goods
Kohei Shimizu; Yoshifumi Manabe
IEICE General Conference 2015 D-1-6, 11 Mar. 2015, IEICE - Multiple Laboratories/Students Matching Problem
Daichi Ando; Yoshifumi Manabe
IEICE General Conference 2015 D-1-8, 11 Mar. 2015, IEICE - An assignment problem of usage time divided into blocks
Takahiro Inanaga; Yoshifumi Manabe
IEICE General Conference 2015 D-1-7, 11 Mar. 2015, IEICE - Eavesdropping Resistance of Strongly Secure Network Coding
Shigekazu Kawabe; Yoshifumi Manabe
IEICE General Conference 2015 A-7-5, 10 Mar. 2015, IEICE - A Secure Association Rule Extraction Protocol using Homomorphic Symmetric-key Encryption
Yusuke Osada; Yoshifumi Manabe
IEICE General Conference 2015 A-7-6, 10 Mar. 2015, IEICE - Distributed Power Management Routing for Mobile Ad Hoc Networks
Masaru Yoshimachi; Yoshifumi Manabe
IEICE General Conference 2015 B-7-25, 10 Mar. 2015, IEICE - A Restrained Flooding Routing for Mobile Ad Hoc Networks
Naoya Sato; Yoshifumi Manabe
IEICE General Conference 2015 B-7-33, 10 Mar. 2015, IEICE - D-1-8 Multiple Laboratories/Students Matching Problem
Ando Daichi; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 24 Feb. 2015 - D-1-7 An assignment problem of usage time divided into blocks
Inanaga Takahiro; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 24 Feb. 2015 - D-1-6 An Allocation Algorithm for Indivisible Goods
Shimizu Kohei; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 24 Feb. 2015 - A-7-6 A Secure Association Rule Extraction Protocol using Homomorphic Symmetric-key Encryption
Osada Yusuke; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 24 Feb. 2015 - A-7-5 Eavesdropping Resistance of Strongly Secure Network Coding
Kawabe Shigekazu; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 24 Feb. 2015 - B-7-33 A Restrained Flooding Routing for Mobile Ad Hoc Networks
Sato Naoya; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 24 Feb. 2015 - B-7-25 Distributed Power Management Routing for Mobile Ad Hoc Networks
Yoshimachi Masaru; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 24 Feb. 2015 - 更新を考慮したプライバシ保護協調フィルタリング
Jan. 2015 - オニオンルーティングの一方式における通信文非結合性問題について
Jan. 2015 - プライバシーを考慮した安定ルームメイト問題
Jan. 2015 - Reducing the delay of MAC suitable for network coding
Ryo Iguchi; Yoshifumi Manabe
IEICE General Conference 2014, 18 Mar. 2014, IEICE - An elliptic curve scalar multiplication against SPA
Shinobu Sakiyama; Yoshifumi Manabe
IEICE General Conference 2014, 18 Mar. 2014, IEICE - epsilon- fuzzy matching secure protocol
Yuta Urushiyama; Yoshifumi Manabe
IEICE General Conference 2014, 18 Mar. 2014, IEICE - Game theoretic security and cryptographic security that takes into account the cost of the commitment protocol
Tsuyoshi Komatsubara; Yoshifumi Manabe
IEICE General Conference 2014, 18 Mar. 2014, IEICE - Privacy Issues for a Smart Grid Scheme Using Secret Sharing
Keisuke Fujimoto; Yoshifumi Manabe
IEICE General Conference 2014, 18 Mar. 2014, IEICE - Comparison of social surplus between cake-cutting protocols
Risako Otsuka; Yoshifumi Manabe
IEICE General Conference 2014, 18 Mar. 2014, IEICE - Secure Keyword Ad Auction to Bid on Each Ad Position
Shun Watanabe; Yoshifumi Manabe
IEICE General Conference 2014, 18 Mar. 2014, IEICE - Laboratories/Students Problem When There are Two Kinds of Students
Hiroaki Nagano; Yoshifumi Manabe
IEICE General Conference 2014, 18 Mar. 2014, IEICE - An online cake division scheme with multiple waiting people
Kenta Yokoyama; Yoshifumi Manabe
IEICE General Conference 2014, 18 Mar. 2014, IEICE - A-7-17 Privacy Issues for a Smart Grid Scheme Using Secret Sharing
Fujimoto Keisuke; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 04 Mar. 2014 - D-1-2 Secure Keyword Ad Auction to Bid on Each Ad Position
Watanabe Shun; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 04 Mar. 2014 - A-7-16 Game theoretic security and cryptographic security that takes into account the cost of the commitment protocol
Komatsubara Tsuyoshi; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 04 Mar. 2014 - A-7-15 ε fuzzy matching secure protocol
Urushiyama Yuta; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 04 Mar. 2014 - A-7-1 Reducing the delay of MAC suitable for network coding
Iguchi Ryo; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 04 Mar. 2014 - A-7-13 An elliptic curve scalar multiplication against SPA
Sakiyama Shinobu; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 04 Mar. 2014 - D-1-3 Laboratories/Students Problem When There are Two Kinds of Students
Nagano Hiroaki; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 04 Mar. 2014 - D-1-4 An online cake division scheme with multiple wating people
Yokoyama Kenta; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 04 Mar. 2014 - D-1-1 Comparison of social surplus between cake-cutting protocols
Otsuka Risako; Manabe Yoshifumi
Proceedings of the IEICE General Conference, 04 Mar. 2014 - On the Round-Complexity Lower Bound of CCA-Secure Commitments
Jan. 2013 - Homomorphic Signatures for Polynomial Functions with Shorter Signatures
Jan. 2013 - メタ羨望なしケーキ分割プロトコル
Nov. 2012 - A simplified private stable matching algorithm
Hermanto; Yoshifumi Manabe; and Tatsuaki Okamoto
16th Financial Cryptography and Data Security Symposium, Feb. 2012, International Financial Cryptography Association - 国際会議：6th International Workshop on Security(IWSEC2011)
Feb. 2012, [Invited] - A private matching algorithm using predicate encryption
Jan. 2012 - Somewhat Homomorphic Encryptionを用いた分散復号
Jan. 2012 - Constant-Round Concurrent Zero-Knowledge in Super-Polynomial Simulation Security
Jan. 2012 - A simplified private stable matching algorithm
2012 - ケーキ分割問題について
Dec. 2011 - 匿名性とプライバシの合成可能性について
Mar. 2011 - A Secure M + 1st Price Auction Protocol based on Bit Slice Circuits
Jan. 2011 - A Simplified Private Stable Matching Algorithm
Jan. 2011 - An Identity Based Encryption Scheme from Ideal Lattices
Jan. 2011 - 「出会いの場」としての学会
Mar. 2010, [Invited] - Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption
Jan. 2010 - Cryptographic cake-cutting protocol
Jan. 2010 - Unstablity of a punishment strategy in correlated equilibria
Jan. 2009 - A Ubiquitous Data Corpus for Sensor Information Processing
KUBO Rui; MANABE Yoshifumi; MORIAI Satoshi
IEICE technical report, 24 Jan. 2008, The Institute of Electronics, Information and Communication Engineers - A Ubiquitous Data Corpus for Sensor Information Processing
久保類; 真鍋義文; 盛合敏
電子情報通信学会技術研究報告, 17 Jan. 2008 - An Efficient Anonymous Credential System with Revocation
Jan. 2008 - On the Security of an Unlinkable Off-line E-Cash System
Jan. 2008 - Anonymous return route information for onion routing
Jan. 2008 - Universally Composable Identification
Jan. 2007 - An Optimistic Fair Exchange Protocol and its Security in the Universal Composability Framework
Jan. 2007 - An Unlinkable Off-line E-Cash System
Jan. 2007 - An Efficient Anonymous Credential System
Jan. 2007 - Information Retrieval Platform on Sensor Network
KUBO Rui; MANABE Yoshifumi; MORIAI Satoshi
IPSJ SIG Notes, 16 Mar. 2006 - Short Group Signatures with Efficient Flexible Join
Jan. 2006 - Universally Composable Blind Signatures
Jan. 2006 - Universally Composable Identity-Based Encryption
Jan. 2006 - Optimistic Fair Exchange Protocol for E-Commerce
Jan. 2006 - ミッションクリティカルシステムのためのLinux
Jan. 2006, [Invited] - Open Source Software Standardization Trends-CGL and DCL
Naoki Uchida and Yoshifumi Manabe
NTT Technical Review, Jul. 2005 - Real World Data Mining using Grid Computing
Kubo Rui; Manabe Yoshifumi; Moriai Satoshi
IPSJ SIG Notes, 20 May 2005 - Real World Data Mining using Grid Computing
Kubo Rui; Manabe Yoshifumi; Moriai Satoshi
IPSJ SIG Notes, 19 May 2005, Information Processing Society of Japan (IPSJ) - オープンソースソフトウェア（OSS）の標準化動向－CGLとDCLについて
May 2005 - A Universally Composable Secure Channel Based on the KEM-DEM Framework
Jan. 2005 - 汎用的結合可能なグループ署名について
Jan. 2005 - 汎用的結合可能な電子投票方式について
Jan. 2005 - 通信事業者向けLinuxの標準化動向
Sep. 2004 - DCL(Data Center Linux) statusレポート
Jun. 2004 - ツリー構造による署名方式とその安全性証明
Jan. 2004 - ハイブリッド暗号の安全性について
Jan. 2004 - 特集「情報科学研究の最前線-より安全で快適な情報処理技術を目指して」にあたって
Oct. 2002, [Invited] - Quorum Based Algorithms using Group Choice
CISC2002, Jun. 2002 - Quorum Based Algorithms using Group Choice
2002 - 分散システムのためのアルゴリズム
Jun. 2001 - (h, k)-arbiters for h-out of-k mutual exclusion problem
Manabe Yoshifumi; Tajima Naka
IEICE technical report. Theoretical foundations of Computing, 18 Sep. 1998 - A Distributed Consistent Global Checkpoint Algorithm for Distributed Mobile Systems
Manabe Yoshifumi
IEICE technical report. Theoretical foundations of Computing, 23 Jul. 1998 - A Distributed Consistent Global Checkpoint Algorithm for Distributed Systems with a Mobile Process
Manabe Yoshifumi
IEICE technical report. Theoretical foundations of Computing, 09 Dec. 1997 - ジョンズ・ホプキンス大学計算科学科
Jun. 1997, [Invited] - A Distributed Consistent Global Checkpoint Algorithm with a Minimum Number of Checkpoints
Manabe Yoshifumi
IEICE technical report. Theoretical foundations of Computing, 25 Apr. 1997 - 分散最始・最終全域チェックポイントアルゴリズム
Dec. 1996 - フォールトトラレント分散システム向けアルゴリズム
Nov. 1996 - A Distributed First and Last Consistent Global Checkpoint Algorithm
MANABE Yoshifumi
IPSJ SIG Notes, 17 Oct. 1996 - 分散システムのアルゴリズム
Jun. 1996 - A Competitive Online Admission Control Algorithm for Fixed Serving Cost Cases
Manabe Yoshifumi; Awerbuch Baruch
IEICE technical report. Theoretical foundations of Computing, 19 Apr. 1996 - Uniform Self-Stabilizing Extension Algorithm under Message Passing Model.
青柳滋己; 真鍋義文
情報処理学会研究報告, 21 Sep. 1994 - A Feasibility Decision Algorithm for Rate Monotonic Scheduling of Periodic Real-Time Tasks
Manabe Yoshifumi; Aoyagi Shigemi
IEICE technical report. Theoretical foundations of Computing, 25 Jul. 1994 - 周期的リアルタイムタスクのRate Monotonic法による実行可能性判定問題について
Jul. 1994 - マルチポリシー分散システム向けアルゴリズム
Dec. 1993 - 分散チェックポイント・ロールバックアルゴリズム
Nov. 1993, [Invited] - 特集「フォールトトレラント分散システム向けアルゴリズム」の編集にあたって
Nov. 1993, [Invited] - A distributed k-mutual exclusion algorithm using k-coterie
Manabe Yoshifumi; Aoyagi Shigemi
IEICE technical report. Theoretical foundations of Computing, 24 Sep. 1993 - A Distributed Program Debugger Besed on a Replay Technique
真鍋 義文; 青柳 滋己
情報処理学会研究報告マルチメディア通信と分散処理（DPS）, 09 Jul. 1992 - 分散デバッガのためのチェックポイント・ロールバックアルゴリズム
Apr. 1992 - 分散プログラムデバッガのためのチェックポイントアルゴリズム
Mar. 1992 - Distributed program debugger prototype ddbx - p
真鍋 義文; 青柳 滋己
情報処理学会研究報告マルチメディア通信と分散処理（DPS）, 24 Sep. 1991 - 分散プログラム用デバッガddbx-pの試作開発
Sep. 1991 - 分散プログラミングのためのデバッグ手法の一提案
Jul. 1991 - 分散プログラムのデバッグにおける大域的条件について
Dec. 1989 - synchronization error detection for distributed systems.
森保健治; 曽根岡昭直; 真鍋義文
電子情報通信学会技術研究報告, 24 Mar. 1989 - ネットワークにおけるルート情報暗号化の一手法
Oct. 1988 - Reliability and efficiency of networks with fixed routings.
真鍋義文; 今瀬真; 曽根岡昭直
電子情報通信学会全国大会講演論文集, Mar. 1988 - Influence of topology restriction on the message complexity of distributed algorithms.
真鍋義文; 今瀬真; 曽根岡昭直
電子情報通信学会技術研究報告, 19 Jun. 1987 - A Fault Tolerant Routing in Networks
Makoto Imase; Terunao Soneoka; and Yoshifumi Manabe
ICIAM '87, May 1987 - A Fault Tolerant Routing in Networks
1987 - ットワークにおける障害耐力のある固定ルーチング方式について
Jan. 1987 - A modelling of the relation between the form of a failure in local networks and its social significance.
真鍋義文; 能条哲
電子通信学会技術研究報告, 25 Jun. 1986 - 二重化構造を持つトポロジーの信頼性
Oct. 1985 - 単調減少論理関数を実現するCMOS回路に対する配置問題
Oct. 1984 - 超立方体環と超立方体グラフの最小2分割幅について
Nov. 1983 - 一層一行配線問題の片側トラック数の最小性について
May 1983
Industrial Property Rights
- 特許第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, 分散プログラムデバッグ方式
Award
Research Themes
- 01 Apr. 2014 - 31 Mar. 2017
Fair division protocols considering time constraints and security
Grant-in-Aid for Scientific Research (C), Kogakuin University - 2013 - Present
Research on Cryptography, Distributed Algorithms, and Game Theory - 1997 - 1998
Studies on separations of paralle programs into physical aspect and logical one and effective compiling techniques
Grant-in-Aid for Scientific Research (C), Osaka University - Security, fault-tolerant networks, fair usage for networks
Courses
- Sep. 2023 - Present
Cryptography and its applications, Hosei University - Sep. 2020 - Present
キャリアデザイン, Kogakuin University - May 2020 - Present
研究活動における責任と安全, Kogakuin University - Apr. 2018 - Present
Discrete systems, Kogakuin University - Sep. 2017 - Present
Operations research, Kogakuin University - Apr. 2017 - Present
Computer architecture, Kogakuin University - Sep. 2014 - Present
Experiments for informatics, Kogakuin University - Sep. 2013 - Present
Distributed algorithms, Kogakuin University - Apr. 2013 - Present
Graduation Thesis, Kogakuin University - Apr. 2018 - Mar. 2025
Information systems and applied mathematics seminar, Kogakuin University - Apr. 2024 - Sep. 2024
Theory of computing, Tokyo Metropolitan University - Sep. 2013 - Mar. 2023
Cryptography, Kogakuin University - Sep. 2017 - Mar. 2022
Exercices in linear algebra, Kogakuin University - Sep. 2016 - Mar. 2022
Linear algebra, Kogakuin University - Apr. 2014 - Mar. 2022
Advanced seminar in informatics, Kogakuin University - Apr. 2018 - Sep. 2020
Technical Writing for Science, Kogakjuin University - Apr. 2016 - Sep. 2019
Overview of Informatics, Kogakuin University - Sep. 2018 - Mar. 2019
Distributed Algorithms, Hosei University - Apr. 2013 - Mar. 2018
Computer science seminar, Kogakuin University - Apr. 2013 - Sep. 2017
Automata and formal languages, Kogakuin University - Apr. 2014 - Sep. 2016
Fundamentals in computer science, Kogakuin University - Apr. 2014 - Sep. 2015
Systems engineering, Kogakuin University - Apr. 2014 - Sep. 2014
Introductory seminar on informatics, Kogakuin University - Apr. 2013 - Mar. 2014
Fundamental information processing and exercise, Kogakuin University - Apr. 2001 - Mar. 2013
社会情報特別研究 - Apr. 2001 - Mar. 2013
Social information network advanced seminar, Kyoto University - Apr. 2001 - Mar. 2013
Social information network seminar, Kyoto University - Apr. 2008 - Sep. 2012
暗号と情報社会 - Apr. 2002 - Sep. 2004
Information system special lecture, Osaka University
Member History
- Jun. 2022 - Present
ソサイエティ論文誌編集委員会 査読委員, The Institute of Electronics, Information and Communication Engineer - Mar. 2021 - Present
Editorial Board member - Feb. 2025 - Nov. 2025
TPC member, 2025 IEEE International Conference on Internet of Things and Intelligence Systems (IoTaIS) - Jan. 2025 - Sep. 2025
Publicity Chair, 2025 6th Asia Service Sciences and Software Engineering Conference (ASSE 2025) - Oct. 2024 - Sep. 2025
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) - Dec. 2024 - Aug. 2025
Chapter Chair, 4th International Conference on Artificial Intelligence and Software Engineering (ICAISE 2025) - Nov. 2024 - Aug. 2025
Technical Program Committee, 2025 8th International Conference on Computer and Communication Engineering Technology (CCET 2025) - Nov. 2024 - Jul. 2025
Publication Chair, 2025 4th International Conference on Networks, Communications and Information Technology (CNCIT 2025) - Oct. 2024 - Jun. 2025
TPC Vice-chair, 2025 9th International Conference on High Performance Compilation, Computing and Communications (HP3C'25) - Sep. 2024 - Apr. 2025
Technical Committee member, 2025 6th International Conference on Industrial Engineering and Artificial Intelligence (IEAI 2025) - Aug. 2024 - Apr. 2025
Advisory Committee Chair, 2025 16th International Conference on E-Education, E-Business, E-Management and E-Learning (IC4E 2025) - Jul. 2024 - Apr. 2025
Regional Chair, 10th International Conference on Cloud Computing and Big Data Analytics (ICCCBDA 2025) - Nov. 2024 - Mar. 2025
conference technical committee, 2025 5th International Conference on Computer Communication and Information Systems (CCCIS 2025) - Sep. 2024 - Mar. 2025
学術奨励賞選定委員会委員 - Nov. 2024 - Jan. 2025
Conference General Chair, 2025 International Conference on Algorithm, Deep Learning and Computing System (ADLCS 2025) - Jul. 2024 - Jan. 2025
Technical Program Committee member, 2025 7th International Conference on Software Engineering and Computer Science (CSECS 2025) - Sep. 2024 - Dec. 2024
Program Chair, 2024 6th International Conference on Modern Educational Technology (ICMET 2024) - Sep. 2023 - Dec. 2024
publication chair, CMSDA 2023 - Jul. 2024 - Nov. 2024
TPC member, The 10th IEEE International Conference on Cloud and Big Data Computing (CBDCom 2024) - May 2024 - Nov. 2024
Program Committee, ADSN 2024 - May 2024 - Nov. 2024
Program Committee Member - May 2024 - Nov. 2024
Technical Program Committee, COMNETSAT 2024 - Jul. 2024 - Oct. 2024
Technical Committee member, 7th World Symposium on Communication Engineering (WSCE 2024) - Jul. 2024 - Oct. 2024
International Program Committee Member, Blockchain and Cryptocurrency Conference (B2C' 2024) - Jul. 2024 - Oct. 2024
Program committee member, CSS 2024 - Aug. 2024 - Sep. 2024
Technical Committee member, 2024 2nd International Conference on Artificial Intelligence Innovation (ICAII 2024) - May 2024 - Sep. 2024
Technical Committee member, ICoAILO 2024 - May 2024 - Sep. 2024
Technical Program Committee Member, ISAIE 2024 - Jan. 2024 - Sep. 2024
publicity chair, ASSE 2024 - Dec. 2023 - Sep. 2024
Technical Program Committee member, AACIP2024 - Feb. 2024 - Aug. 2024
Program Committee ｍember, ICBIM 2024 - Jan. 2024 - Aug. 2024
Technical Committee member, CCET 2024 - Oct. 2023 - Jun. 2024
Technical Committee, WSAI 2024 - Dec. 2023 - Apr. 2024
Committee member, MLIC2024 - Sep. 2023 - Apr. 2024
特集号編集委員会, 東北大学 - Nov. 2023 - Mar. 2024
Conference Co-chair, ICKD2024 - Nov. 2023 - Mar. 2024
Technical Committee, EAET 2024 - Oct. 2023 - Mar. 2024
Conference Co-chair, MISDSS2024 - Sep. 2023 - Mar. 2024
Technical Program Committee, CACML 2023 - Aug. 2023 - Dec. 2023
Technical Program Committee Member, INCENTIVE 2023 - Jul. 2023 - Dec. 2023
Technical Program Committee, SSCC 2023 - Jul. 2023 - Dec. 2023
Technical Program Committee Member, ICIEAI 2023 - May 2023 - Dec. 2023
Program Committee Member - Apr. 2023 - Dec. 2023
Technical Program Committee, CECIT 2023 - Aug. 2022 - Dec. 2023
Technical Program Committee, ICIST 2022 - Jul. 2023 - Nov. 2023
Program Committee, DASC2023 - Jul. 2023 - Nov. 2023
Technical Program Committee, COMNETSAT 2023 - Jun. 2023 - Nov. 2023
Program Committee, ADSN 2023 - Sep. 2023 - Oct. 2023
Technical Program Committee, ASSE 2023 - Jul. 2023 - Sep. 2023
Technical Program Committee, IoTCIT 2023 - May 2023 - Sep. 2023
Conference Co-chair, AIPMV 2023 - Apr. 2023 - Sep. 2023
Conference Chair, ICMIS 2023 - Jun. 2023 - Jul. 2023
International Scientific Committee, ICAUAS 2023 - Mar. 2023 - May 2023
Technical Committee, ICUASA 2023 - Dec. 2022 - May 2023
Technical Committee, ICMAS 2023 - Aug. 2022 - Apr. 2023
Publicity Co-chair, ICCCBDA 2023 - Sep. 2022 - Mar. 2023
Technical Program Committee, International Joint Conference on Information and Communication Engineering 2023 (JCICE 2023) - Jul. 2022 - Mar. 2023
Program Committee, AMS 2023 - Jul. 2022 - Dec. 2022
Technical Program Committee, CECIT 2022 - Jun. 2022 - Dec. 2022
Conference Co-Chair, ICNIT 2022 - May 2022 - Nov. 2022
Program Committee Member, B2C' 2022 - Mar. 2022 - Nov. 2022
Program Committee, B2C' 2022 - Jun. 2022 - Sep. 2022
Technical Committee member, ICICoS 2022 - May 2022 - Sep. 2022
Technical Committee, ADSN 2022 - Nov. 2021 - Sep. 2022
Technical Committee member, ATCES 2022 - Mar. 2022 - Aug. 2022
Technical Program Committee ｍember, ICBIM 2022 - Jun. 2022 - Jul. 2022
Technical Program Committee, IoTCIT 2022 - Jan. 2022 - Jul. 2022
Program Chair, ICICM 2022(International Conference on Information Communication and Management) - Mar. 2022 - Jun. 2022
Program Committee, IEEE CYBERNETICSCOM 2022 - Mar. 2022 - Jun. 2022
Technical Committee member, WSAI 2022 - Jun. 2021 - Jun. 2022
英文論文誌Ａ編集委員会 編集委員, The Institute of Electronics, Information and Communication Engineer - Jun. 2021 - Jun. 2022
和文論文誌Ａ編集委員会 編集幹事, The Institute of Electronics, Information and Communication Engineer - Apr. 2021 - Jun. 2022
Conference Committee, INDUSTRIAL MEET 2022 - Jun. 2020 - Jun. 2022
ソサイエティ論文誌編集委員会 査読委員, The Institute of Electronics, Information and Communication Engineer - Aug. 2021 - May 2022
Conference Chair, ICINT 2022 - Nov. 2021 - Apr. 2022
Technical Committee, ISAI 2022 - Sep. 2021 - Mar. 2022
Technical Program Committee ｍember, ICIM 2022 - Jun. 2021 - Mar. 2022
New Generation Computing Special Issue Editorial Board Member, New Generation Computing - Apr. 2021 - Feb. 2022
Conference Committee, International Joint Conference on Information and Communication Engineering(JCICE 2022) - May 2021 - Nov. 2021
Program Committee member, CANDAR 2021,WICS 2021 - Sep. 2020 - Oct. 2021
7th IEEE International Conference on Iｎternet （IoP21）,Technical Committee member, IEEE IoP21 - Jun. 2021 - Sep. 2021
第17回情報科学ワークショップ実行委員 - Apr. 2021 - Sep. 2021
Conference Committee, DMPS 2021 - Nov. 2020 - Sep. 2021
Technical Committee member, ATCES 2021 - Apr. 2021 - Aug. 2021
Technical Committee, IEEE CCET 2021 - Apr. 2021 - Aug. 2021
Program Committee, ADSN 2021 - Dec. 2020 - Aug. 2021
Program Chair, IEICM 2020 - Dec. 2020 - Jul. 2021
Conference Co-Chair, 2021 International Conference Manager on Wireless Communication and, Signal Processing (ICWCSP 2021) - Jun. 2020 - Jun. 2021
ソサイエティ論文誌編集委員会 分野編集幹事, The Institute of Electronics, Information and Communication Engineer - Aug. 2020 - Mar. 2021
Technical Committee Chair, ICIM 2021 - Aug. 2020 - Mar. 2021
Technical Committee Chair, EAET 2021 - Mar. 2020 - Jan. 2021
New Generation Computing Special Issue Editorial Board Member, New Generation Computing - May 2020 - Nov. 2020
Program Committee, CANDAR 2020 - May 2020 - Nov. 2020
Program Committee, WICS 2020 - Mar. 2020 - Nov. 2020
Program Committee, IEEE BigDataSE 2020 - Jun. 2020 - Sep. 2020
Technical Committee, ATCES 2020 - Aug. 2020 - Present
APISE Reviewer, Asia Pacific Institute of Science and Engineering (APISE) - Jun. 2020 - Jul. 2020
科学研究費助成事業中間評価委員 - Feb. 2020 - Jun. 2020
Progueｍ Committee, The Nineteenth International Workshop on Assurance in Distributed Systems and Networks(ADSN 2020) - Nov. 2019 - May 2020
Conference Chair, International Conference on Communication Technology and Data Mining(ICTDM 2020) - Aug. 2019 - May 2020
Conference Co-Chair, 5th International Conference on Networking and Information and Technology (ICNIT 2020) - Jun. 2016 - May 2020
英文論文誌Ａ編集委員会 編集委員, The Institute of Electronics, Information and Communication Engineer - Jun. 2016 - May 2020
和文論文誌Ａ編集委員会 編集委員, The Institute of Electronics, Information and Communication Engineer - Jul. 2019 - Mar. 2020
Technical Committee, ICIM 2020 - Sep. 2019 - Feb. 2020
Technical Committee, International Joint Conference on Information and Communication Engineering(JCICE 2020) - Apr. 2019 - Dec. 2019
Program Committee, SSCC 2019 - May 2019 - Nov. 2019
Conference Co-Chair, ICNIT 2019 - May 2019 - Nov. 2019
Program Committee, CANDAR /WICS2019 - May 2019 - Nov. 2019
Program Co-Chair, International Conference on Advanced Information Science and System (AISS 2019) - Nov. 2019 - Present
Advisory Board member, ARIV-INTERNATIONAL JOURNAL FOR BUSINESS, TECHNOLOGY & EDUCATION - Mar. 2019 - Aug. 2019
Program Committee, ADSN 2019 - Dec. 2018 - Aug. 2019
IoP 2019 Program Committee, IoP 2019 - Jul. 2019 - Present
editorial board for Joural of Electronic & Information Systems, Bilingual Publishing CO - Jul. 2018 - Jun. 2019
特別研究員審査会専門員および国際事業委員会書面審査員・書面評価員 - Jan. 2019 - May 2019
Technical Program Committee, IEEE CyberSciTech 2019 - Jan. 2019 - May 2019
Program Chair, ICINT 2019 - Oct. 2018 - Mar. 2019
ICIM 2019 Technical Committee, ICIM 2019 - Aug. 2018 - Mar. 2019
Technical Committee, International Joint Conference on Informaition and Communication Engineering(JCICE 2019) - Jun. 2018 - Nov. 2018
Conference Co-Chair, ICNIT 2018 - May 2018 - Nov. 2018
The 6th International Symposium on Computing and Networking Program Committee, CANDAR18 - May 2018 - Nov. 2018
5th International Workshop on Information and Communication Security(WICS) Program Committee, WICS - Mar. 2018 - Oct. 2018
The 17th International Workshop on Assurance in Distributed Systems and Networks (ADSN 2018) Program Committee, IEEE - Mar. 2018 - Oct. 2018
IEEE IoP 2018 Program Committee, IEEE - Feb. 2018 - Sep. 2018
SSCC-2018,technical program committee, Sixth International symposium on Security in Computing and communications(SSCC'18) - Feb. 2018 - Aug. 2018
CyberSciTech 2018 technical program committee, IEEE CyberSciTech 2018 - Jan. 2018 - Aug. 2018
8th International Conference on Information Communication and Management(ICICM 2018) Technical Committee, International Academy of Computer Technology(IACT) - Dec. 2017 - May 2018
2018 3rd International Conference on Information and Network Technologies (ICINT 2018) Conference Chair, Journal of Advances in Computer Networks - Feb. 2018 - Apr. 2018
International Symposium on Robotics and Automation Engineering (ISRAE 2018) Program Committee, IASED (International Academy of Science and Engineering for Development) - Nov. 2017 - Apr. 2018
International Joint Conference on Information and Communication Engineering(JCICE 2018) Program Committee, International Joint Conference on Information and Communication Engineering - Nov. 2017 - Dec. 2017
6th International Conference on Computer Technology and Science (ICCTS 2017) Technical Committee, International Academy Publishing - Jul. 2017 - Nov. 2017
8th International Conference on Networking and Information Technology(ICNIT 2017) Conference Chair, International Academy of Computer Technology(IACT) - Mar. 2016 - Nov. 2017
International Symposium on Computing and Networking (CANDAR 2016)(CANDAR 2017) Program Committee, CANDAR(Computing and Networking — Across Practical Development and Theoretical Research) - Mar. 2016 - Nov. 2017
International Workshop on Information and Communication Security (WICS 2016)(WICS 2017) Program Committee, CANDAR(Computing and Networking — Across Practical Development and Theoretical Research) - Jan. 2017 - Oct. 2017
9th International Conference on on Information Management and Engineering(ICIME 2017) Program Chair, International Academy of Computer Technology(IACT) - Jan. 2017 - Oct. 2017
2nd International Conference on Medical Information and Bioengineering (ICMIB 2017) Program Chair, International Academy of Computer Technology(IACT) - Oct. 2011 - Oct. 2017
IEEE International Workshop on Assurance in Distributed Systems and Networks(ADSN2012)(ADSN2013) (ADSN2014)(ADSN2015)(ADSN 2016) (ADSN 2017) Program Committee, IEEE - Sep. 2016 - Aug. 2017
International Conference on Information Communication and Management(ICICM 2016)(ICICM 2017) Program Committee, ICICM(International Conference on Information Communication and Management) - Jan. 2016 - Aug. 2017
IEEE Cyber Science and Technology Congress(CyberSciTech 2016)(CyberSciTech 2017) Program Committee, IEEE - Dec. 2016 - May 2017
2nd International Conference on Information and Network Technologies(ICINT 2017) Conference Chair, International Academy of Computer Technology(IACT) - Dec. 2016 - May 2017
International Conference on Computational Biology (ICOCB 2017) Conference Chair, International Academy of Computer Technology(IACT) - Feb. 2017 - Present
Mathematical Reviews, reviewer, AMS(American Mathematical Society) - Jan. 2015 - Dec. 2016
科学研究費委員会審査第二部会情報学小委員会委員 - Jul. 2016 - Nov. 2016
3rd International Conference on Systems and Informatics (ICSAI 2016) Program Committee, ICSAI(International Conference on Systems and Informatics) - Mar. 2016 - Nov. 2016
8th International Conference on Information Management and Engineering (ICIME 2016) Program Committee Co-Chair, International Academy of Computer Technology(IACT) - Mar. 2016 - Nov. 2016
International Conference on Medical Information and Bioengineering (ICMIB 2016) Program Committee Co-Chair, International Academy of Computer Technology(IACT) - Jul. 2016 - Sep. 2016
第12回情報科学ワークショップ世話役 - Sep. 2016 - Present
Scientific Adviser, Review of the Air Force Academy (Romania) - Mar. 2016 - Mar. 2016
２０１６年総合大会ポスターセッション審査員, The Institute of Electronics, Information and Communication Engineer - Mar. 2016 - Present
Journal of Advances in Computer Networks (JACN) Editorial Board Member, Journal of Advances in Computer Networks (JACN) - Aug. 2015 - Sep. 2015
京都賞推薦委員 - Aug. 2014 - Sep. 2015
29th International Symposium on Distributed Computing(DISC 2015) Organizing Committee, IEEE - Apr. 2015 - Aug. 2015
5th IEEE International Conference on IT Convergence and Security(ICITCS 2015) Program Committee, IEEE - Apr. 2015 - Aug. 2015
4th International Conference on Network and Computing Technology(ICNCT 2015) Program Committee, International Academy of Computer Technology(IACT) - Jun. 2014 - May 2015
電子情報通信学会 ｿｻｲｴﾃｨ論文誌編集査読委員 投稿論文査読 - Feb. 2014 - May 2015
特集号編集委員, Information Processing Society of Japan - Mar. 2015 - Mar. 2015
２０１５年総合大会ポスターセッション審査員, The Institute of Electronics, Information and Communication Engineer - Jun. 2014 - Dec. 2014
The 11th IEEE International Conference on Autonomic and Trusted Computing(ATC-2014) Program Committee, IEEE - Sep. 2013 - Jul. 2014
Thirteenth IEEE International Workshop on Assurance in Distributed Systems and Networks（ASDN 2014） Program commitee - Oct. 2011 - Jun. 2014
IEEE International Workshop on Assurance in Distributed Systems(ASDN2012)(ASDN2013) Program Committee - Oct. 2011 - Jun. 2014
IEEE International Workshop on Assurance in Distributed Systems(ASDN2012)(ASDN2013)(ASDN2014) Program Committee - Oct. 2003 - Oct. 2013
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) - Oct. 2003 - Oct. 2013
IADIS International Conference on Applied Computing(AC2004)(AC2005)(AC2006)(AC2008)(AC2009)(AC2010)(AC2011)(AC2012)(AC2013) Program Committee - Jul. 2009 - Sep. 2013
京都賞推薦委員 - Jul. 2009 - Sep. 2013
公益財団法人 稲盛財団 京都賞推薦委員 - Dec. 2012 - Aug. 2013
International Symposium on Security in Computing and Communications (SSCC’13) Program Committee, SSCC(International Symposium on Security in Computing and Communications) - Dec. 2012 - Aug. 2013
International Symposium on Security in Computing and Communications (SSCC'13)Program Committee - Dec. 2012 - Aug. 2013
International Symposium on Security in Computing and Communications (SSCC'13)Program Committee - Mar. 2007 - Jul. 2013
IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing(SNPD2007)(SNPD2008)(SNPD2009)(SNPD2012)(SNPD2013) Program Committee, IEEE - Mar. 2007 - Jul. 2013
IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing(SNPD2007)(SNPD2008)(SNPD2009)(SNPD2012)(SNPD2013) Program Committee - Mar. 2007 - Jun. 2013
IEEE/ACIS International Conference on Computer and Information Science(ICIS2008)(ICIS2009)(ICIS2010)(ICIS2011)(ICIS2012)(ICIS2013) Program Committee, IEEE - Mar. 2007 - Jun. 2013
IEEE/ACIS International Conference on Computer and Information Science(ICIS2008)(ICIS2009)(ICIS2010)(ICIS2011)(ICIS2012)(ICIS2013) Program Committee - Mar. 2012 - May 2013
特集号編集委員, Information Processing Society of Japan - Mar. 2012 - May 2012
IEEE International Conference on Systems and Informatics (ICSAI 2012) Program Committee, IEEE - Mar. 2012 - May 2012
International Conference on Systems and Informatics (ICSAI 2012) Program Committee - Mar. 2012 - May 2012
International Conference on Systems and Informatics (ICSAI 2012) Program Committee - May 2009 - May 2012
IEEE International Conference on Information Science and Applications (ICISA2010)(ICISA2011)(ICISA2012) Program Committee - May 2009 - May 2012
IEEE International Conference on Information Science and Applications (ICISA2010)(ICISA2011)(ICISA2012) Program Committee, IEEE - Sep. 2009 - Apr. 2012
ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009)(SERA2010)(SERA2011)(SERA2012) Program Committee - Sep. 2009 - Apr. 2012
ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009)(SERA2010)(SERA2011)(SERA2012) Program Committee - Apr. 2009 - Apr. 2012
ACIS International Conference on Software Engineering Research, Management and Applications (SERA2009)(SERA2010)(SERA2011)(SERA2012) Program Committee, ACIS(International Association for Computer and Information Science) - Apr. 2008 - Apr. 2012
理事, The Japan Society for Industrial and Applied Mathematics - Sep. 2011 - Dec. 2011
ACIS International Symposium on Software and Network Engineering(SSNE2011) Program Committee - Sep. 2011 - Dec. 2011
ACIS International Symposium on Software and Network Engineering(SSNE2011) Program Committee, ACIS(International Association for Computer and Information Science) - Jun. 2011 - Dec. 2011
International Conference on IT Convergence and Security(ICITCS2011) Program Committee - Jun. 2011 - Dec. 2011
International Conference on IT Convergence and Security(ICITCS2011) Program Committee, ICITCS(International Conference on IT Convergence and Security) - Apr. 2007 - Sep. 2011
「アンビエント情報社会基盤創成拠点」アドバイザリ委員 - Apr. 2007 - Sep. 2011
大阪大学大学院情報科学研究科「アンビエント情報社会基盤創成拠点」アドバイザリ委員 - Apr. 2010 - Apr. 2011
副会長, The Japan Society for Industrial and Applied Mathematics - Apr. 2009 - Feb. 2011
IFIP International Conference on New Technologies, Mobility and Security(NTMS2009)(NTMS2010)(NTMS2011) Program Committee - Apr. 2009 - Feb. 2011
IFIP International Conference on New Technologies, Mobility and Security(NTMS2009)(NTMS2010)(NTMS2011) Program Committee, IFIP(International Federation for Information Processing) - May 2008 - Sep. 2010
年会実行委員, The Japan Society for Industrial and Applied Mathematics - Jan. 2009 - Jul. 2009
International Conference on Security and Privacy(SECRIPT 2009) Program Committee - Jan. 2009 - Jul. 2009
International Conference on Security and Privacy(SECRIPT 2009) Program Committee, SECRIPT - Oct. 2008 - Apr. 2009
Spring School and French-Japanese collaboration workshop on Computational and Symbolic Proofs of Security(CosyProofs 2009) Organizing Committee - Oct. 2008 - Apr. 2009
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) - Mar. 2007 - Dec. 2007
Asia Pacific International Symposium on Information Technology(APIS2007) Advisory Committee - Mar. 2007 - Dec. 2007
Asia Pacific International Symposium on Information Technology(APIS2007) Advisory Committee, APIS(Asia Pacific International Symposium） - Nov. 2004 - Dec. 2006
Data Center Linux-Japan technical leader, OSDL Japan - Dec. 2004 - Nov. 2006
OSDL Japan Data Center Linux-Japan テクニカルリーダ - Dec. 2004 - Nov. 2006
OSDL Japan Data Center Linux-Japan technical Leader - Oct. 2004 - 2005
和文論文誌Ｄ－１「ユビキタス社会構築のためのネットワークに対する理論とその応用」小特集号編集委員, The Institute of Electronics, Information and Communication Engineer - Nov. 2003 - Mar. 2004
24th International Conference on Distributing Computing Systems(ICDCS) Program Committee, IEEE - Nov. 2003 - Mar. 2004
International Conference on Distributing Computing Systems(ICDCS) Program Committee - Nov. 2003 - Mar. 2004
International Conference on Distributing Computing Systems(ICDCS) Program Committee - Dec. 2002 - Dec. 2003
Kansai Section Membership Development Committee - Dec. 2002 - Dec. 2003
Kansai Section Membership Development Committee, IEEE - Apr. 2002 - May 2003
英文論文誌「離散数学とその応用」特集号編集委員, The Institute of Electronics, Information and Communication Engineer - May 2001 - May 2003
関西支部幹事, Information Processing Society of Japan - May 1997 - May 2003
論文誌査読委員, Information Processing Society of Japan - May 1997 - Apr. 2003
コンピュテーション研究会研究専門委員, The Institute of Electronics, Information and Communication Engineer - Apr. 2002 - Dec. 2002
Asia Pacific International Symposium on Internet and Multimedia(APIS2) Advisory Committee - Apr. 2002 - Dec. 2002
Asia Pacific International Symposium on Internet and Multimedia(APIS2) Advisory Committee, APIS(Asia Pacific International Symposium） - May 1996 - May 2000
論文誌編集委員, Information Processing Society of Japan - Apr. 1999 - Mar. 2000
ＮＴＴ長谷自治会長 - Apr. 1999 - Mar. 2000
神奈川県厚木市 長谷連合自治会ＮＴＴ長谷自治会長 - Apr. 1997 - Mar. 2000
学会誌編集委員, The Japan Society for Industrial and Applied Mathematics - Feb. 1999 - Aug. 1999
ニュース委員会委員, The Institute of Electronics, Information and Communication Engineer - May 1994 - May 1997
アルゴリズム研究会連絡委員, Information Processing Society of Japan - Apr. 1992 - Sep. 1996
回路とシステム軽井沢ワークショップ実行委員, The Institute of Electronics, Information and Communication Engineer - May 1993 - May 1995
学会誌編集委員, Information Processing Society of Japan - Jan. 1994 - Dec. 1994
International Conference on Parallel and Distributed Systems(ICPADS) Program Committee - Jan. 1994 - Dec. 1994
International Conference on Parallel and Distributed Systems(ICPADS) Program Committee, IEEE - Oct. 1989 - Present
ソサイエティ論文誌編集委員会査読委員, The Institute of Electronics, Information and Communication Engineer - Oct. 1989 - Present
論文誌査読委員
