| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2023-07-25 09:20 AEGIS Familyに対するSATを用いた差分解析 ○白矢琢朗（兵庫県立大）・阪本光星（三菱電機）・五十部孝典（兵庫県立大）  ISEC2023-45 SITE2023-39 BioX2023-48 HWS2023-45 ICSS2023-42 EMM2023-45 |
|
| 抄録 | （和） | 本稿ではソフトウェア上で高速に実行する高速認証暗号方式である，AEGIS-128/128L/256に対して充足可能性問題を用いた安全性評価を実施する． SCIS 2022において，竹内らはAEGISの初期化フェーズについて，混合整数線形計画法を用いてbyte単位でactive S-boxの下界を導出することにより，差分攻撃に対する安全性評価を行った． byte単位に丸めた評価では差分パスを厳密に定義することができないため，存在しないパスを利用してactive S-boxの下界ではなく上界を見積もっていた可能性がある． 本研究ではbit単位で差分攻撃への耐性評価を行う． 具体的にはactive S-boxの下界導出とactive S-box内部の差分パスまで考慮して厳密な最大差分特性確率の導出を行う． 本研究はAEGIS-128/128L/256の初期化フェーズについて，bit単位で差分攻撃への安全性評価とラウンドごとの最大差分特性確率の導出を初めて行ったものである． |
| （英） | We evaluate the security of the AEGIS family which is authenticated encryption with an associated data scheme to achieve fast software implementation using SAT (SATisfiability) tools. At SCIS 2022, Takeuchi et al. evaluated the security against differential attacks for the initialization phase of AEGIS to estimate the lower bounds for the number of active S-boxes byte-wise. The evaluation has a possibility of underestimating the active S-boxes that using not exist differential path because it can't define the differential path strictly. In this reserch, we evaluate bit-wise. Specifically, for the initialization phase of AEGIS, we evaluate the security against differential attacks by estimating the lower bounds for the number of active S-boxes and the upper bounds for the Differential Characteristics Probability by considering the differential path in active S-boxes. As a result, we show that the initialization phases of AEGIS-128/128L/256 are secure against differential attacks after 4/3/6, respectively. We show the exact security of the initialization phase of AEGIS in bit units against differential attacks and estimate the upper bounds for the Differential Characteristics Probability per round for the first time. |
|
| キーワード | （和） | 認証暗号 / 差分解析 / SATソルバー / / / / / |
| （英） | AEAD / differential analysis / SAT solver / / / / / | |
| 文献情報 | 信学技報, vol. 123, no. 129, ISEC2023-45, pp. 202-207, 2023年7月. | |
| 資料番号 | ISEC2023-45 | |
| 発行日 | 2023-07-17 (ISEC, SITE, BioX, HWS, ICSS, EMM) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | ISEC2023-45 SITE2023-39 BioX2023-48 HWS2023-45 ICSS2023-42 EMM2023-45 |
|
| 研究会情報 | |
| 研究会 | EMM BioX ISEC SITE ICSS HWS IPSJ-CSEC IPSJ-SPT |
| 開催期間 | 2023-07-24 - 2023-07-25 |
| 開催地（和） | 北海道自治労会館 |
| 開催地（英） | Hokkaido Jichiro Kaikan |
| テーマ（和） | セキュリティ、一般 （セキュリティサマーサミット2023） |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | ISEC |
| 会議コード | 2023-07-EMM-BioX-ISEC-SITE-ICSS-HWS-CSEC-SPT |
| 本文の言語 | 日本語 |
| タイトル（和） | AEGIS Familyに対するSATを用いた差分解析 |
| サブタイトル（和） | |
| タイトル（英） | SAT-based Differential analysis of AEGIS Family |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 認証暗号 / AEAD |
| キーワード(2)（和/英） | 差分解析 / differential analysis |
| キーワード(3)（和/英） | SATソルバー / SAT solver |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 白矢 琢朗 / Takuro Shiraya / シラヤ タクロウ |
| 第1著者 所属（和/英） | 兵庫県立大学 (略称： 兵庫県立大) University of Hyogo (略称： UOH) |
| 第2著者 氏名（和/英/ヨミ） | 阪本 光星 / Kosei Sakamoto / サカモト コウセイ |
| 第2著者 所属（和/英） | 三菱電機株式会社 (略称： 三菱電機) Mitsubishi Electric Corporation (略称： Mitsubishi Electric) |
| 第3著者 氏名（和/英/ヨミ） | 五十部 孝典 / Takanori Isobe / イソベ タカノリ |
| 第3著者 所属（和/英） | 兵庫県立大学 (略称： 兵庫県立大) University of Hyogo (略称： UOH) |
| 講演者 | 第1著者 |
| 発表日時 | 2023-07-25 09:20:00 |
| 発表時間 | 20分 |
| 申込先研究会 | ISEC |
| 資料番号 | ISEC2023-45, SITE2023-39, BioX2023-48, HWS2023-45, ICSS2023-42, EMM2023-45 |
| 巻番号（vol） | vol.123 |
| 号番号（no） | no.129(ISEC), no.130(SITE), no.131(BioX), no.132(HWS), no.133(ICSS), no.134(EMM) |
| ページ範囲 | pp.202-207 |
| ページ数 | 6 |
| 発行日 | 2023-07-17 (ISEC, SITE, BioX, HWS, ICSS, EMM) |
[研究会発表申込システムのトップページに戻る]