Revisiting Tacit Knowledge towards Clear Security Proofs for Cryptography

重新审视隐性知识以获得清晰的密码学安全证明

• 批准号: 22K11906
• 负责人: 縫田 光司
• 金额: $ 2.58万
• 依托单位: Kyushu University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2022
• 资助国家: 日本
• 起止时间: 2022-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-22K11906/
• 关键词: 暗号理論; 安全性証明

本年度の研究では、まず、暗号学的擬似乱数を用いた暗号技術の実装の安全性に関する研究代表者の既存研究において、暗号学的疑似乱数の利用によって秘密計算プロトコルの実装の安全性が損なわれる具体例が知られていたことを鑑みて、真の乱数を暗号学的疑似乱数に置き換えても安全性が保たれる充分条件を見出した（査読付国際会議IWSEC 2022にて発表済）。また、準同型暗号（暗号化状態のままでデータの演算が可能な暗号化技術）の一種である鍵付き準同型暗号の安全性について、暗号文に対する複数回の演算を一括して行う際に共通する操作を集約して効率化する実装を行った際に安全性定義を満たさない場合があることを発見し、またそうした安全性定義上の問題を回避する充分条件を見出した（論文投稿中）。他にも、秘密計算技術の一種である関数秘密分散（function secret sharing, FSS）の安全性定義の別表現を見出し、それを利用して関数秘密分散の効率性限界の理論的評価を行った（査読付国際会議ACNS 2023に採録決定済）ほか、耐量子計算機暗号の一種である同種写像暗号の安全性評価と関連する数論アルゴリズムの改良の研究を行った（査読付国際論文誌IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciencesに採録決定済（2件））。

This year's research represents existing research on the use of pseudo-random numbers in cryptography, the use of pseudo-random numbers in cryptography, and the safety of installations. The sufficient conditions for the security of the system are presented (see table presented at IWSEC 2022).また、准同型暗号A kind of key transfer quasi-type code security, code text, multiple loop calculation, including common operation at the time of operation, intensive efficiency, installation at the time of operation, security definition at the time of operation The sufficient conditions for avoiding the problem of safety definition are shown in the paper submission. He is a secret computing technology.(function secret sharing, FSS) security definition of the different performance, the use of the number of secret sharing, the effectiveness of the bound theory of evaluation (See the selection decision at the International Conference ACNS 2023) and conduct research on the improvement of the number theory all-round theory on the security evaluation and correlation of one type of quantum-resistant computer code and the same type of image writing code (see the selection decision at the International Paper IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (2 pieces)).

项目成果

Computational Irrelevancy: Bridging the Gap Between Pseudo- and Real Randomness in MPC Protocols

计算无关性：弥合 MPC 协议中伪随机性和真实随机性之间的差距

• DOI: 10.1007/978-3-031-15255-9_11
• 发表时间: 2022
• 期刊: Proceedings of IWSEC 2022
• 作者: Nariyasu Heseri;Koji Nuida
• 通讯作者: Koji Nuida

Efficient Supersingularity Testing of Elliptic Curves Using Legendre Curves

使用勒让德曲线对椭圆曲线进行高效超奇异性测试

• DOI: 10.1587/transfun.2022dmp0002
• 发表时间: 2023
• 期刊: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
• 作者: Yuji Hashimoto;Koji Nuida
• 通讯作者: Koji Nuida

Efficient Construction of CGL Hash Function Using Legendre Curves

使用勒让德曲线高效构建 CGL 哈希函数

• DOI: 10.1587/transfun.2022dmp0003
• 发表时间: 2023
• 期刊: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
• 作者: Yuji Hashimoto;Koji Nuida
• 通讯作者: Koji Nuida

Explicit and Nearly Tight Lower Bound for 2-party Perfectly Secure FSS

2 方完美安全 FSS 的显式且近紧下界

• 发表时间: 2023
• 期刊: Proceedings of ACNS 2023
• 作者: Keitaro Hiwatashi;Koji Nuida
• 通讯作者: Koji Nuida