研究成果/Research Papers


Papers / 論文

  1. Yoshifumi Manabe: ``Card-based Cryptographic Protocols to Calculate Primitives of Boolean Functions: Survey,'' International Journal of Computer & Software Engineering Vol. 7(1) (June. 2022)[PDF]

  2. Yoshifumi Manabe and Hibiki Ono: ``Card-Based Cryptographic Protocols with Malicious Players Using Private Operations,'' New Generation Computing Vol. 40(1), pp.67-93 (Apr. 2022)[PDF]

  3. Hibiki Ono and Yoshifumi Manabe: ``Minimum Round Card-Based Cryptographic Protocols Using Private Operations,'' Cryptography, Vol. 5(3) (2021) [PDF]

  4. Hibiki Ono and Yoshifumi Manabe: ``Card-Based Cryptographic Logical Computations Using Private Operations,'' New Generation Computing, Vol. 39(1), pp.19-40 (Apr. 2021) [PDF]

  5. Takuya Ibaraki and Yoshifumi Manabe: ``Privacy-Preserving Group Matching Protocol,'' Journal of Computers, Vol.13, No.9, pp.1031-1041 (Sep. 2018)[PDF]

  6. Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, and Yoshifumi Manabe: ``On compositional reasoning about anonymity and privacy in epistemic logic,'' Annals of Mathematics and Artificial Intelligence, Vol.78, pp.101-129 (July 2016)[PDF]

  7. Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto: ``A Secure M + 1st Price Auction Protocol based on Bit Slice Circuits,'' IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, Vol. E99-A, No.8, pp.1591-1599 (Aug. 2016).[PDF]

  8. Masaru Yoshimachi and Yoshifumi Manabe: ``Battery Power Management Routing Considering Participation Duration for Mobile Ad Hoc Networks,'' Journal of Advances in Computer Networks, Vol. 4, No. 1, pp.13-18 (March 2016).[PDF]

  9. Yoshifumi Manabe, Risako Otsuka, and  Tastuaki Okamoto: ``A Cryptographic Moving-Knife Cake-Cutting Protocol with High Social Surplus,'' Journal of Information Processing Vol. 23,  No. 3, pp.299-304 (May 2015).[PDF]

  10. Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto: ``Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption,'' IEICE Transactions on Fundamentals of electronics, communications and computer sciences, Vol.E96-A, No.1, pp.68-75 (Jan. 2013) [PDF]

  11. Yoshifumi Manabe and Tatsuaki Okamoto: ``Meta-envy-free Cake-cutting and Pie-cutting Protocols,'' Journal of Information Processing, Vol.20, No.3, pp.686-693 (July 2012). [PDF]

  12. 岡本龍明,真鍋義文:``汎用的結合可能性による暗号システムの安全性証明'', 電子情報通信学会論文誌 Vol.J92-D,No.5, pp.587-595(May 2009) [PDF]

  13. Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto: ``On the equivalence of several security notions of KEM and DEM,'' IEICE Transactions on Fundamentals of electronics, communications and computer sciences, Vol.E91-A, No.1, pp.283-297 (Jan. 2008).[PDF]

  14. Ryo Nishimaki, Yoshifumi Manabe, and Tatsuaki Okamoto: ``Universally Composable Identity-based Encryption,'' IEICE Transactions on Fundamentals of electronics, communications and computer sciences, Vol.E91-A, No.1, pp.262-271 (Jan. 2008). [PDF]

  15. Yusuke Okada, Yoshifumi Manabe, and Tatsuaki Okamoto: ``An optimistic fair exchange protocol and its security in the universal composability framework,'' International Journal of Applied Cryptography (IJACT), Vol.1, No.1, pp.70-77(2008).[PDF]

  16. Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto: ``A Universally Composable Secure Channel Based on the KEM-DEM Framework'', IEICE Transactions on Fundamentals of electronics, communications and computer sciences, Vol.E89-A, No.1, pp.28-38 (Jan. 2006).[PDF]

  17. Yoshifumi Manabe and Naka Tajima: ``(h,k)-Arbiters of h-out-of-k Mutual Exclusion Problem, '' Theoretical Computer Science,Vol.310, No.1-3, pp.379-392 (Jan. 2004).

  18. Shao-Chin Sung and Yoshifumi Manabe: ``Coterie for Generalized Mutual Exclusion Problem,'' IEICE Transactions on Information and Systems, Vol. E82-D,No. 5, pp.968-972 (May 1999).[PDF]

  19. Yoshifumi Manabe and Shigemi Aoyagi: ``A Feasibility Decision Algorithm for Rate Monotonic and Deadline Monotonic Scheduling,'' Real-Time Systems, Vol.14, No.2, pp.171-181 (Mar. 1998).

  20. Yoshifumi Manabe, Roberto Baldoni, Michel Raynal, and Shigemi Aoyagi: ``k-Arbiter: A safe and general scheme for h-out of-k mutual exclusion,'' Theoretical Computer Science, Vol.193, No. 1-2, pp. 97-112 (Feb. 1998).

  21. Terunao Soneoka, Makoto Imase, and Yoshifumi Manabe: ``Design of a d-connected digraph with a minimum number of edges and quasiminimal diameter II'',Discrete Applied Mathematics, Vol.64, No. 3, pp.267-279 (Feb 1996).

  22. Yoshifumi Manabe and Makoto Imase:``Global Conditions in Debugging Distributed Programs,'' Journal of Parallel and Distributed Computing, Vol.15, No.1, pp.62-69(May 1992).

  23. 森保健治,曽根岡昭直,真鍋義文:``分散システムにおける全域状態監視アルゴリズム'', 電子情報通信学会論文誌Vol. J74-D1, No.4 pp.273-282(Apr. 1991).[PDF]

  24. Yoshifumi Manabe, Makoto Imase, and Terunao Soneoka: ``Reliable and Efficient Fixed Routings on Digraphs,'' Transactions of IEICE, Vol. E-71, No. 12, pp. 1212-1220 (Dec. 1988).[PDF]

  25. Makoto Imase and Yoshifumi Manabe:``Fault Tolerant Routings in a k-connected Networks'', Information Processing Letters Vol. 28, No.4, pp.171-175 (July 1988).

  26. 曽根岡昭直,真鍋義文,今瀬真,井上正之:``高信頼度二重化ネットワークの最適構成'',電子情報通信学会論文誌Vol. J70-A, No. 2, pp.252-260(Feb. 1987).[PDF]

  27. 真鍋義文,萩原兼一,都倉信樹: ``樹枝状単調減少論理回路を実現するCMOS回路に対する最小分離度配置問題'',電子情報通信学会論文誌Vol. J68-D, No. 9, pp.1571-1579 (Sep. 1985).[PDF]

  28. 真鍋義文,萩原兼一,都倉信樹: ``超立方体環グラフと超立方体グラフの最小2分割幅'',　電子情報通信学会論文誌Vol. J67-D, No. 6, pp.647-654(June 1984).[PDF]

  29. 真鍋義文,萩原兼一,都倉信樹: ``一層一行配線問題の片側トラック数の最小性'',　電子情報通信学会論文誌Vol. J67-A, No.5, pp.503-510(May 1984).[PDF]


Conference Publications / 国際会議論文


  1. Yoshifumi Manabe and Kazumasa Shinagawa: ``Free-XOR in Card-Based Garbled Circuits,'' Proc. of 22nd International Conference on Cryptology and Network Security (CANS 2023), LNCS vol. 14342, pp.232-248 (Oct. 2023).[auther-versionPDF]

  2. Tomoya Morooka, Yoshifumi Manabe, and Kazumasa Shinagawa: ``Malicious Player Card-Based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations,'' Proc. of 18th International Conference on Information Security Practice and Experience (ISPEC 2023), LNCS vol. 14341, pp.332-346 (Aug. 2023).[auther-versionPDF]

  3. Takuro Fukasawa and Yoshifumi Manabe: ``Card-based zero-knowledge proof for the nearest neighbor property: Zero-knowledge proof of ABC end view,'' Proc. of 12th International Conference on Security, Privacy and Applied Cryptographic Engineering (SPACE 2022), LNCS vol. 13783 pp.147-161 (Dec. 2022).[auther-versionPDF]

  4. Musashi Takanezawa and Yoshifumi Manabe: ``Many-to-many perfect matching,'' Proc. of 2022 4th International Conference on Advanced Information Science and System (AISS 2022), (Nov. 2022).[auther-versionPDF]

  5. Yuto Ito and Yoshifumi Manabe: `` Realization of per-resource server push using RFC 8030 and Push API,'' Proc. of International Conference on Computing, Networking, Telecommunications & Engineering Sciences Applications 2021 (CoNTESA '21), pp.19-24 (Dec. 2021).[auther-versionPDF] Best Paper Award

  6. Yoshifumi Manabe and Hibiki Ono: `` Card-based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations,'' Proc. of 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021) LNCS Vol. 12819, pp.256-274 (Sep. 2021).[auther-versionPDF]

  7. Yoshifumi Manabe and Hibiki Ono: `` Card-based Cryptographic Protocols for Three-input Functions Using Private Operations,'' Proc. of 32nd International Workshop on Combinatorial Algorithms (IWOCA 2021) LNCS Vol.12757, pp.469-484 (July 2021).[auther-versionPDF]

  8. Yoshifumi Manabe and Hibiki Ono: `` Secure Card-based Cryptographic Protocols Using Private Operations Against Malicious Players,'' Proc. of 13th International Conference on Information Technology and Communications Security (SecITC 2020) LNCS Vol. 12596, pp.55-70 (Nov. 2020).[auther-versionPDF]

  9. Yuki Okano and Yoshifumi Manabe: ``A Three-Player Envy-Free Discrete Division Protocol for Mixed Manna,'' Proc. 9th International Conference on the Theory and Practice of Natural Computing(TPNC 2020), LNCS Vol. 12494, pp.42-53 (Dec. 2020).[author-versionPDF]

  10. Hibiki Ono and Yoshifumi Manabe: `` Card-based Cryptographic Protocols with the Minimum Number of Rounds Using Private Operations,'' Proc. of 14th International Workshop on Data Privacy Management (DPM 2019) LNCS Vol. 11737, pp.156-173 (Sep. 2019).[auther-versionPDF]

  11. Hibiki Ono and Yoshifumi Manabe: `` Card-based Cryptographic Protocols with the Minimum Number of Cards Using Private Operations,'' Proc. of 11th International Symposium on Foundations & Practice of Security (FPS 2018) LNCS Vol. 11358, pp.193-207 (Apr. 2019).[auther-versionPDF]

  12. Yuki Okano and Yoshifumi Manabe: ``A Three-Player Envy-Free Division Protocol for Mixed Manna,'' Proc. of International Conference on Information Technology and Computer Science(ICITCS 2018), p.16 (Aug. 2018).[PDF]

  13. Hibiki Ono and Yoshifumi Manabe: ``Efficient Card-based Cryptographic Protocols for the Millionaires' Problem Using Private Input Operations,'' Proc. of 13th Asia Joint Conference on Information Security (AsiaJCIS 2018), pp.23-28 (Aug. 2018).[PDF]

  14. Kenya Yasui and Yoshifumi Manabe: ``Secure message transmission against rational multiple adversaries,'' Proc. of 6th International Conference on Computer Technology and Science(ICCTS 2017), pp.79-84 (Dec. 2017).[PDF]

  15. Takuya Ibaraki and Yoshifumi Manabe: ``Privacy-Preserving Group Matching Protocol,'' Proc. of 6th International Conference on Computer Technology and Science(ICCTS 2017), pp.68-71 (Dec. 2017).

  16. Masaru Yoshimachi and Yoshifumi Manabe: ``A New AODV Route Discovery Protocol to Achieve Fair Routing for Mobile Ad Hoc Networks,'' Proc. of 6th IEEE International Conference on Information Communication and Management (ICICM 2016), pp.222-226 (Oct. 2016).[PDF]

  17. Kohei Shimizu and Yoshifumi Manabe: ``An Online Allocation Algorithm of Indivisible Goods,'' Proc. of 6th IEEE International Conference on Information Communication and Management (ICICM 2016), pp.57-61 (Oct. 2016).[PDF]

  18. Koki Kubo and Yoshifumi Manabe: ``A Non-blocking Online Cake-cutting Protocol,'' Proc. of 3rd International Conference on Mathematics and Computers in Sciences and Industry(MCSI 2016), pp.258-263 (Aug. 2016).[PDF]

  19. Takuya Ibaraki and Yoshifumi Manabe: ``A More Efficient Card-Based Protocol for Generating a Random Permutation Without Fixed Points,'' Proc. of 3rd International Conference on Mathematics and Computers in Sciences and Industry(MCSI 2016), pp.252-257 (Aug. 2016).[PDF]

  20. Tsuyoshi Komatsubara and Yoshifumi Manabe: ``Game-theoretic Security of Commitment Protocols under a Realistic Cost Model,'' 30th IEEE International Conference on Advanced Information Networking and Applications(AINA 2016), pp.777-783 (March 2016).[PDF]

  21. Yuta Urushiyama and Yoshifumi Manabe: ``A Double-Private epsilon-fuzzy Matching Protocol,'' 5th International Conference on Workshop on IT Convergence and Security(ICITCS2015), pp.348-351 (August 2015).[PDF]

  22. Yuji Mochizuki and Yoshifumi Manabe: ``A Privacy-Preserving Collaborative Filtering Protocol Considering Updates,'' 10th Asia-Pacific Symposium on Information and Telecommunication Technologies(APSITT2015), RS-5-3, pp.1-3 (August 2015).[PDF]

  23. Kohei Shimizu and Yoshifumi Manabe: ``An Allocation Algorithm of Indivisible Goods,'' 10th Asia-Pacific Symposium on Information and Telecommunication Technologies(APSITT2015), RS-3-3, pp.1-3 (August 2015).[PDF]

  24. Ryo Iguchi and Yoshifumi Manabe: ``An Efficient Edge-Based Authentication for Network Coding Against Entropy Attacks,'' 13th International Workshop on Assurance in Distributed Systems and Networks(ADSN2014), pp.133-139 (June 2014).[PDF]

  25. Susumu Kiyoshima, Yoshifumi Manabe, and Tatsuaki Okamoto: ``Constant-Round Black-Box Construsction of Composable Multi-Party Computation Protocol,'' 11th Theory of Cryptography Conference(TCC 2014), LNCS Vol. 8349, pp.343-367(Feb. 2014). Full version IACR Cryptology ePrint Archive2013/811 [PDF]

  26. Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, and Yoshifumi Manabe: ``An epistemic approach to compositional reasoning about anonymity and privacy,'' Fourteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013)(Jan. 2013).[PDF]

  27. Susumu Kiyoshima, Yoshifumi Manabe, and Tatsuaki Okamoto: ``Efficient Concurrent Oblivious Transfer in Super-Polynomial-Simulation Security,'' IWSEC2012, LNCS Vol. 7631, pp.216-232(Nov. 2012).[PDF]

  28. Yoshifumi Manabe and Tatsuaki Okamoto: `` A Cryptographic Moving-knife Cake-Cutting Protocol,'' International Workshop on Interactions, Games and Protocols (iWIGP2012), EPTCS Vol.78, pp.15-23 (Mar. 2012).[PDF]

  29. Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto: ``A Secure M + 1st Price Auction Protocol based on Bit Slice Circuits,'' IWSEC2011, LNCS Vol. 7038, pp.51-64(Nov. 2011).[PDF]

  30. Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto: ``Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption,'' IWSEC2010, LNCS Vol. 6434, pp.149-163 (Nov. 2010). (See revised IEICE paper)

  31. Yoshifumi Manabe and Tatsuaki Okamoto: ``Meta-envy-free Cake Cutting Protocols,'' MFCS 2010, LNCS Vol. 6281, pp.501-512 (Aug. 2010).[PDF] (see revised IPSJ paper)

  32. Takuho Mitsunaga, Yoshifumi Manabe, and Tatsuaki Okamoto: ``Insatabity of a punishment strategy in correlated equilibria,'' Workshop on Algorithmic Game Theory: Dynamics and Convergence in Distributed Systems (AlgoGT2010) (July 2010).[PDF]

  33. Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto: ``Relationship of Three Cryptographic Channels in the UC Framework,'' ProvSec2008, LNCS Vol. 5324, pp.268-282 (Oct. 2008).[PDF]

  34. Yoshifumi Manabe, and Tatsuaki Okamoto: ``Anonymous return route information for onion based mix-nets,'' Workshop on Applications of Private and Anonymous Communications (Sep. 2008).[PDF]

  35. Norio Akagi, Yoshifumi Manabe, and Tatsuaki Okamoto: ``An Efficient Anonymous Credential System,'' Financial Cryptography and Data Security 2008, LNCS Vol. 5143, pp. 272-286 (Feb. 2008).[PDF]

  36. Ryo Nishimaki, Yoshifumi Manabe, and Tatsuaki Okamoto: ``Universally Composable Identity-based Encryption,'' Proc. of Vietcrypt2006, LNCS 4341, pp.337-353 (Oct. 2006). (see revised IEICE paper)

  37. Joong-Man Kim and Yoshifumi Manabe: ``A Byzantine Fault-Tolerant Mutual Exclusion Algorithm and its Application to Byzantine Fault-Tolerant Storage Systems,'' 4th IEEE International Workshop on Assurance in Distributed Systems and Networks (ADSN) (June 2005).[PDF]

  38. Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto: ``A Universally Composable Secure Channel Based on the KEM-DEM Framework,'' TCC 2005, LNCS 3378, pp.426-444 (Feb. 2005) (see revised IEICE paper)

  39. Waka Nagao, Yoshifumi Manabe, and Tatsuaki Okamoto: ``On the Security of Hybrid Public-Key Encryption,'' Int. Conf. on Cybernetics and Information Technologies, Systems and Applications (CITSA 2004), Vol.1, pp.28-33(July 2004). (see revised IEICE paper)

  40. Yoshifumi Manabe and JaeHurk Park: ``A Quorum-Based Extended Group Mutual Exclusion Algorithm without Unnecessary Blocking, '' 10th IEEE Int. Conf. on Parallel and Distributed Systems, pp.341-348(July 2004).[PDF]

  41. Yoshifumi Manabe: ``A Distributed Consistent Global Checkpoint Algorithm for Distributed Mobile Systems,'' 8th Int. Conf. on Parallel and Distributed Systems, pp.125-132 (June 2001).[PDF]

  42. Yoshifumi Manabe: ``A Consistent Global Checkpoint Algorithm for Distributed Systems with a Forbidden Process,'' 13th Int. Conf. on Information Networking, (Jan. 1999).[PDF]

  43. Yoshifumi Manabe and Naka Tajima: ``(h,k)-arbiters for h-out of-k mutual exclusion problem,'' 19th Int. Conf. on Distributed Computing Systems pp.216-223 (June 1999).[PDF]

  44. Yoshifumi Manabe: ``A Distributed Consistent Global Checkpoint Algorithm with a Minimum Number of Checkpoints,'' 12th Int. Conf. on Information Networking, pp.549-554 (Jan. 1998).[PDF]

  45. Yoshifumi Manabe: ``A Distributed First and Last Consistent Global Checkpoint Algorithm,'' Proc. of 12th Int. Conf. on Information Networking, pp.475-480 (Jan. 1998).[PDF]

  46. Shao-Chin Sung and Yoshifumi Manabe: ``On Coterie for Generalized Distributed Resource Allocation Algorithm,'' Proc. of IPSJ International Symposium on Information Systems and Technologies for Network Society, pp.356-359 (Sep. 1997).[PDF]

  47. Roberto Baldoni, Yoshifumi Manabe, Michel Raynal, and Shigemi Aoyagi: ``Quorum-based Solutions to the h-out of-k Mutual Exclusion Problem in Distributed Systems,'' Proc. of 4th Workshop on Parallel Systems and Algorithms, pp.99-108 (Apr. 1996).

  48. Yoshifumi Manabe and Shigemi Aoyagi: ``A Feasibility Decision Algorithm for Rate-Monotonic Scheduling of Periodic Real-Time Tasks'', IEEE 1st Real-Time Technology and Applications Symp., pp.212-218 (May1995).[PDF]

  49. Yoshifumi Manabe and Shigemi Aoyagi: ``A Truant Failure Detection Algorithm for Multi-Policy Distributed Systems,'' 2nd Int.Symp.on Autonomous Decentralized Systems, pp.297-303(Apr. 1995).[PDF]

  50. Yoshifumi Manabe and Shigemi Aoyagi: ``Debugging Dynamic Distributed Programs Using Global Predicates,'' 4th IEEE Symp. on Parallel and Distributed Processing, pp.402-407(Dec. 1992).[PDF]

  51. Terunao Soneoka, Yoshifumi Manabe, and Makoto Imase:``A Design of Reliable Networks Using Node Redundancy'', 19th Southeastern Conference on Combinatorics, Graph Theory, and Computing(Feb. 1988), also in Congressus Numerantium Vol. 67, pp.145-157 (Dec. 1988).

Conference Invited Talks / 国際会議招待講演


  1. Yoshifumi Manabe: ``Cryptographic Protocols using Physical Cards,'' 2023 4th International Conference on Electronics, Communications and Information Technology(CECIT 2023) (Dec. 2023). .

  2. Yoshifumi Manabe: ``Secure Computation using Physical Cards,'' 13th International Conference on Networking and Information Technology(ICNIT 2022) (Dec. 2022). .

  3. Yoshifumi Manabe: ``Cryptographic protocols using physical cards,'' 11th International Conference on Information Communication and Management (ICICM 2021) (Aug. 2021). .

  4. Yoshifumi Manabe:``Secure Computation using Physical Cards,'' 2021 International Conference on Communication Technology and Data Mining (ICTDM 2021) (July 2021).

  5. Yoshifumi Manabe:`Card-based Cryptographic Protocols, '' 5th International Conference on Information and Network Technology(ICINT 2020) (May 2020)

  6. Yoshifumi Manabe:`Cryptographic protocols using physical cards, '' 10th International Conference on Networking and Information Technology(ICNIT 2019) (Nov. 2019).

  7. Yoshifumi Manabe:`Fair Allocation of Divisible Goods, '' 2019 International Conference on Advanced Information Science and System (AISS 2019) (Nov. 2019).

  8. Yoshifumi Manabe:`Cryptographic protocols using physical cards, '' 4th International Conference on Information and Network Technologies (ICINT 2019) (May 2019).

  9. Yoshifumi Manabe:`Card-based Cryptographic Protocols, '' 9th International Conference on Networking and Information Technology (ICNIT 2018) (Nov. 2018).

  10. Yoshifumi Manabe:``Envy-Free Allocation of Divisible Goods, '' 3rd International Conference on Information and Network Technologies (ICINT 2018) (May 2018).

  11. Yoshifumi Manabe:``Fair Allocation of Divisible Goods, '' International Joint Conference on Information and Communication Engineering (JCICE 2018) (Apr. 2018).

  12. Yoshifumi Manabe:``Fair Division Algorithms, '' 6th International Conference on Computer Technology and Science (ICCTS 2017) (Dec. 2017).

  13. Yoshifumi Manabe:``Fair Allocation of Divisible Goods, '' 8th International Conference on Networking and Information Technology (ICNIT 2017) (Nov. 2017).

  14. Yoshifumi Manabe:``Fair Allocation Problems, '' 9th International Conference on Information Management and Engineering (ICIME 2017) (Oct. 2017).

  15. Yoshifumi Manabe:``Fair Allocation Problems, '' 2nd International Conference on Information and Network Technologies (ICINT 2017) (May 2017).

  16. Yoshifumi Manabe:`` Cake-cutting protocols: How fair allocation can be achieved?'' 8th International Conference on Information Management and Engineering(ICIME 2016) (Nov. 2016).


Conference Talks without Proceedings / 論文なし国際会議発表


  1. Hermanto, Yoshifumi Manabe, and Tatsuaki Okamoto: ``A simplified private stable matching algorithm,''16th Financial Cryptography and Data Security(Feb. 2012)

  2. Makoto Imase, Terunao Soneoka, and Yoshifumi Manabe:``A Fault Tolerant Routing in Networks'', ICIAM '87(1987).


Books / 書籍


  1. 真鍋義文: 分散システム,森北出版, ISBN978-4-627-81071-6, Sep. 2013

  2. 萩谷昌己・塚田恭章編 数理的技法による情報セキュリティ（ISBN978-4-320-01950-8）July 2010,　第６章　岡本龍明,真鍋義文著：『汎用的結合可能性による暗号システムの安全性証明』pp.111-134.

  3. Jeffery J. P. Tsai and Steve J. H. Yang (Ed.), Monitoring and Debugging of Distributed Real-Time Systems, IEEE Computer Society Press, May 1995, Yoshifumi Manabe and Makoto Imase, ``Global Conditions in Debugging Distributed Programs'', pp.331-338.


Tutorial Papers / 解説論文


  1. 真鍋義文: ``ゼロからはじめるアルゴリズム(0)　最初に考えること：何を行うのか,'' 情報処理, Vol.61, No.7, pp.744-747, (July 2020).[PDF]

  2. 真鍋義文: ``セキュアな計算プロトコル,'' 機械の研究, Vol.69, No.12, pp.1009-1014, (Dec. 2017).

  3. 真鍋義文: ``ミッションクリティカルシステムのためのLinux,'' 情報処理, Vol.47, No.1, pp.48-53, (Jan. 2006).[PDF]

  4. Naoki Uchida and Yoshifumi Manabe: ``Open Source Software Standardization Trends-CGL and DCL,'' NTT Technical Review, Vol.3, No.7, pp48-50, (July 2005).

  5. 内田直樹, 真鍋義文: ``オープンソースソフトウェア（OSS）の標準化動向－CGLとDCLについて,'' NTT技術ジャーナル, Vol.17, No.5, pp.66-67, (May 2005).

  6. Yoshifumi Manabe, Yasuro Kawarasaki, and Takashi Ikebe: ``Linux for Telecommunication Carrier Systems,'' NTT Technical Review, Vol.2, No. 11, pp.72-74, (Nov. 2004).

  7. 真鍋義文, 河原崎裕朗, 池邊隆: ``通信事業者向けLinuxの標準化動向,'' NTT技術ジャーナル, Vol.16, No.9, pp.66-67, (Sep. 2004).

  8. 真鍋義文, 青柳滋己: ``分散チェックポイント・ロールバックアルゴリズム,'' 情報処理, Vol.34, No.11, pp.1366-1374, (Nov. 1993).[PDF]


Other Articles / その他の執筆


  1. 真鍋義文: ``用語解説：ブロックチェーン,'' 日本知能情報ファジィ学会誌 Vol.30, No.6, p.322, (Dec. 2018).

  2. 真鍋義文: ``国際会議：6th International Workshop on Security(IWSEC2011),'' 電子情報通信学会誌 Vol.95, No.2, p.184, (Feb. 2012).

  3. 真鍋義文: ``「出会いの場」としての学会,'' 応用数理, Vol.20, No.1, p.1 (Mar. 2010).

  4. 白柳潔, 真鍋義文: ``特集「情報科学研究の最前線-より安全で快適な情報処理技術を目指して」にあたって,'' NTT R&D, Vol.51, No.10, pp.757-758, (Oct. 2002).

  5. 川島幸之助, 真鍋義文: ``特集「待ち行列の数理」にあたって,'' 応用数理, Vol.9, No.2, pp.2-3, (June 1999).

  6. 真鍋義文: ``ジョンズ・ホプキンス大学計算科学科,'' 応用数理, Vol.7, No.2, pp.151-152, (June 1997).

  7. 真鍋義文: ``特集「フォールトトレラント分散システム向けアルゴリズム」の編集にあたって,'' 情報処理, Vol.34, No.11, p.1335, (Nov. 1993).


Patents / 特許


  1. 真鍋義文:特願 2009-286394 ３者間の公平分割装置,３者間の公平分割方法,およびそのプログラム(特許5320277 2013年7月19日)

  2. 真鍋義文,岡本龍明:特願2008-10128 返信経路情報生成装置,通信装置,匿名通信方法,プログラム及び記憶媒体 （特許4790736 2011年7月29日）

  3. 岡本龍明,真鍋義文: 特願2008-8239 匿名証明システム,匿名証明方法,ユーザ装置,管理者装置,検証者装置,ユーザ特定担当者装置およびそれらのプログラム（特許4914376 2012年1月27日）

  4. 久保類,真鍋義文,盛合敏: 特願2005-142310 プログラム登録装置,プログラム実行装置,プログラム実行・登録システム,プログラム登録方法,プログラム実行方法,プログラム実行・登録方法,これらを実行可能なプログラム,及び記録媒体

  5. 真鍋義文:特願平8-267491 通信プロセス大域的状態保存法

  6. 真鍋義文,青柳滋己:特願平7-136674 共有資源割り当て方法

  7. 青柳滋己,真鍋義文:特願平7-122708 耐故障通信路選択型分散システム

  8. 真鍋義文,青柳滋己:特願平7-2416 タスク処理実行可能性判定方法

  9. 真鍋義文:特願平4-139559 分散プログラムデバッグ方式

  10. 青柳滋己, 真鍋義文:特願平4-29212 疑似時計装置

  11. 真鍋義文,今瀬真: 特願平2-45231 分散プログラムデバッグ方式


Invited Talks / 招待講演


  1. 真鍋義文: ``無開示性を持つカードベース暗号プロトコルについて,''九州大学マス・フォア・インダストリ研究所 「産学連携によるカードベース暗号の数理的未解決問題と新課題の整理」 (May 2023)

  2. 真鍋義文: ``メタ羨望なしケーキ分割プロトコル,'' 日本オペレーションズ・リサーチ学会関西支部講演会「続・娯楽のOR」（Nov. 2012)

  3. 真鍋義文: ``ケーキ分割問題について,'' 北陸先端科学技術大学院大学講演会 (Dec. 2011).

  4. 真鍋義文: ``DCL(Data Center Linux) statusレポート,'' OSDLジャパンカーネルシンポジウム（June 2004).

  5. 真鍋義文: ``分散システムのためのアルゴリズム,'' 京都大学大学院情報学研究科社会情報学シンポジウム(June 2001).

  6. 真鍋義文: ``フォールトトラレント分散システム向けアルゴリズム,'' 電子情報通信学会情報ネットワーク研究会, IN96-80, (Nov. 1996).

  7. 真鍋義文: ``分散システムのアルゴリズム,'' 電子情報通信学会信越支部講演会, (June 1996).


Refereed Domestic Conference Papers / 査読あり国内会議論文


  1. 真鍋義文, 青柳滋己: ``マルチポリシー分散システム向けアルゴリズム,'' 日本ソフトウェア科学会マルチエージェントと協調計算ワークショップ, 1993年12月,

  2. 真鍋義文, 今瀬真, 曽根岡昭直: ``グラフ上の固定ルーチングについて,'' 信学会回路とシステム軽井沢ワークショップ pp.111-116, 1988年5月.


Non-refereed Papers / 査読なし論文


  1. 中西響希,真鍋義文: ``決勝戦でマッチングするためのトーナメントの不正,'' 2024年電子情報通信学会総合大会D-1-7(Mar. 2024).

  2. 大森琉司,真鍋義文: ``二種類の学生が存在する場合の研究室配属,'' 2024年電子情報通信学会総合大会D-1-8(Mar. 2024).

  3. 反町駿也,玉田正樹,真鍋義文: ``津波避難行動におけるリーダーの必要性の検証,'' 2024年電子情報通信学会総合大会D-13-6(Mar. 2024).

  4. 小林廉太郎,真鍋義文: ``目的に合わせた移動経路設定,'' 2024年電子情報通信学会総合大会D-13-8(Mar. 2024).

  5. 坂倉碧斗,真鍋義文: ``Jリーグにおけるダイナミックプライシング導入の検証,'' 2024年電子情報通信学会総合大会D-4-10(Mar. 2024).

  6. 小林直紀, 真鍋義文: ``トランプカードによる背面処理を用いていくつかの関数を計算するカードベース秘密計算プロトコル,'' 暗号と情報セキュリティシンポジウムSCIS2024 3D1-3(Jan. 2024).

  7. 真鍋義文, 小林直紀: ``カードベース暗号を用いたセキュアな決定木評価,'' 暗号と情報セキュリティシンポジウムSCIS2024 3D2-2(Jan. 2024).

  8. 西永智貴,真鍋義文:``デリバリー配達員の割り当て問題,'' 2023年情報処理学会全国大会1M-01(Mar. 2023).学生奨励賞受賞

  9. 宮澤樹,真鍋義文: ``採用一次選考のアルゴリズム,'' 2023年情報処理学会全国大会6M-01(Mar. 2023).

  10. 青木瞭磨,真鍋義文: ``数独における数字ごとのヒント数が与える問題生成への影響,'' 2023年情報処理学会全国大会2M-08(Mar. 2023).

  11. 波多江武明,真鍋義文: ``ナンバーチェーンパズルに対するゼロ知識証明,'' 2023年情報処理学会全国大会2ZD-06(Mar. 2023).

  12. 渡部佑哉,真鍋義文: ``ヘルゴルフパズルに対するゼロ知識証明,'' 2023年情報処理学会全国大会2ZD-07(Mar. 2023).

  13. 真鍋義文: ``Free-XOR in card-based garbled circuits,'' 暗号と情報セキュリティシンポジウムSCIS2023 4F2-2(Jan. 2023).

  14. 高根澤武蔵,真鍋義文:``多対二の研究室配属問題,'' 2022年情報処理学会全国大会5K-06D-01(Mar. 2022).学生奨励賞受賞

  15. 日高悠河,真鍋義文: ``災害時の避難者配給物資受け取り問題,'' 2022年情報処理学会全国大会5K-09D-01(Mar. 2022).

  16. 青木祐磨,真鍋義文: ``コロナワクチン摂取予約のマッチング,'' 2022年情報処理学会全国大会6ZC-05D-01(Mar. 2022). 学生奨励賞受賞

  17. 南澤直希,真鍋義文: ``SEIRモデルを適用した誤情報拡散モデルの構築,'' 2022年情報処理学会全国大会7ZC-02ZD-01(Mar. 2022).

  18. 宮﨑勇斗,真鍋義文: ``ビルディングパズルに対するゼロ知識証明,'' 2022年情報処理学会全国大会2ZD-01(Mar. 2022).

  19. 師岡智也,真鍋義文: ``トランプカードを用いた背面処理によるカードベース暗号プロトコルに対する3者間での相互監視による不正防止,'' 2022年情報処理学会全国大会2ZD-01(Mar. 2022).

  20. 深澤拓朗, 真鍋義文: ``灯台とABCプレースの物理的ゼロ知識証明,'' 暗号と情報セキュリティシンポジウムSCIS2022 1F4-1(Jan. 2022).

  21. 伊藤悠斗,真鍋義文: ``RFC 8030とPush APIを用いたリソース単位のサーバープッシュの実現,'' 信学技報SC2021-12 (Aug. 2021).

  22. 真鍋義文,小野響: ``Card-based Cryptographic Protocols with a Standard Deck of Cards Using Private Operations,'' 信学技報ISEC2021-1(May. 2021).

  23. 青木大輔,真鍋義文: ``錦織選手のテニスサーブに関するゲーム理論解析,'' 2021年電子情報通信学会総合大会D-1-1(Mar. 2021).

  24. 佐々木輝,真鍋義文: ``ホテルの利益を最大化する部屋の割り当て戦略,'' 2021年電子情報通信学会総合大会D-1-2(Mar. 2021).

  25. 鈴木颯馬,真鍋義文: ``Jリーグにおけるダイナミックプライシングによる効用の検証,'' 2021年電子情報通信学会総合大会D-1-10(Mar. 2021).

  26. 久田海里,真鍋義文: ``指定時間内に最小燃料で航行するウェザールーティングアルゴリズム,'' 2021年電子情報通信学会総合大会D-1-13(Mar. 2021).

  27. 真鍋義文, 小野響: ``Card-based Cryptographic Protocols Using Private Operations Against Malicious Players,'' 暗号と情報セキュリティシンポジウムSCIS2021 2F1-4(Jan. 2021).

  28. 伊藤悠斗,真鍋義文: ``Ethereum 2.0におけるフルノードのワールドステートの信頼性向上手法,'' 2020年情報処理学会全国大会5Y-03(Mar. 2020).学生奨励賞受賞

  29. 石毛優紀,真鍋義文: ``テーマパークの優先権パスのデジタル化によるプレイヤー行動の検証,'' 2020年情報処理学会全国大会6M-07(Mar. 2020).

  30. 中村颯篤,真鍋義文: ``ダブルイリミネーショントーナメントにおける戦略について,'' 2020年情報処理学会全国大会2M-06(Mar. 2020).

  31. 浦郷遼太郎,真鍋義文: ``通勤電車の混雑緩和のための経路選択方法,'' 2020年情報処理学会全国大会7L-07(Mar. 2020).

  32. 小山栞太,真鍋義文: ``荷物潰れがない、積載量の最大化アルゴリズム,'' 2020年情報処理学会全国大会6L-02(Mar. 2020).

  33. 大谷淳稀,真鍋義文: ``旅行旅程作成アルゴリズム,'' 2020年情報処理学会全国大会6L-01(Mar. 2020).

  34. 田中文崇,真鍋義文: ``オンライン座席割り当て問題,'' 2019年電子情報通信学会総合大会D-1-4(Mar. 2019).

  35. 福本怜,真鍋義文: ``Gale-Shapleyアルゴリズムにおける複数マニピュレータの競合について,'' 2019年電子情報通信学会総合大会D-1-3(Mar. 2019).

  36. 柳野将人,真鍋義文: ``秘密分散を用いたダブルオークションでの多項式使用数について,'' 2019年電子情報通信学会総合大会D-1-2(Mar. 2019).

  37. 菅原由騎,真鍋義文: ``ソーシャルネットワーク上の交換に基づく満足度の高い財の割り当てについて,'' 2019年電子情報通信学会総合大会D-1-1(Mar. 2019).

  38. 松下耕大,真鍋義文: ``SNS上の情報漏洩攻撃に対するディレイを用いた防御法について,'' 2019年電子情報通信学会総合大会A-7-8(Mar. 2019).

  39. 王宏偉,真鍋義文: ``暗号化グラフの最短経路検索におけうサーバ側の不正防止,'' 2019年電子情報通信学会総合大会A-7-7(Mar. 2019).

  40. 真鍋義文, 小野響: ``Card-based cryptographic protocols for several Boolean functions using private operations,'' 暗号と情報セキュリティシンポジウムSCIS2019 3C3-3(Jan. 2019).

  41. 安井賢也,真鍋義文: ``匿名システムTorにおける指紋攻撃・遅延攻撃に対する分散レンジリクエストによる対策,'' 情報処理学会IOT研究会 2018-IOT-41 No.11(May 2018).

  42. 一杉幸紀,真鍋義文: ``制限付きリストを持つ場合の安定結婚問題,'' 2018年電子情報通信学会総合大会D-1-12(Mar. 2018).

  43. 古田創大,真鍋義文: ``分割不可能な財の割り当て近似アルゴリズム,'' 2018年電子情報通信学会総合大会D-1-11(Mar. 2018).

  44. 小神野優樹,真鍋義文: ``好きなものと嫌いなものが混ざった財の公平分割,'' 2018年電子情報通信学会総合大会D-1-10(Mar. 2018).

  45. 鮫島裕也,真鍋義文: ``希望優先と成績優先を組み合わせた研究室配属,'' 2018年電子情報通信学会総合大会D-1-9(Mar. 2018).

  46. 佐々木舞琴,真鍋義文: ``スケジュールマッチング,'' 2018年電子情報通信学会総合大会D-1-8(Mar. 2018).

  47. 小野　響,真鍋義文: ``背面入力処理を用いたカードベース金持ち比べプロトコル,'' 2018年電子情報通信学会総合大会A-7-3(Mar. 2018).

  48. 鈴木雄也,真鍋義文: ``メッセージの伝達方式における複数の敵による攻撃戦略の解析,'' 2018年電子情報通信学会総合大会A-7-2(Mar. 2018).

  49. 糸数晴輝,真鍋義文: ``カーシェアリングのためのブロックチェーン,'' 2018年電子情報通信学会総合大会A-7-1(Mar. 2018).

  50. 小野響,真鍋義文: ``背面処理を用いたカードベース秘密計算プロトコルのラウンド数について,'' 信学技報ISEC2017-112(Mar. 2018).

  51. 茨木拓也, 真鍋義文: `` グループにおける秘匿マッチングプロトコルに関する考察,'' 暗号と情報セキュリティシンポジウムSCIS2018 2A2-6(Jan. 2018).

  52. 小野響,真鍋義文: ``背面処理に基づいたカードベース秘密計算プロトコル,'' 信学技報ISEC2017-42(Sep. 2017).

  53. 吉町優,真鍋義文: ``アドホックネットワーク向けの公平性経路制御AODVプロトコル,'' 2017年電子情報通信学会総合大会B-7-54(Mar. 2017).

  54. 山崎芳樹,真鍋義文: ``メタ羨望のない、一部分を捨てるケーキ分割,'' 2017年電子情報通信学会総合大会D-1-10(Mar. 2017).

  55. 清水航平,真鍋義文: `` 戦略性を考慮した分割不可能な財のオンライン配分方式,'' 2017年電子情報通信学会総合大会D-1-8(Mar. 2017).

  56. 小川翔平,真鍋義文: ``並列マッチングにおける効率的なブロッキングペアの解消法,'' 2017年電子情報通信学会総合大会D-1-5(Mar. 2017).

  57. 並木勇人,真鍋義文: ``平均学力の均一化を行う研究室配属アルゴリズム,'' 2017年電子情報通信学会総合大会D-1-4(Mar. 2017).

  58. 山川凌平,真鍋義文: ``ブロックチェーンと秘密分散を使用した電子投票,'' 2017年電子情報通信学会総合大会A-7-10(Mar. 2017).

  59. 村山和也,真鍋義文: ``結託攻撃に対する耐性を有する秘匿マッチングプロトコル,'' 2017年電子情報通信学会総合大会A-7-6(Mar. 2017).

  60. 茨木拓也,真鍋義文: ``グループにおける秘匿マッチングプロトコル,'' 2017年電子情報通信学会総合大会A-7-5(Mar. 2017).

  61. 田中龍之介, 真鍋義文: `` フォワードセキュリティを満足するオニオンルーティングに基づく匿名通信,'' 暗号と情報セキュリティシンポジウムSCIS2017 4D1-1(Jan. 2017).

  62. 岩田有紗, 真鍋義文: ``ハイブリッドクラウド上におけるMapReduceフレームワークでの機密情報漏えい防止策,'' 暗号と情報セキュリティシンポジウムSCIS2017 3D2-1(Jan. 2017).

  63. 安井賢也, 真鍋義文: ``合理的な複数の敵に対し、信頼性・機密性を満たす秘密分散通信,'' 暗号と情報セキュリティシンポジウムSCIS2017 1A1-3(Jan. 2017).

  64. 吉町優,真鍋義文: ``MANET向けの通信性質を考慮した公平性ルーティングプロトコル,'' 第１２回情報科学ワークショップ(Sep. 2016).優秀プレゼンテーション賞受賞

  65. 清水航平,真鍋義文: `` 分割不可能な財のオンライン配分問題,'' 第１２回情報科学ワークショップ(Sep. 2016).

  66. 川邉茂和,真鍋義文: `` 繁殖戦略解析のための考察,'' 第１２回情報科学ワークショップ(Sep. 2016).

  67. 吉町優,真鍋義文: ``MANET向けの通信性質を考慮した公平性ルーティングプロトコル,'' 2016年電子情報通信学会総合大会B-7-49(Mar. 2016).

  68. 山本雅晴,真鍋義文: ``仲介人を用いた仮想通貨のための宝くじプロトコル,'' 2016年電子情報通信学会総合大会A-7-20(Mar. 2016).

  69. 中村諒,真鍋義文: ``ビットスライス回路による第M+1価格セキュアオークションにおけるタイブレーク方式,'' 2016年電子情報通信学会総合大会A-7-21(Mar. 2016).

  70. 渡邊恭平,真鍋義文: ``ビットコインの匿名化プロトコルについて,'' 2016年電子情報通信学会総合大会A-7-22(Mar. 2016).

  71. 久保光毅,真鍋義文: ``途中退出を許容したオンラインケーキ分割プロトコル,'' 2016年電子情報通信学会総合大会D-1-3(Mar. 2016).

  72. 清水航平,真鍋義文: ``分割不可能な財のオンライン配分方式,'' 2016年電子情報通信学会総合大会D-1-4(Mar. 2016).

  73. 倉野颯太,真鍋義文: ``人気コースが存在する場合のコースへの割り当て問題,'' 2016年電子情報通信学会総合大会D-1-5(Mar. 2016).

  74. 茨木拓也, 真鍋義文: ``カードを用いた効率の良い不動点のないランダム置換の生成,'' 暗号と情報セキュリティシンポジウムSCIS2016 4A2-1(Jan. 2016).

  75. 望月宥志, 真鍋義文: ``カードを用いた秘密計算の計算量について,'' 暗号と情報セキュリティシンポジウムSCIS2016 4A2-4(Jan. 2016).

  76. 朝比奈佑馬, 真鍋義文: ``秘匿回路計算のゲーム理論的安全性,'' 暗号と情報セキュリティシンポジウムSCIS2016 3A2-5(Jan. 2016).

  77. 奥村亮介, 真鍋義文: ``フォワードセキュリティを満足するオニオンルーティングの返信経路情報,'' 暗号と情報セキュリティシンポジウムSCIS2016 3F1-3(Jan. 2016).

  78. 稲永隆大,真鍋義文: ``ブロックごとに分かれた利用時間の希望割り当て問題,'' 2015年電子情報通信学会総合大会D-1-7(Mar. 2015).

  79. 安藤大地,真鍋義文: ``複数の研究室への同時配属問題,'' 2015年電子情報通信学会総合大会D-1-8(Mar. 2015).

  80. 清水航平,真鍋義文: ``分割不可能な財に対する配分方式,'' 2015年電子情報通信学会総合大会D-1-6(Mar. 2015).

  81. 佐藤直弥,真鍋義文: ``MANETにおけるフラッディングを抑制するルーティングプロトコル,'' 2015年電子情報通信学会総合大会B-7-33(Mar. 2015).

  82. 吉町優,真鍋義文: ``MANETにおける電力指向による負荷分散ルーティングプロトコル,'' 2015年電子情報通信学会総合大会B-7-25(Mar. 2015).

  83. 長田裕介,真鍋義文: ``準同型共通鍵暗号を用いた相関ルールの秘匿抽出手法,'' 2015年電子情報通信学会総合大会A-7-6(Mar. 2015).

  84. 川邉茂和,真鍋義文: ``ネットワーク符号の盗聴耐性について,'' 2015年電子情報通信学会総合大会A-7-5(Mar. 2015).

  85. 望月宥志, 真鍋義文: ``更新を考慮したプライバシ保護協調フィルタリング,'' 暗号と情報セキュリティシンポジウムSCIS2015 1E2-4(Jan. 2015).

  86. 佐藤寛悟, 真鍋義文: ``オニオンルーティングの一方式における通信文非結合性問題について,'' 暗号と情報セキュリティシンポジウムSCIS2015 1E1-3(Jan. 2015).

  87. 小嶋健太, 真鍋義文: ``プライバシーを考慮した安定ルームメイト問題,'' 暗号と情報セキュリティシンポジウムSCIS2015 1E1-2(Jan. 2015).

  88. 井口　亮,真鍋義文: ``ネットワーク符号化に適したMACの高速化,'' 2014年電子情報通信学会総合大会A-7-1(Mar. 2014).

  89. 崎山　忍,真鍋義文: ``耐SPAによる楕円曲線スカラー倍算の一手法,'' 2014年電子情報通信学会総合大会A-7-13(Mar. 2014).

  90. 漆山雄太,真鍋義文: ``ε-ファジーマッチングセキュアプロトコル,'' 2014年電子情報通信学会総合大会A-7-15(Mar. 2014).

  91. 小松原豪,真鍋義文: ``コミットメントプロトコルのコストを考慮した暗号理論的安全性とゲーム理論的安全性,'' 2014年電子情報通信学会総合大会A-7-16(Mar. 2014).

  92. 藤本啓佑,真鍋義文: ``秘密分散方式を用いたスマートグリッドにおけるプライバシ保護方式の問題点について,'' 2014年電子情報通信学会総合大会A-7-17 (Mar. 2014).

  93. 大塚理紗子,真鍋義文: ``ケーキ分割プロトコルの社会的効用比較,'' 2014年電子情報通信学会総合大会D-1-1(Mar. 2014).

  94. 渡辺駿,真鍋義文: ``広告掲載順位ごとに入札するセキュアキーワード広告オークションプロトコルの提案,'' 2014年電子情報通信学会総合大会D-1-2(Mar. 2014).

  95. 長野宏明,真鍋義文: ``２種類の学生がいる場合の研究室配属問題,'' 2014年電子情報通信学会総合大会D-1-3,(Mar. 2014).

  96. 横山健太,真鍋義文: ``複数人同時待機によるオンラインケーキ分割方式,'' 2014年電子情報通信学会総合大会D-1-4,(Mar. 2014).

  97. 清島奨,真鍋義文,岡本龍明：``On the Round-Complexity Lower Bound of CCA-Secure Commitments,'' 暗号と情報セキュリティシンポジウムSCIS2013 2B3-2(Jan. 2013).

  98. 廣政良,真鍋義文,岡本龍明: ``Homomorphic Signatures for Polynomial Functions with Shorter Signatures,'' 暗号と情報セキュリティシンポジウムSCIS2013 3A4-2(Jan. 2013).

  99. Hermanto, 真鍋義文, 岡本龍明：``A private matching algorithm using predicate encryption,'' 暗号と情報セキュリティシンポジウムSCIS2012 1D2-1(Jan. 2012).

  100. 廣政良,真鍋義文,岡本龍明：``Somewhat Homomorphic Encryptionを用いた分散復号,'' 暗号と情報セキュリティシンポジウムSCIS2012 1D2-4(Jan. 2012).

  101. 清島奨,真鍋義文,岡本龍明：``Constant-Round Concurrent Zero-Knowledge in Super-Polynomial Simulation Security,'' 暗号と情報セキュリティシンポジウムSCIS2012 3B2-1(Jan. 2012).

  102. 塚田恭章,櫻田英樹,真野健,真鍋義文： ``匿名性とプライバシの合成可能性について,'' 日本応用数理学会2011年研究部会連合発表会(Mar. 2011).

  103. 満永拓邦,真鍋義文,岡本龍明：``A Secure M + 1st Price Auction Protocol based on Bit Slice Circuits,'' 暗号と情報セキュリティシンポジウムSCIS2011 3C1-2(Jan 2011).

  104. Hermanto,真鍋義文,岡本龍明：``A Simplified Private Stable Matching Algorithm,'' 暗号と情報セキュリティシンポジウムSCIS2011 3C2-4(Jan 2011).

  105. 奥畑良太,真鍋義文,岡本龍明:``An Identity Based Encryption Scheme from Ideal Lattices,'' 暗号と情報セキュリティシンポジウムSCIS2011 2A3-1(Jan 2011).

  106. 満永拓邦,真鍋義文,岡本龍明：`` Efficient Secure Auction Protocols Based on the Boneh-Goh-Nissim Encryption,'' 暗号と情報セキュリティシンポジウムSCIS2010 2C2-2 (Jan. 2010).

  107. 真鍋義文,岡本龍明:``Cryptographic cake-cutting protocols, '' 暗号と情報セキュリティシンポジウムSCIS2010 2C2-3 (Jan 2010).

  108. 満永拓邦,真鍋義文,岡本龍明：``Unstablity of a punishment strategy in correlated equilibria,'' 暗号と情報セキュリティシンポジウムSCIS2009 3A3-3 (Jan. 2009).

  109. 久保類,真鍋義文,盛合敏：``センサ情報処理のためのコーパス構築,'' 信学技報, MVE2007-68, pp. 1-6,(Jan. 2008).

  110. 赤木法生，真鍋義文，岡本龍明:``An Efficient Anonymous Credential System with Revocation,'' 暗号と情報セキュリティシンポジウムSCIS2008 3E4-2 (Jan. 2008).

  111. 冨井陽介，真鍋義文，岡本龍明:``On the Security of an Unlinkable Off-line E-Cash System,'' 暗号と情報セキュリティシンポジウムSCIS2008 3E4-4 (Jan. 2008).

  112. 真鍋義文,岡本龍明:``Anonymous return route information for onion routing,'' 暗号と情報セキュリティシンポジウムSCIS2008 3E3-2 (Jan. 2008).

  113. 西巻陵, 真鍋義文,岡本龍明:``Universally Composable Identification,''　暗号と情報セキュリティシンポジウムSCIS2007　2D3-5 (Jan. 2007)

  114. 岡田悠介,真鍋義文,岡本龍明: ``An Optimistic Fair Exchange Protocol and its Security in the Universal Composability Framework,''　暗号と情報セキュリティシンポジウムSCIS2007　2D4-6 (Jan. 2007)

  115. 冨井陽介, 真鍋義文,岡本龍明:``An Unlinkable Off-line E-Cash System,''  暗号と情報セキュリティシンポジウムSCIS2007　3B4-2 (Jan. 2007)

  116. 赤木法生,真鍋義文, 岡本龍明: ``An Efficient Anonymous Credential System,'' 暗号と情報セキュリティシンポジウムSCIS2007　3D4-6 (Jan. 2007)

  117. 久保類,真鍋義文,盛合敏：``センサネットワーク環境における情報検索プラットフォームの提案,'' 情処研報2006-CSEC-032, pp.37-42 (Mar 2006).

  118. 牧田俊明,  真鍋義文, 岡本龍明: "Short Group Signatures with Efficient Flexible Join", 暗号と情報セキュリティシンポジウムSCIS2006, 4A2-3(Jan. 2006).

  119. 土居誠司, 真鍋義文, 岡本龍明: "Universally Composable Blind Signatures", 暗号と情報セキュリティシンポジウムSCIS2006, 2A1-4(Jan. 2006).

  120. 西巻陵, 真鍋義文, 岡本龍明: "Universally Composable Identity-Based Encryption", 暗号と情報セキュリティシンポジウムSCIS2006,  2A1-3 (Jan. 2006).

  121. 岡田悠介, 真鍋義文, 岡本龍明: "Optimistic Fair Exchange Protocol for E-Commerce", 暗号と情報セキュリティシンポジウムSCIS2006, 4D1-2(Jan. 2006).

  122. 久保類,真鍋義文,盛合敏：``グリッドコンピューティングによる実世界情報マイニングの提案,'' 情処研報2005-FI-079-11, pp.79-86(May 2005).

  123. 長尾若,真鍋義文,岡本龍明：``A Universally Composable Secure Channel Based on the KEM-DEM Framework,'' 暗号と情報セキュリティシンポジウムSCIS2005(Jan. 2005) 1F2-3, pp.163-168.

  124. 牧田俊明,真鍋義文,岡本龍明：``汎用的結合可能なグループ署名について,'' 暗号と情報セキュリティシンポジウムSCIS2005(Jan. 2005), 1F3-5, pp.355-360.

  125. 土居誠司,真鍋義文,岡本龍明：``汎用的結合可能な電子投票方式について,'' 暗号と情報セキュリティシンポジウムSCIS2005(Jan. 2005), 2D4-1, pp.883-888.

  126. 小西隆介,天海良治,佐藤孝治,真鍋義文,盛合敏：''Linuxファイルシステムの信頼性についての一考察,'' 情報処理学会ＯＳ研究会　2004-OS-96, pp.37-44(June 2004).

  127. 西垣秀哉,真鍋義文,岡本龍明：``ツリー構造による署名方式とその安全性証明,'' 暗号と情報セキュリティシンポジウムSCIS2004 2D4-3 (Jan. 2004).

  128. 長尾若,真鍋義文,岡本龍明：``ハイブリッド暗号の安全性について,'' 暗号と情報セキュリティシンポジウムSCIS2004 1B4-3 (Jan, 2004).

  129. JaeHyrk Park, Kwangjo Kim, and Yoshifumi Manabe: ``Quorum Based Algorithms using Group Choice,'' CISC2002, Korea(2002).

  130. 真鍋義文,田島中: ``h-out of-k相互排除問題を解く(h,k)-arbiterの一構成法,'' 信学技報COMP98-32 (Sep. 1998).

  131. 真鍋義文: ``分散移動システムのための全域チェックポイントアルゴリズム,'' 信学技報COMP98-26 (Jul. 1998).

  132. 真鍋義文: ``モーバイルプロセスを含んだ分散システム向けチェックポイントアルゴリズム,'' 信学技報COMP97-75 (Dec. 1997).

  133. 真鍋義文: ``チェックポイント数最小の分散チェックポイントアルゴリズム,'' 信学技報COMP97-6 (Apr. 1997).

  134. 真鍋義文: ``フォールトトラレント分散システム向けアルゴリズム,'' 信学技報IN96-80 (Oct. 1996).

  135. 真鍋義文: ``分散最始・最終全域チェックポイントアルゴリズム,'' 情処研報96-AL-54-3 (Oct. 1996).

  136. 真鍋義文,Awerbuch, B.:``A Competitive Online Admission Control Algorithm for Fixed Serving Cost Cases,'' 信学技報COMP96-3 (Apr. 1996).

  137. 青柳滋己,真鍋義文: ``メッセージ通信モデルでの均一な自己安定アルゴリズムへの拡張について'', 情処研報94-AL-41-12 (Sep. 1994).

  138. 真鍋義文,青柳滋己: ``周期的リアルタイムタスクのRate Monotonic法による実行可能性判定問題について'', 信学技報COMP94-31(July 1994).

  139. 真鍋義文,青柳滋己: ``分散k-相互排除問題について'', 信学技報COMP93-43(Sep. 1993).

  140. 真鍋義文,青柳滋己:``再演をベースとした分散プログラムのデバッグ手法について'', 情処研報92-DPS-56-13 (July 1992).

  141. 青柳滋己,真鍋義文:``分散デバッガのためのチェックポイント・ロールバックアルゴリズム'',日本ソフトウェア科学会第10回ソフトウェア研究会(Apr. 1992).

  142. 青柳滋己,真鍋義文:``分散プログラムデバッガのためのチェックポイントアルゴリズム'',情報処理学会第44回全国大会 2G-6(Mar. 1992).

  143. 真鍋義文,青柳滋己:``分散プログラム用デバッガddbx-pの試作開発'',信学技報IN91-105 (Sep. 1991).

  144. 青柳滋己,真鍋義文:``分散プログラミングのためのデバッグ手法の一提案'',情報科学若手の会シンポジウム (July 1991).

  145. 真鍋義文,今瀬真:``分散プログラムのデバッグにおける大域的条件について'',信学技報COMP89-99 (Dec. 1989).

  146. 森保健治,曽根岡昭直,真鍋義文:``分散システムにおける同期誤り検出法'',信学技報IN88-152 (Mar. 1989).

  147. 真鍋義文,今瀬真,曽根岡昭直:``ネットワークにおけるルート情報暗号化の一手法'',昭63信学会秋季全国大会 A-93 (Oct. 1988).

  148. 真鍋義文,今瀬真,曽根岡昭直:``固定ルーチングにおける効率と信頼性'',昭63信学会春季全国大会 SD5-9 (Mar. 1988).

  149. 真鍋義文,今瀬真,曽根岡昭直:``分散アルゴリズムの通信計算量に対するトポロジー制限の影響'', 信学技報 COMP87-13 (June 1987).

  150. 今瀬真,真鍋義文:``ネットワークにおける障害耐力のある固定ルーチング方式について'',信学技報COMP86-70 (Jan. 1987).

  151. 真鍋義文,能條哲:``通信網における故障形態と社会的影響との関係のモデル化'',信学技報IN86-16 (June 1986).

  152. 曽根岡昭直,井上正之,真鍋義文,今瀬真:``二重化構造を持つトポロジーの信頼性'',信学技報CAS85-92 (Oct. 1985).

  153. 真鍋義文,萩原兼一,都倉信樹:``単調減少論理関数を実現するCMOS回路に対する配置問題'', 信学技報CAS84-103 (Oct. 1984).

  154. 真鍋義文,萩原兼一,都倉信樹:``超立方体環と超立方体グラフの最小2分割幅について'', 信学技報AL83-41 (Nov. 1983).

  155. 真鍋義文,萩原兼一,都倉信樹:``一層一行配線問題の片側トラック数の最小性について'', 信学技報CAS83-05 (May 1983).


Copyright Notice/著作権について

電子情報通信学会論文誌：　copyright(C) IEICE[IEICE Transactions Onlne]

情報処理：ここに掲載した著作物の利用に関する注意
本著作物の著作権は（社）情報処理学会に帰属します。
本著作物は著作権者である情報処理学会の許可のもとに掲載するものです。
ご利用に当たっては「著作権法」ならびに「情報処理学会倫理綱領」に従うことをお願いいたします。

IEEE: © IEEE. Personal use of this material is permitted.However, permission to reprint/republish this material for advertising orpromotional purposes or for creating new collective works for resale orredistribution to servers or lists, or to reuse any copyrighted component ofthis work in other works must be obtained from the IEEE.
This material is presented to ensure timely dissemination ofscholarly and technical work. Copyright and all rights therein are retained byauthors or by other copyright holders. All persons copying this information areexpected to adhere to the terms and constraints invoked by each author'scopyright. In most cases, these works may not be reposted without the explicitpermission of the copyright holder.

Lecture Notes on Computer Science:Copyright Springer-VerlagGmbH Berlin Heidelberg.The original publication is available atwww.springerlink.com

ページのトップへ戻る