ForkSkinnyに対するMILPを用いた差分パス探索

• Item type: SIG Technical Reports(1)
• 公開日: 2021-07-12
• タイトル: ForkSkinnyに対するMILPを用いた差分パス探索
• タイトル / 言語: en
• タイトル: Differential Path Search Using MILP against ForkSkinny
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: ISEC
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 名古屋大学大学院工学研究科
• 著者所属: NTTセキュアプラットフォーム研究所
• 著者所属: 名古屋大学大学院工学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Nagoya University
• 著者所属(英): en
• 著者所属(英): NTT Secure Platform Laboratories
• 著者所属(英): en
• 著者所属(英): Graduate School of Engineering, Nagoya University
• 著者名: 岡崎, 雅哉; 佐々木, 悠; 岩田, 哲
• 著者名(英): Masaya, Okazaki; Yu, Sasaki; Tetsu, Iwata
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: ForkSkinny は Tweakable ブロック暗号 SKINNY をもとに設計された共通鍵暗号技術であり，2 つの暗号文ブロックを出力する．本稿では，一方の暗号文ブロックを入力とし，もう一方の暗号文ブロックを出力とした場合の差分攻撃に対する安全性を評価する．ForkSkinny では内部状態の分岐部分において，2 つの Sbox を鍵に依存することなく適用する箇所があり，これらを 1 つの Sbox とみなせることを指摘する．Active Sbox 数と最大差分パス確率の評価には MILP を用い，ラウンド数とこれらとの関係を明らかにする．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: ForkSkinny is a symmetric key primitive desgined based on a tweakable block cipher called SKINNY, and it outputs two ciphertext blocks. In this paper, we evaluate the security against differential attacks when we take one of the ciphertext blocks as input, and the other one as output. In ForkSkinny, there is a forking procedure of the internal state, where two consecutive Sboxes are used without the secret key. We point out that this part can be seen as a single Sbox. We use MILP to evaluate the number of active Sboxes and the maximum differential path probability, and show their relation to the number of rounds.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA12628305
• 書誌情報: 研究報告セキュリティ心理学とトラスト（SPT）; 巻 2021-SPT-43, 号 38, p. 1-8, 発行日 2021-07-12
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8671
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会