所属
情報理工学院 准教授
職名
准教授
外部リンク
ヤスナガ ケンジ
安永 憲司
yasunaga kenji
研究キーワード
-
符号理論
-
暗号理論
研究分野
-
情報通信 / 情報学基礎論
学歴
-
大阪大学 大学院情報科学研究科 マルチメディア工学専攻 博士後期課程
2005年4月 - 2008年3月
-
大阪大学 大学院情報科学研究科 マルチメディア工学専攻 博士前期課程
2003年4月 - 2005年3月
-
大阪大学 基礎工学部 情報科学科
1999年4月 - 2003年3月
経歴
-
東京科学大学 情報理工学院 准教授
2024年10月 - 現在
-
東京工業大学 情報理工学院 准教授
2021年10月 - 2024年9月
-
大阪大学 大学院情報科学研究科 准教授
2018年8月 - 2021年9月
-
金沢大学 理工研究域 電子情報学系 助教
2013年1月 - 2018年7月
-
財団法人 九州先端科学技術研究所 情報セキュリティ研究室 研究員
2011年10月 - 2012年12月
-
東京工業大学 大学院情報理工学研究科 数理・計算科学専攻 特任助教
2008年10月 - 2011年9月
-
関西学院大学 理工学研究科 ヒューマンメディア研究センター 博士研究員
2008年4月 - 2008年9月
所属学協会
-
International Association for Cryptologic Research (IACR)
-
電子情報通信学会
委員歴
-
電子情報通信学会 情報理論研究専門委員会，幹事
2025年6月 - 2027年6月
-
IEEE East Asian School of Information Theory 2024 General Co-Chair
2024年1月 - 2024年12月
-
International Symposium on Information Theory and Its Applications (ISITA2024), Program Committee.
2024年
-
10th ACM ASIA Public-Key Cryptography Workshop (APKC 2023), Program Committee.
2023年
-
電子情報通信学会 Special Section on ADiscrete Mathematics and Its Applications 編集委員会 編集幹事
2022年7月 - 2023年9月
-
第45 回情報理論とその応用シンポジウム(SITA2022), プログラム委員
2022年
-
9th ACM ASIA Public-Key Cryptography Workshop (APKC 2022), Program Committee
2022年
-
電子情報通信学会 Special Section on ADiscrete Mathematics and Its Applications 編集委員会 編集幹事
2021年8月 - 2022年9月
-
電子情報通信学会 ソサイエティ論文誌編集委員会 査読委員
2021年6月 - 現在
-
情報処理学会 コンピュータセキュリティ研究運営委員会 専門委員
2021年4月 - 現在
-
電子情報通信学会 Special Section on Information Theory and Its Applications 英文論文 小特集編集委員
2020年12月 - 2022年3月
-
電子情報通信学会 Special Section on Discrete Mathematics and Its Applications 小特集編集委員会 編集委員
2020年8月 - 2021年9月
-
電子情報通信学会 情報理論研究専門委員会 専門委員
2020年6月 - 2025年6月
-
電子情報通信学会 出版委員会 委員
2020年6月 - 2022年6月
-
The International Symposium on Information Theory and Its Applications (ISITA2020), Program Committee Secretary.
2020年
-
誤り訂正符号のワークショップ 2020, 実行委員
2020年
-
電子情報通信学会 Special Section on Information Theory and Its Applications 英文論文 小特集編集委員（編集幹事）
2019年11月 - 2020年12月
-
電子情報通信学会 Special Section on Discrete Mathematics and Its Applications 英文論文 小特集編集委員
2019年8月 - 2020年10月
-
誤り訂正符号のワークショップ 2019, 実行委員
2019年
-
電子情報通信学会 Special Section on Information Theory and Its Applications 英文論文 小特集編集委員（編集幹事）
2018年12月 - 2019年12月
-
電子情報通信学会 Special Section on Cryptography and Information Security 英文論文 小特集編集委員
2018年11月 - 2020年1月
-
電子情報通信学会 コンピュテーション研究専門委員会 専門委員
2018年6月 - 2024年6月
-
第 41 回情報理論とその応用シンポジウム (SITA2018)，プログラム委員会幹事
2018年
-
誤り訂正符号のワークショップ 2018，実行委員
2018年
-
第 41 回情報理論とその応用シンポジウム (SITA2018)，実行委員
2018年
-
電子情報通信学会 Special Section on Discrete Mathematics and Its Applications 英文論文 小特集編集委員（編集幹事）
2017年8月 - 2018年9月
-
電子情報通信学会 和文論文誌A編集委員会 編集委員
2017年6月 - 2021年6月
-
電子情報通信学会 情報セキュリティ研究専門委員会 専門委員
2017年6月 - 2020年6月
-
情報処理学会 コンピュータセキュリティ研究運営委員会 運営委員
2017年4月 - 2021年3月
-
The 15th International Conference on Applied Cryptography and Network Security (ACNS2017), Organizing Committee
2017年
-
誤り訂正符号のワークショップ 2017，実行委員長
2017年
-
電子情報通信学会 Special Section on Discrete Mathematics and Its Applications 英文論文 小特集編集委員
2016年9月 - 2017年9月
-
電子情報通信学会 Special Section on Foundations of Computer Science ~ Developments of the Theory on Algorithms and Computation ~ 英文論文誌 小特集編集委員
2016年1月 - 2017年3月
-
The Fourth International Symposium on Computing and Networking (CANDAR’16), Program Committee.
2016年
-
誤り訂正符号のワークショップ 2016，実行委員
2016年
-
第 39 回情報理論とその応用シンポジウム (SITA2016)，実行委員
2016年
-
The 3rd International Workshop on Information and Communication Security (WICS’16), Program Committee.
2016年
-
第 39 回情報理論とその応用シンポジウム (SITA2016)，プログラム委員.
2016年
-
電子情報通信学会 Special Section on Information Theory and Its Applications 英文論文 小特集編集委員
2015年12月 - 2016年12月
-
電子情報通信学会 Special Section on Discrete Mathematics and Its Applications 英文論文 小特集編集委員
2015年7月 - 2016年6月
-
電子情報通信学会 Special Section on Foundations of Computer Science ~ Developments of the Theory on Algorithms and Computation ~ 英文論文誌 小特集編集委員
2015年2月 - 2016年3月
-
電子情報通信学会 Special Section on Cryptography and Information Security 英文論文 小特集編集委員
2015年1月 - 2016年1月
-
第 38 回情報理論とその応用シンポジウム (SITA2015)，プログラム委員.
2015年
-
The 10th International Workshop on Security (IWSEC2015), Program Committee.
2015年
-
誤り訂正符号のワークショップ 2015，実行委員
2015年
-
LA シンポジウム 2015，実行委員
2015年
-
The 9th International Conference on Provable Security (ProvSec2015), Organizing Committee
2015年
-
電子情報通信学会 Special Section on Cryptography and Information Security 英文論文 小特集編集委員
2014年1月 - 2015年1月
-
電子情報通信学会 Special Section on Cryptography and Information Security 英文論文 小特集編集委員
2013年1月 - 2014年1月
-
電子情報通信学会 Special Section on Cryptography and Information Security 英文論文 小特集編集委員
2012年1月 - 2013年1月
-
第 35 回情報理論とその応用シンポジウム (SITA2012)，実行委員
2012年
-
The 7th International Workshop on Security (IWSEC2012), Organizing Committee
2012年
論文
-
Lower Bounds on Pauli Manipulation Detection Codes 査読 国際誌
Keiya Ichikawa, Kenji Yasunaga
IEEE TRANSACTIONS ON INFORMATION THEORY 72 ( 7 ) 4926 - 4929 2026年7月
-
Hardness Amplification beyond Boolean Functions. 査読 国際誌
Nobutaka Shimizu, Kenji Yasunaga
STOC 1278 - 1289 2026年
-
Biometrically-independent fuzzy signatures: signing with biometrics without embedding them. 査読
Saki Otsuki, Haruna Higo, Toshiyuki Isshiki, Kengo Mori, Satoshi Obana, Hiroto Tamiya, Kenji Yasunaga
EURASIP J. Image Video Process. 2025 ( 1 ) 13 - 13 2025年12月
-
Bit-Security Preserving Hardness Amplification 査読
Shun Watanabe, Kenji Yasunaga
THEORY OF CRYPTOGRAPHY, TCC 2024, PT II 15365 195 - 223 2025年
-
Revisiting Rational Broadcast Protocols. 査読 国際誌
Shunya Otomo, Kenji Yasunaga
CANS 16351 382 - 401 2025年
-
Improved bounds for codes correcting insertions and deletions. 査読
Kenji Yasunaga
Designs, Codes and Cryptography 92 ( 5 ) 1267 - 1278 2024年5月
-
On the Limitations of Computational Fuzzy Extractors. 査読
Kenji Yasunaga, Kosuke Yuzawa
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 106 ( 3 ) 350 - 354 2023年3月
-
Fuzzy Signature with Biometric-Independent Verification. 査読
Haruna Higo, Toshiyuki Isshiki, Saki Otsuki, Kenji Yasunaga
Proceedings of the 22nd International Conference of the Biometrics Special Interest Group(BIOSIG) 1 - 6 2023年
-
Unified View for Notions of Bit Security. 査読
Shun Watanabe, Kenji Yasunaga
Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security 361 - 389 2023年
-
Rational Broadcast Protocols Against Timid Adversaries. 査読
Keigo Yamashita, Kenji Yasunaga
Decision and Game Theory for Security: 14th International Conference(GameSec) 277 - 293 2023年
-
Perfectly Secure Message Transmission against Rational Adversaries 査読 国際誌
Maiki Fujita, Takeshi Koshiba, Kenji Yasunaga
IEEE Journal of Selected Areas in Information Theory 3 ( 2 ) 390 - 404 2022年6月
-
Bit Security as Computational Cost for Winning Games with High Probability. 査読
Shun Watanabe, Kenji Yasunaga
Advances in Cryptology - ASIACRYPT 2021 - 27th International Conference on the Theory and Application of Cryptology and Information Security 161 - 188 2021年
-
Replacing Probability Distributions in Security Games via Hellinger Distance. 査読
Kenji Yasunaga
2nd Conference on Information-Theoretic Cryptography(ITC) 17 - 15 2021年
-
Practical card-based protocol for three-input majority 査読
Kenji Yasunaga
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 103 ( 11 ) 1296 - 1298 2020年11月
-
A Construction of Robustly Reusable Fuzzy Extractors over Blockchains 査読
Kodai Sato, Kenji Yasunaga, Toru Fujiwara
Proceedings of 2020 International Symposium on Information Theory and its Applications, ISITA 2020 353 - 357 2020年10月
-
On the List Decodability of Insertions and Deletions 査読
Tomohiro Hayashi, Kenji Yasunaga
IEEE Transactions on Information Theory 66 ( 9 ) 5335 - 5343 2020年9月
-
Error Correction by Structural Simplicity: Correcting Samplable Additive Errors 査読
Kenji Yasunaga
Computer Journal 62 ( 9 ) 1265 - 1276 2019年9月
-
Perfectly Secure Message Transmission Against Independent Rational Adversaries. 査読
Kenji Yasunaga, Takeshi Koshiba
In Proceedings of the 10th Conference on Decision and Game Theory for Security (GameSec 2019), Lecture Notes in Computer Science 11836 LNCS 563 - 582 2019年
-
On the List Decodability of Insertions and Deletions 査読
Tomohiro Hayashi, Kenji Yasunaga
IEEE International Symposium on Information Theory - Proceedings 2018-June 86 - 90 2018年8月
-
Repeated games for generating randomness in encryption 査読
Kenji Yasunaga, Kosuke Yuzawa
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E101A ( 4 ) 697 - 703 2018年4月
-
Perfectly Secure Message Transmission Against Rational Timid Adversaries. 査読
Maiki Fujita, Kenji Yasunaga, Takeshi Koshiba
In Proceedings of the 9th Conference on Decision and Game Theory for Security (GameSec 2018), Lecture Notes in Computer Science 11199 LNCS 127 - 144 2018年
-
Rational proofs against rational verifiers 査読
Keita Inasawa, Kenji Yasunaga
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E100A ( 11 ) 2392 - 2397 2017年11月
-
General Constructions of Rational Secret Sharing with Expected Constant-Round Reconstruction 査読
Akinori Kawachi, Yoshio Okamoto, Keisuke Tanaka, Kenji Yasunaga
Computer Journal 60 ( 5 ) 711 - 728 2017年4月
-
Public-key encryption with lazy parties 査読
Kenji Yasunaga
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E99A ( 2 ) 590 - 600 2016年2月
-
Error-correcting codes against chosen-codeword attacks 査読
Kenji Yasunaga
In Proceedings of the 9th International Conference on Information Theoretic Security (ICITS 2016), Lecture Notes in Computer Science 10015 LNCS 177 - 189 2016年
-
Post-challenge leakage resilient public-key cryptosystem in split state model 査読
Eiichiro Fujisaki, Akinori Kawachi, Ryo Nishimaki, Keisuke Tanaka, Kenji Yasunaga
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E98A ( 3 ) 853 - 862 2015年3月
-
Randomness leakage in the KEM/DEM framework? 査読
Hitoshi Namiki, Keisuke Tanaka, Kenji Yasunaga
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E97-A ( 1 ) 191 - 199 2014年1月
-
Correction of samplable additive errors 査読
Kenji Yasunaga
IEEE International Symposium on Information Theory - Proceedings 1066 - 1070 2014年
-
List decoding of reed-muller codes based on a generalized plotkin construction 査読
Kenji Yasunaga
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96-A ( 7 ) 1662 - 1666 2013年7月
-
Leakage-resilience of stateless/stateful public-key encryption from hash proofs 査読
Manh Ha Nguyen, Kenji Yasunaga, Keisuke Tanaka
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E96-A ( 6 ) 1100 - 1111 2013年6月
-
Preventing abuse of cookies stolen by XSS 査読
Hiroya Takahashi, Kenji Yasunaga, Masahiro Mambo, Kwangjo Kim, Heung Youl Youm
Proceedings - 2013 8th Asia Joint Conference on Information Security, AsiaJCIS 2013 85 - 89 2013年
-
Game-theoretic security for bit commitment 査読
Haruna Higo, Keisuke Tanaka, Kenji Yasunaga
In Proceedings of the 8th International Workshop on Security (IWSEC 2013), Lecture Notes in Computer Science 8231 LNCS 303 - 318 2013年
-
Leakage-resilience of stateless/stateful public-key encryption from hash proofs 査読
Manh Ha Nguyen, Keisuke Tanaka, Kenji Yasunaga
In Proceedings of the 17th Australasian Conference on Information Security and Privacy (ACISP 2012), Lecture Notes in Computer Science 7372 208 - 222 2012年
-
Public-key encryption with lazy parties 査読
Kenji Yasunaga
In Proceedings of the 8th Conference on Security and Cryptography for Networks (SCN 2012), Lecture Notes in Computer Science 7485 LNCS 411 - 425 2012年
-
A game-theoretic perspective on oblivious transfer 査読
Haruna Higo, Keisuke Tanaka, Akihiro Yamada, Kenji Yasunaga
In Proceedings of the 17th Australasian Conference on Information Security and Privacy (ACISP 2012), Lecture Notes in Computer Science 7372 29 - 42 2012年
-
Weak Oblivious Transfer from Strong One-Way Functions 査読
Keisuke Tanaka, Akihiro Yamada, Kenji Yasunaga
In Proceedings of the 5th International Conference on Provable Security (ProvSec 2011), Lecture Notes in Computer Science 6980 34 - 51 2011年
-
Randomness Leakage in the KEM/DEM Framework 査読
Hitoshi Namiki, Keisuke Tanaka, Kenji Yasunaga
In Proceedings of the 5th International Conference on Provable Security (ProvSec 2011), Lecture Notes in Computer Science 6980 309 - + 2011年
-
Leakage-resilient CCA2 public-key encryption from 4-wise independent hash functions 査読
Manh Ha Nguyen, Kenji Yasunaga, Keisuke Tanaka
In Proceedings of the 2011 International Conference on Advanced Technologies for Communications (ATC/REV 2011) 14 - 17 2011年
-
On correctable errors of binary linear codes 査読
Kenji Yasunaga, Toru Fujiwara
IEEE Transactions on Information Theory 56 ( 6 ) 2537 - 2548 2010年6月
-
Uncorrectable Errors of Weight Half the Minimum Distance for Binary Linear Codes 査読
Kenji Yasunaga, Toru Fujiwara
2008 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY PROCEEDINGS, VOLS 1-6 975 - + 2008年
-
Local weight distribution of the (256, 93) third-order binary reed-muller code 査読
Kenji Yasunaga, Toru Fujiwara, Tadao Kasami
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E90-A ( 3 ) 698 - 701 2007年3月
-
Kenji Yasunaga, Toru Fujiwara
APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, PROCEEDINGS 4851 110 - 119 2007年
-
Determination of the local weight distribution of binary linear block codes 査読
Kenji Yasunaga, Toru Fujiwara
IEEE Transactions on Information Theory 52 ( 10 ) 4444 - 4454 2006年10月
-
Relations between the Local Weight Distributions of a Linear Block Code, its Extended Code, and its Even Weight Subcode 査読
Kenji Yasunaga, Toru Fujiwara
2005 IEEE International Symposium on Information Theory (ISIT2005) 382 - 386 2005年9月
書籍等出版物
-
暗号理論入門 = Introduction to cryptography
安永, 憲司（ 担当： 単著）
森北出版 2024年8月 （ ISBN:9784627084216 ）
MISC
-
暗号におけるゲーム理論 招待 査読
安永憲司
コンピュータソフトウェア 34 ( 1 ) 81 - 92 2017年
-
Game-Theoretic Security for Two-Party Protocols.
Haruna Higo, Keisuke Tanaka, Akihiro Yamada, Kenji Yasunaga
IACR Cryptology ePrint Archive 2016 1072 2016年
-
AI-2-3 プロトコルの安全性とゲーム理論(AI-2.セキュリティプロトコルのためのシステム数理とその周辺,依頼シンポジウム,ソサイエティ企画)
安永 憲司
電子情報通信学会基礎・境界ソサイエティ/NOLTAソサイエティ大会講演論文集 2015 "SS - 36"-"SS-37" 2015年8月
-
プロトコルの安全性とゲーム理論
安永憲司
電子情報通信学会大会講演論文集(CD-ROM) 2015 2015年
-
安永 憲司
数学セミナー 53 ( 10 ) 25 - 29 2014年10月
-
On the Possibilities and Limitations of Computational Fuzzy Extractors
Kenji Yasunaga, Kosuke Yuzawa
IACR Cryptology ePrint Archive 2014 605 2014年
-
情報漏洩や改竄に耐性のある暗号技術に関する研究
安永憲司, 田中圭介, 吉田真紀
電気通信普及財団研究調査報告書(CD-ROM) ( 28 ) 2013年
-
河内 亮周, 岡本 吉央, 田中 圭介, 安永 憲司
電子情報通信学会技術研究報告. IT, 情報理論 112 ( 58 ) 41 - 46 2012年5月
-
竹部裕俊, 安永憲司, 田中圭介
第73回全国大会講演論文集 2011 ( 1 ) 437 - 438 2011年3月
-
ManhHaNguyen, 安永憲司, 田中圭介
全国大会講演論文集 2011 ( 1 ) 467 - 469 2011年3月
-
山田章央, 安永憲司, 田中圭介
第73回全国大会講演論文集 2011 ( 1 ) 469 - 470 2011年3月
-
符号理論の視点による擬似ランダム構造の統一的理解 招待 査読
安永 憲司
電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review 5 ( 1 ) 56 - 67 2011年
-
河内 亮周, 岡本 吉央, 田中 圭介, 安永 憲司
電子情報通信学会技術研究報告. COMP, コンピュテーション 110 ( 325 ) 15 - 21 2010年11月
-
並木 均, 安永 憲司, 田中 圭介
電子情報通信学会技術研究報告. COMP, コンピュテーション 110 ( 325 ) 23 - 28 2010年11月
-
Reed-Solomon符号と擬似ランダム性
安永憲司
電子情報通信学会大会講演論文集 2010 "SS - 49"-"SS-52" 2010年
-
誤り訂正符号の訂正能力分析
安永 憲司
電子情報通信学会技術研究報告. COMP, コンピュテーション 108 ( 443 ) 33 - 33 2009年2月
-
ネットワーク符号化におけるリード・ソロモン型符号の距離分布について
富永 昌文, 安永 憲司, 藤原 融
電子情報通信学会技術研究報告. IT, 情報理論 108 ( 158 ) 7 - 10 2008年7月
-
安永 憲司, 藤原 融
電子情報通信学会技術研究報告. ISEC, 情報セキュリティ 107 ( 501 ) 51 - 56 2008年2月
-
安永 憲司, 藤原 融
電子情報通信学会技術研究報告. WBS, ワイドバンドシステム : IEICE technical report 107 ( 503 ) 51 - 55 2008年2月
-
安永 憲司, 藤原 融
電子情報通信学会技術研究報告. IT, 情報理論 107 ( 499 ) 51 - 56 2008年2月
-
2重符号化を用いた電子透かし抽出誤り訂正・検出法
LIU Tingting, 安永 憲司, 藤原 融
情報理論とその応用シンポジウム予稿集 = The proceedings of the Symposium on Information Theory and Its Applications 29 ( 2 ) 565 - 568 2006年11月
-
Correctable Errors of Weight Half the Minimum Distance for the First-Order Reed-Muller Codes
YASUNAGA Kenji, FUJIWARA Toru
情報理論とその応用シンポジウム予稿集 = The proceedings of the Symposium on Information Theory and Its Applications 29 ( 1 ) 5 - 8 2006年11月
-
Local Weight Distribution of the (256, 93) Third-Order Binary Reed-Muller Code
Yasunaga Kenji, Fujiwara Toru, Kasami Tadao
電子情報通信学会技術研究報告. IT, 情報理論 106 ( 58 ) 31 - 36 2006年5月
-
Relations among the Local Weight Distributions of a Linear Block Code, Its Extended Code and Its Even Weight Subcode
YASUNAGA Kenji, FUJIWARA Toru
情報理論とその応用シンポジウム予稿集 = The proceedings of the Symposium on Information Theory and Its Applications 27 ( 2 ) 559 - 562 2005年12月
-
Seguin 下界の局所重み分布を用いた改善
安田 隆広, 安永 憲司, 藤原 融
情報理論とその応用シンポジウム予稿集 = The proceedings of the Symposium on Information Theory and Its Applications 28 ( 2 ) 435 - 438 2005年11月
-
The Local Weight Distributions of Transitive Invariant Codes and Their Punctured Codes
Yasunaga Kenji, Fujiwara Toru
電子情報通信学会技術研究報告. IT, 情報理論 105 ( 84 ) 7 - 12 2005年5月
-
Some Results on the Local Weight Distribution of Binary Linear Codes (符号と暗号の代数的数理研究集会報告集)
藤原 融, 安永 憲司
数理解析研究所講究録 1420 150 - 162 2005年4月
-
2元(128, 50)拡大原始BCH符号と(128, 64)リード・マラー符号の局所重み分布
安永 憲司, 藤原 融
電子情報通信学会技術研究報告. IT, 情報理論 104 ( 229 ) 7 - 12 2004年7月
-
2元線形符号における記号位置置換不変性を用いた局所距離分布の計算法
安永 憲司, 藤原 融
電子情報通信学会技術研究報告. IT, 情報理論 103 ( 308 ) 37 - 41 2003年9月
講演・口頭発表等
-
多項式時間制限通信路に対する公開鍵誤り訂正方式の構成法
角田道映, 安永憲司
2025 年暗号と情報 セキュリティシンポジウム(SCIS2025) 2025年1月
-
検出回避攻撃者に対する定数ラウンドコンセンサスプロトコル
園部凌平, 大友駿也, 安永憲司
2025 年暗号と情報セキュリティシンポジウム(SCIS2025) 2025年1月
-
鍵準同型擬似ランダム関数を用いた鍵準同型署名の構成に向けて
渡邉耀仁, 安永憲司
2025 年暗号と情報セキュリティシンポジウム(SCIS2025), 2025年1月
-
パウリ操作検知符号の弱安全性について
市川景也, 安永憲司
025 年暗号と情報セキュリティシンポ ジウム(SCIS2025) 2025年1月
-
変造不可能ファジー抽出器の安全性に関する考察
津田昂樹, 安永憲司
025 年暗号と情報セキュリ ティシンポジウム(SCIS2025) 2025年1月
-
安永憲司
電子情報通信学会大会講演論文集(CD-ROM) 2015年8月
-
安永憲司, 田中圭介, 吉田真紀
電気通信普及財団研究調査報告書(CD-ROM) 2013年12月
-
安永憲司
情報理論とその応用シンポジウム予稿集(CD-ROM) 2012年12月
-
安永憲司
情報処理学会シンポジウムシリーズ(CD-ROM) 2012年10月
-
安永憲司
電子情報通信学会大会講演論文集 2010年8月
-
ネットワーク符号化におけるリード・ソロモン型符号の基底選択と重み構造について
富永昌文, 安永憲司, 藤原融
情報理論とその応用シンポジウム予稿集(CD-ROM) 2008年9月
-
ネットワーク符号化におけるリード・ソロモン型符号の距離分布について
富永昌文, 安永憲司, 藤原融
電子情報通信学会技術研究報告 2008年7月
-
LIU Tingting, 安永憲司, 藤原融
情報理論とその応用シンポジウム予稿集 2006年11月
-
安田隆広, 安永憲司, 藤原融
情報理論とその応用シンポジウム予稿集 2005年11月
受賞
-
Outstanding Paper Award
2018年10月 GameSec 2018
Maiki Fujita, Kenji Yasunaga, Takeshi Koshiba
-
嵩賞
2008年
安永 憲司
-
情報理論とその応用学会 (SITA) 奨励賞
2007年
安永 憲司
共同研究・競争的資金等の研究課題
-
情報・計算・暗号の融合によるセキュリティ定量化理論の深化
研究課題/領域番号：26H02489 2026年4月 - 2030年3月
日本学術振興会 科学研究費助成事業 基盤研究(A)
安永 憲司
配分額：41730000円 （ 直接経費：32100000円 、 間接経費：9630000円 ）
-
2024年10月 - 2029年
科学技術振興機構 戦略的な研究開発の推進 戦略的創造研究推進事業 CRONOS(情報通信科学・イノベーション創出基盤事業)
泉 泰介
サイバー空間を形成する多様な系・サービスは本質的に自律分散的であり、その安全かつ公正な制御は重要な技術的要請である。本研究は特に「公正な割り当てと合意の自律分散的制御」を目的としたアルゴリズム研究に取り組む。ユーザーの利己性・動的変化といった多種複雑なダイナミズムが存在する自律分散環境下において公正な割り当て・合意を達成するアルゴリズム設計の方法論を確立することを目指す。
-
中規模量子コンピュータによるセキュアな分散型量子計算の基盤創出
研究課題/領域番号：24H00071 2024年4月 - 2029年3月
日本学術振興会 科学研究費助成事業 基盤研究(S)
ルガル フランソワ, 田中 圭介, 西村 治道, 河内 亮周, 安永 憲司, 桑原 知剛
配分額：203450000円 （ 直接経費：156500000円 、 間接経費：46950000円 ）
-
セキュリティ解析の新理論～情報量不等式から計算量不等式へ～
研究課題/領域番号：23K17455 2023年6月 - 2026年3月
日本学術振興会 科学研究費助成事業 挑戦的研究(開拓)
渡辺 峻, 河内 亮周, 岩本 貢, 安永 憲司
配分額：26000000円 （ 直接経費：20000000円 、 間接経費：6000000円 ）
現代暗号理論における暗号技術は情報理論的暗号と計算量理論的暗号に大別される。前者は安全性の評価が定量的にしやすい反面、実現するためのコストが高く、大規模なシステムに適用するのが容易でない。一方、後者は安全性の定量的評価がしにくいものの、実現するためのコストが低く、柔軟性にも富んでいる。本研究では、情報理論的な解析手法を計算量理論的な安全性解析に適用するための新理論の確立を目的としている。
本年度の研究では、2021年にWatanabe-Yasunagaによって提案されたビットセキュリティの定義が、2018年にMiciancio-Walterによって提案されたビットセキュリティの定義と本質的に等価であることを示した。前者の定義は攻撃者の成功確率を１に近づけるためのコストとして操作的に定義されていたが、後者の定義との関係が不明であった。二つの定義の等価性が示されたことにより、状況に応じて二つの定義の使いやすい方を採用できるようになったため、本成果の意義は大きい。
また、秘匿計算のシミュレーションベースの安全性を、統計学における十分統計量ならびに情報量に基づく別表現を提案することに成功している。この表現によって、従来のプロトコルの見通しの良い安全性証明を与えることが可能になった。
また、Even-Mansour暗号に対する量子攻撃のクエリー複雑量の下界を導出することに成功した。本下界によって、Even-Mansour暗号への桑門ー森によって提案された攻撃が、クエリー複雑量の観点から最適であることが明らかになった。 -
符号構成問題の計算量
研究課題/領域番号：23K18460 2023年6月 - 2026年3月
日本学術振興会 科学研究費助成事業 挑戦的研究(萌芽)
安永 憲司
配分額：6500000円 （ 直接経費：5000000円 、 間接経費：1500000円 ）
良い誤り訂正符号を構成するという問題自体の計算量に着目する課題であり，構成の可能性と不可能性の両面から取り組み，計算の複雑さの解明を目指す．本年は，良い符号を構成する技法についての調査を行った．線形符号に対して，ランダムパンクチュアリングを適用することで最適なリスト復号性能を持つことを証明する技法が進展しており，任意の低バイアス符号に対するランダムパンクチュアリングは，ランダム線形符号と同等の局所性（GV限界や最適リスト復号性能の達成を含む性質）を保持した符号の構成につながるという結果や，リード・ソロモン符号のランダムパンクチュアリングが最適なリスト復号性能の達成可能性につながるという結果が最近報告されていることがわかった．その他，ランダム短縮化，ランダム線形化多項式を用いた構成などが，良い符号の構成法がにつながることが報告されている．
また，誤りを発生させる通信路を攻撃者とみなした計算量制限通信路に対して，公開鍵暗号のように，受信側が秘密鍵を持ち，送信側が公開鍵で符号化する設定を考えることで，二元対称通信路と同等の誤り訂正性能を実現する可能性があることを確認した．これまでに，送信者側が秘密鍵を用いることで誤り訂正能力を高める手法や，ランダムに選ばれた乱数を送信者と受信者ならびに通信路（攻撃者）が知る設定の符号は存在したが，受信側が秘密鍵を持つ非対称な設定における構成法はこれまでに提案されていないものである． -
情報・計算・暗号の融合によるセキュリティ定量化基盤の構築
研究課題/領域番号：23H00468 2023年4月 - 2027年3月
日本学術振興会 科学研究費助成事業 基盤研究(A)
安永 憲司
配分額：46930000円 （ 直接経費：36100000円 、 間接経費：10830000円 ）
セキュリティ強度を定量的に評価するビットセキュリティの枠組みとして，MicciancioとWalter (Eurocrypt 2018) が提案したものと研究代表者ら（WatanabeとYasunaga (Asiacrypt 2021)）が提案したものがあるが，両者の関係性を明らかにした（Asiacrypt 2023）．MWの枠組みで提案された条件付き二乗(CS)優位性とWYの枠組みの特徴付けであるRenyi優位性について，一般にはCS優位性の方が大きく，両者が大きく異なるような例も存在するが，攻撃者を適切に変換させることでCS優位性をRenyi優位性と同程度にできることを示した．つまり，攻撃者に関して最大値を取れば両者はほぼ同等である．その他，任意の探索型安全性ゲームはビットセキュリティを保ったまま判定型ゲームに変換できること，安全性ゲームにおける分布置き換え定理を示した．
量子信号処理のフレームワークから秘密計算を実現する秘密量子信号処理プロトコルを構成し，そのプロトコルが満たす秘匿性の情報理論的な評価技術を確立した．またその応用として1量子ビットしかないサーバが広いクラスの関数を計算する秘密計算を提案し，その通信量と正当性のトレードオフを評価した．
情報理論的な視点で差分プライバシー (DP) を見ることで，DPは次数∞のRenyiダイバージェンスで表現されており，次数αのRenyiダイバージェンスを用いてDPを拡張したRenyi差分プライバシー（RDP)が提案されていた．そこで，f-ダイバージェンスを用いたDPの拡張を提案し，これにより従来のRDPよりもタイトな結果が得られる可能性を示した．
一般に，リング署名から複数検証者指定署名方式（MDVS）が構成できると信じられてきたが，そのような構成はブラックボックス的に不可能であることを示した． -
量子情報化社会に向けた量子計算基盤の構築
研究課題/領域番号：21H04879 2021年4月 - 2026年3月
日本学術振興会 科学研究費助成事業 基盤研究(A)
小柴 健史, 河内 亮周, 田中 圭介, 安永 憲司, ルガル フランソワ, 西村 治道
配分額：41470000円 （ 直接経費：31900000円 、 間接経費：9570000円 ）
-
削除訂正符号の限界解明
研究課題/領域番号：18K11159 2018年4月 - 2023年3月
日本学術振興会 科学研究費助成事業 基盤研究(C)
安永 憲司
配分額：4160000円 （ 直接経費：3200000円 、 間接経費：960000円 ）
挿入・削除を訂正する符号について，通信路を多項式時間アルゴリズムと考え，計算量制限通信路における挿入・削除訂正問題を考えた．特に，正の符号化レートをもつ一意復号可能な符号が存在する範囲を，挿入・削除レートに対して明らかにすることを目指した．挿入レート e，削除レート d（(e,d)-誤りと呼ぶ）を訂正可能な q 元符号に関して，Bukh ら (IEEE IT 2017) による符号から e + d < 1 - 2/(q + q^(1/2)) に対しては符号化レート正の符号が存在することがわかる．一方，Guruswami ら (FOCS 2021) によって示された結果より，e + d > 1 - 1/q - O(1) の範囲ではそのような符号が存在しないことがわかる．
本研究では，(e, d)-誤りに対してリスト復号可能な符号があれば，計算量制限通信路を考えることで，r = min(e,d)/2 に対し，(r, r)-誤りを一意復号可能な符号を構成できることを示した．構成法は，入力相関困難性ハッシュ関数と呼ばれる暗号学的なハッシュ関数を用いており，そのハッシュ関数を h としたとき，リスト復号可能符号 C を使って，入力 x の符号語を C(x, h(x)) と計算すればよい．この結果より，(e,d)-誤りに対してリスト復号可能な符号として優れた符号があれば，それを一意復号に変換することができる．Hayashi, Yasunaga (IEEE IT 2020) で示された符号を適用した場合は，Bukh らの符号で示された達成可能性を超えることができないことも明らかとなった．また，(e,d)-誤りに対するリスト復号可能符号が大きな符号化レートをもつ場合，その符号化レートを訂正可能な誤りレートに変換できることもわかった．一方で，符号化レートが大きな符号で優れたリスト復号性能をもつ符号の構成法はこれまでに知られていない． -
インセンティブを考慮した暗号基盤技術の構築
研究課題/領域番号：17H01695 2017年4月 - 2021年3月
日本学術振興会 科学研究費助成事業 基盤研究(B)
田中 圭介, 河内 亮周, 安永 憲司, 小柴 健史
配分額：15860000円 （ 直接経費：12200000円 、 間接経費：3660000円 ）
インセンティブ設計技法に関する調査と研究を行った。詳細な調査や手法の比較を行ない、インセンティブを用いた電子署名・相手認証のモデルと技術の設計を試みた。特に、これらの要素に密接に関わるSecure Message Transmission (SMT) と呼ばれる要素に着目し、複数ある通信路がすべての敵に支配されたとしても、合理的な敵を考える場合には、安全に通信を行うことができることを示した。さらに、ブロックチェーンに関する調査と研究を行った。特にproof-of-workの原点に立ち戻り、証明者と検証者で時間とメモリのギャップを生じる状況についての考察を行った。
-
量子プロトコル理論の線的展開
研究課題/領域番号：16H01705 2016年4月 - 2021年3月
日本学術振興会 科学研究費助成事業 基盤研究(A)
小柴 健史, 西村 治道, ルガル フランソワ, 田中 圭介, 河内 亮周, 安永 憲司, 松本 啓史, 堀山 貴史, 小林 弘忠
配分額：41730000円 （ 直接経費：32100000円 、 間接経費：9630000円 ）
量子状態の初期化が容易でない量子計算を定式化したDQC1モデルなどの計算能力を究明することにより，万能でない量子計算モデルでさえ量子超越性を達成し得ることを示した。量子分散アルゴリズムに関しては，標準的な分散計算モデルにおいて「全対最短経路問題」などの幾つかの基本的問題について，古典プロトコルよりも効率的に動作する量子分散プロトコルを開発した。量子暗号プロトコルである秘匿代理量子計算において，古典クライアントでは，完全秘匿性を達成不可能であることを示した。量子性の古典的検証可能性に，報酬概念を導入することで，ゲーム理論的な形での解決という新しい方向性を見出した。
-
符号理論における計算限界の解明
研究課題/領域番号：15H00851 2015年4月 - 2017年3月
日本学術振興会 科学研究費助成事業 新学術領域研究(研究領域提案型)
安永 憲司
配分額：4550000円 （ 直接経費：3500000円 、 間接経費：1050000円 ）
本研究は、誤り訂正符号技術の計算限界を解明することを目的としている。特に、計算量制限通信路を考え、計算限界の解明を目指す。
計算量制限通信路は、Lipto (1994) が導入した概念であり、彼は二元対称通信路向けの符号を計算量制限通信路向けに変換する方法を示した。具体的には、送受信者間でランダムな鍵を共有する設定を考え、その鍵を利用して、送信符号語の位置をランダムに置換し、ランダムマスクでその情報を隠すという方法を提案している。この方法により、通信路において任意の誤りが発生したとしても、その誤りの位置はランダムに置換されるため、ランダム誤りが挿入されたとみなすことができ、二元対称通信路向けの符号で訂正することが可能となる。
Lipton の手法では、秘密鍵が１回限りしか有効でないという問題がある。つまり、複数回の誤り訂正を行うためには、その数に合わせた数の鍵を共有する必要がある。この状況は、秘密鍵暗号における使い捨て鍵暗号と同じである。使い捨て鍵暗号は、十分な秘匿性を達成できるが、複数回の通信のためにはその数に合わせた数の鍵を共有する必要がある。
利用回数に制限のある使い捨て鍵暗号に対し、現代的な秘密鍵暗号では、一つの鍵を共有することで任意の回数の暗号化通信を保証する仕組みを持っている。さらに、攻撃者が暗号化関数や復号関数を利用できるような状況を考慮したより強力な安全性を考え、現在ではそのような安全性が標準的とも考えられている。
本研究では、Lipton 方式を使い捨て鍵による誤り訂正符号と考え、その安全性を現代的な暗号技術と同等に高めた方式を構築した。具体的には、Guruswami と Smith (2016) の方式を、秘密鍵設定における誤り訂正符号とみなし、その方式に対し、通信路が符号化関数と復号関数を利用できたとしても問題なく誤り訂正ができることを証明した。 -
計算構造制限下での暗号技術の限界解明
研究課題/領域番号：25106509 2013年4月 - 2015年3月
日本学術振興会 科学研究費助成事業 新学術領域研究(研究領域提案型)
安永 憲司
配分額：4030000円 （ 直接経費：3100000円 、 間接経費：930000円 ）
本研究では、計算構造の制限下における暗号技術の存在限界を解明することを目的としている。
情報セキュリティの完全性に関わる暗号技術として、誤り訂正符号がある。データを通信・保存して取り出す際に、データの誤りを検出・訂正する技術である。ブラックボックス構成による存在限界が明らかになっていなかった誤り訂正符号に着目し、その限界を明らかにすることを目指した。特に、最悪ケース通信路をより現実的な範囲に限定した、計算量制限通信路に着目し、既存研究で明らかになっていなかった、挿入可能誤り数に制限がない場合の訂正限界の解明を目指した。
まず、擬似ランダムな誤りが挿入される場合は、効率的な誤り訂正が不可能であることがわかった。この議論から、エントロピーが入力長の任意の多項式オーダーであるような比較的小さい誤りであっても、効率的に訂正不可能なものが存在することがわかった。この議論には、一方向性関数の存在を仮定する必要があるが、このような不可能性の議論には一方向性関数の存在性が必要であることも分かった。また、誤りのエントロピーが対数関数より真に大きい程度の、非常に小さい場合であっても、効率的な誤り訂正が望めないこ とを明らかにした。より具体的には、あるオラクルへのアクセスを許す環境において、効率的にサンプル可能であるが、効率的に訂正不可能な誤りが存在することを示した。この結果から、誤りの効率的なサンプル可能性を利用した、誤り訂正符号のブラックボックス構成が不可能であることが明らかになった。この不可能性の結果は、符号化レートがある程度以下の場合の不可能性であったが、それより高い符号化レー トの場合には、より強力な、情報理論的な不可能性を示すことができる。つまり、誤りの効率的なサンプル可能性を利用した符号の構成はすべての符号化レートにおいて不可能であることが明らかになった. -
量子プロトコル理論の深化
研究課題/領域番号：24240001 2012年4月 - 2016年3月
日本学術振興会 科学研究費助成事業 基盤研究(A)
小柴 健史, 河内 亮周, 田中 圭介, 安永 憲司, ルガル フランソワ, 松本 啓史, 小林 弘忠, 西村 治道
配分額：36010000円 （ 直接経費：27700000円 、 間接経費：8310000円 ）
量子対話型証明の一般化モデルを提案し完全問題の存在やBabaiの崩壊定理の量子版などの計算量的構造を明らかにした。半環上の行列積およびグラフ上の三角形発見問題に対して高速量子アルゴリズムを構築し解析方法を発展させ量子分散プロトコルを構築した。観測系と計算系が分離可能な補助キュービット駆動型モデルでも量子ブラインド計算が実現することを示した。計算量クラスBQPの古典計算量クラスAWPPに対し事後選択の概念を利用した量子計算量クラスによる特徴付けを与えた。AWPPがBQPの最良上界である自然な理由を与えAWPPの研究への量子計算量理論的アプローチの可能性を切り拓いた。
-
ゲーム理論にもとづく暗号プロトコル
研究課題/領域番号：23500010 2011年4月 - 2015年3月
日本学術振興会 科学研究費助成事業 基盤研究(C)
田中 圭介, 安永 憲司
配分額：5070000円 （ 直接経費：3900000円 、 間接経費：1170000円 ）
大きく分けて二つの成果が得られた。まず、2メッセージを用いた紛失通信についての考察である。 具体的には、攻撃者のモデルをプロトコルの実行を途中で中止させるだけのfail-stopモデルからプロトコル中のアルゴリズムを任意に変更する攻撃を許すmaliciousモデルへの拡張を行い、既存のある種の暗号理論的な安全性と等価なゲーム理論的安全性を与えることに成功している。
さらに、ビットコミットメントについての考察である。具体的には、malicious モデルの攻撃者を対象とし、既存のある種の暗号理論的な安全性と密接に関連するゲーム理論的安全性を与えることに成功している。 -
誤り訂正符号に潜むランダムネスと構造の解明
研究課題/領域番号：23700010 2011年 - 2013年
日本学術振興会 科学研究費助成事業 若手研究(B)
安永 憲司
配分額：3640000円 （ 直接経費：2800000円 、 間接経費：840000円 ）
サンプル可能な加法的通信路という通信路モデルを導入し、この通信路における誤り訂正の可能性と限界を明らかにした。サンプル可能とは多項式時間で計算可能という意味であり、加法的というのは符号や符号語の知識を使わずに誤りが付加されることを意味する。サンプルされる分布が線形空間を成す場合、効率的に線形符号で訂正することができる。オラクルで相対化された状況では、エントロピーが小さいにもかかわらず効率的にシンドローム復号ができないサンプル可能な分布が存在することがわかった。サンプルされる分布が小バイアスの場合、バイアスの大きさと訂正可能なレートの限界に関係性があることがわかった。
-
擬似ランダム性にもとづく性能のよい誤り訂正符号の構成に関する研究
研究課題/領域番号：20860079 2008年 - 2009年
日本学術振興会 科学研究費助成事業 若手研究(スタートアップ)
安永 憲司
配分額：3289000円 （ 直接経費：2530000円 、 間接経費：759000円 ）
ランダムに構成したように見える「擬似ランダム」なオブジェクトのいくつかは,共通の構造をもつことが明らかになった.そのオブジェクトとは,リスト復号可能符号,擬似乱数生成器,エクスパンダグラフなどである.多項式に対する擬似乱数生成器と性能のよい誤り訂正符号は,ある条件下では等価であることがわかった.多項式をもとにした誤り訂正符号に対する復号法を,より一般的な符号に対して適用できるように拡張した.