A Study of Design Principles for Tamper-Resistant Logic-Based Lightweight Block Ciphers

基于防篡改逻辑的轻量级分组密码设计原理研究

• 批准号: 20K11817
• 负责人: 神永 正博
• 金额: $ 2.83万
• 依托单位: Tohoku Gakuin University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-01 至 2024-03-31
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K11817/
• 关键词: 暗号理論; 耐タンパー技術; 暗号実装; ブロック暗号; 公開鍵暗号

2022年度は新型コロナウイルスの影響と大学の移転に伴う業務のため、暗号の理論解析に集中するとともに、研究期間を1年延長した。2022年度には、3つの方向から研究を行った。１）格子を用いたフェイステル型ブロック暗号を提案し、大学院生（大宮悠暉）とともにその差分特性を研究し、部分的な結果を電気関係学会東北支部連合大会で発表した。現在、この研究をさらに発展させ、格子ブロック暗号LBF(Lattice based Feistel cipher)を提案し、東北学院大学講師の森島佑氏とともに差分解読法の詳細を検討し、良好な差分特性を持つブロック暗号の構成ができたと考えており、詳細をまとめた論文を準備中である。２）遺伝的アルゴリズムを格子の最短ベクトル探索問題(SVP)に応用する論文を1本投稿し、Iran Journal of Computer Science誌に採録された。３）ランダム格子の係数ベクトルの性質を格子のグラム行列の最小固有値の分布を通して調べた神永の単著論文を電子情報通信学会の英文誌に投稿中である。格子に関する研究を行っている理由は、格子行列を非線形変換部に持つフェイステル型ブロック暗号の安全性の検討のためである。論理演算型ブロック暗号の非線形変換部には様々な構成があり得るが、例えば、ブール多項式をその安全性を数学的に保証することは困難である。この点、ランダム格子を利用することで、少なくとも確率的な安全性が保証される可能性がある。この構成を取る場合、ランダム格子に関する暗号理論的性質、例えば、差分解読法、線形解読法に関する耐性を調べる必要がある。この観点でランダム格子を調べた例はなく、さらなる研究が必要である。今後もこの方向で研究を進めていく。

2022 は new コ ロ ナ ウ イ ル ス の influence と university の move planning に with う business の た め, sign の theory analytic に concentrated す る と と も に, research を during 1 year extended し た. In 2022, the に and 3 ら <s:1> directions will conduct research on を fields った through ら. 1) grid を い た フ ェ イ ス テ ル type ブ ロ ッ ク cipher proposed を し, subparagraph (CDH) hisa palace と と も に そ の difference feature を findings し, part of the な を electric 気 masato is learn to northeast branch even in assembly で 発 table し た. Now, the をさらに research をさらに development させ, grid ブロッ diocesimal code LBF(Lattice based Feistel Proposed cipher) を し, college of Northeastern University lecturer の sen island on と と も 読 に difference decomposition method の detailed を beg し 検, good な difference characteristic を つ ブ ロ ッ ク cipher の constitute が で き た と exam え て お り, detailed を ま と め を た paper prepared で あ る. 2) but 伝 ア ル ゴ リ ズ ム を grid の shortest ベ ク ト ル explore problems (SVP) に 応 with す る paper 1 contribute this し を, while Iran -- -- Computer Science volunteers に transcribing さ れ た. 3) ラ ン ダ ム grid の coefficient ベ ク ト ル の nature を grid の グ ラ ム ranks の inherent numerical を の distribution through the smallest し て adjustable べ た god forever の 単 the paper を electronic intelligence communication contribute to learn の ambition に で あ る. Grid に masato す る を line っ て い る reason ranks は, grid を nonlinear variations in department に hold つ フ ェ イ ス テ ル type ブ ロ ッ ク cipher の security の beg の 検 た め で あ る. Logical calculus type ブ ロ ッ ク cipher の nonlinear variations in department に は others 々 な constitute が あ り have る が, example え ば, ブ ー ル polynomial を そ の を mathematical に guarantee safety す る こ と は difficult で あ る. を こ の points, ラ ン ダ ム grid using す る こ と で, less な く と も probabilistic な が safety guarantee さ れ る possibility が あ る. こ の constitute を る occasions, ラ ン ダ ム grid に masato す る signal theory, the properties of example え 読 読 ば, difference decomposition method, the linear solution method に masato す る patience を adjustable べ る necessary が あ る. こ の 観 point で ラ ン ダ ム grid を adjustable べ た example は な く, さ ら な る research が necessary で あ る. In the future, the direction of で く く will be で research を into めて く く.

项目成果

Improving genetic algorithms for solving the SVP: focusing on low memory consumption and high reproducibility

• DOI: 10.1007/s42044-022-00118-5
• 发表时间: 2022-09
• 期刊: Iran Journal of Computer Science
• 作者: Masaharu Fukase;M. Kaminaga

格子行列に基づくブロック暗号の提案と解析

基于格矩阵的分组密码的提出与分析

• 发表时间: 2022
• 作者: 川原大弥，山崎康平，瀧田愼;白石善明，森井昌克;大宮悠暉
• 通讯作者: 大宮悠暉

Random Numbers Generated by the Oscillator Sampling Method as a Renewal Process

振荡器采样方法生成的随机数作为更新过程

• DOI: 10.1587/transfun.2021eal2023
• 发表时间: 2022
• 期刊: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
• 作者: Seiya Nuta;Jacob C.N. Schuldt;and Takashi Nishide;Masahiro Kaminaga
• 通讯作者: Masahiro Kaminaga