| 講演名 | 2021-07-20 ForkSkinnyに対するMILPを用いた差分パス探索 岡崎 雅哉(名大), 佐々木 悠(NTT), 岩田 哲(名大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | ForkSkinnyはTweakableブロック暗号SKINNYをもとに設計された共通鍵暗号技術であり，2つの暗号文ブロックを出力する．本稿では，一方の暗号文ブロックを入力とし，もう一方の暗号文ブロックを出力とした場合の差分攻撃に対する安全性を評価する．ForkSkinnyでは内部状態の分岐部分において，2つのSboxを鍵に依存することなく適用する箇所があり，これらを1つのSboxとみなせることを指摘する．Active Sbox数と最大差分パス確率の評価にはMILPを用い，ラウンド数とこれらとの関係を明らかにする． |
| 抄録(英) | 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. |
| キーワード(和) | SKINNY / ForkSkinny / MILP / 差分パス探索 |
| キーワード(英) | SKINNY / ForkSkinny / MILP / differential path search |
| 資料番号 | ISEC2021-35,SITE2021-29,BioX2021-36,HWS2021-35,ICSS2021-40,EMM2021-40 |
| 発行日 | 2021-07-12 (ISEC, SITE, BioX, HWS, ICSS, EMM) |
| 研究会情報 | |
| 研究会 | BioX / ISEC / SITE / ICSS / EMM / HWS / IPSJ-CSEC / IPSJ-SPT |
|---|---|
| 開催期間 | 2021/7/19(から2日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | online |
| テーマ（和） | セキュリティ、一般 （セキュリティサマーサミット2021） |
| テーマ（英） | |
| 委員長氏名（和） | 今岡 仁(NEC) / 伊豆 哲也(富士通研) / 小川 賢(神戸学院大) / 吉岡 克成(横浜国大) / 西村 竜一(NICT) / 島崎 靖久(ルネサスエレクトロニクス) |
| 委員長氏名（英） | Hitoshi Imaoka(NEC) / Tetsuya Izu(Fujitsu Labs.) / Masaru Ogawa(Kobe Gakuin Univ.) / Katsunari Yoshioka(Yokohama National Univ.) / Ryoichi Nishimura(NICT) / Yasuhisa Shimazaki(Renesas Electronics) |
| 副委員長氏名（和） | 市野 将嗣(電通大) / 高田 直幸(セコム) / 國廣 昇(筑波大学) / 花岡 悟一郎(産総研) / 大谷 卓史(吉備国際大) / 辰己 丈夫(放送大) / 神谷 和憲(NTT) / 笠間 貴弘(NICT) / 藤吉 正明(都立大) / 市野 将嗣(電通大) / 永田 真(神戸大) / 鈴木 大輔(三菱電機) |
| 副委員長氏名（英） | Masatsugu Ichino(Univ. of Electro-Comm.) / Naoyuki Takada(SECOM) / Noboru Kunihiro(Tsukuba Univ.) / Goichiro Hanaoka(AIST) / Takushi Otani(Kibi International Univ.) / Takeo Tatsumi(Open Univ. of Japan) / Kazunori Kamiya(NTT) / Takahiro Kasama(NICT) / Masaaki Fujiyoshi(Tokyo Metropolitan Univ.) / Masatsugu Ichino(Univ. of Electro-Comm.) / Makoto Nagata(Kobe Univ.) / Daisuke Suzuki(Mitsubishi Electric) |
| 幹事氏名（和） | 奥井 宣広(KDDI総合研究所) / 佐野 恵美子(三菱電機) / 山本 大(富士通研) / 米山 一樹(茨城大) / 吉永 敦征(山口県立大) / 鈴木 大助(北陸大) / 山田 明(KDDI labs.) / 山内 利宏(岡山大) / 長谷川 まどか(宇都宮大) / 吉田 真紀(NICT) / 高橋 順子(NTT) / 藤本 大介(奈良先端大) |
| 幹事氏名（英） | Norihiko Okui(KDDI Research) / Emiko Sano(MitsubishiElectric) / Dai Yamamoto(Fujitsu Labs.) / Kazuki Yoneyama(Ibaraki Univ.) / Nobuyuki Yoshinaga(Yamaguchi Pref Univ.) / Daisuke Suzuki(Hokuriku Univ.) / Akira Yamada(KDDI labs.) / Toshihiro Yamauchi(Okayama Univ.) / Madoka Hasegawa(Utsunomiya Univ.) / Maki Yoshida(NICT) / Junko Takahashi(NTT) / Daisuke Fujimotoi(NAIST) |
| 幹事補佐氏名（和） | 鈴木 裕之(群馬大) / 早坂 昭裕(NEC) / 松田 隆宏(産総研) / 藤井 秀之(NRIセキュアテクノロジー) / 橘 雄介(福岡工業大) / 木藤 圭亮(三菱電機) / 菅原 健(電通大) / 今泉 祥子(千葉大) / 高嶋 洋一(開志専門職大) |
| 幹事補佐氏名（英） | Hiroyuki Suzuki(Gunma Univ) / Akihiro Hayasaka(NEC) / Takahiro Matsuda(AIST) / Hideyuki Fujii(NRI-Secure) / Yusuke Tachibana(Fukuoka Inst. of Tech.) / Keisuke Kito(Mitsubishi Electric) / Takeshi Sugawara(Univ. of Electro-Comm.) / Shoko Imaizumi(Chiba Univ.) / Youichi Takashima(Kaishi Professional Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Biometrics / Technical Committee on Information Security / Technical Committee on Social Implications of Technology and Information Ethics / Technical Committee on Information and Communication System Security / Technical Committee on Enriched MultiMedia / Technical Committee on Hardware Security / Special Interest Group on Computer Security / Special Interest Group on Security Psychology and Trust |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | ForkSkinnyに対するMILPを用いた差分パス探索 |
| サブタイトル（和） | |
| タイトル（英） | Differential Path Search Using MILP against ForkSkinny |
| サブタイトル（和） | |
| キーワード(1)（和/英） | SKINNY / SKINNY |
| キーワード(2)（和/英） | ForkSkinny / ForkSkinny |
| キーワード(3)（和/英） | MILP / MILP |
| キーワード(4)（和/英） | 差分パス探索 / differential path search |
| 第 1 著者 氏名（和/英） | 岡崎 雅哉 / Masaya Okazaki |
| 第 1 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 第 2 著者 氏名（和/英） | 佐々木 悠 / Yu Sasaki |
| 第 2 著者 所属（和/英） | NTT(略称：NTT) NTT(略称：NTT) |
| 第 3 著者 氏名（和/英） | 岩田 哲 / Tetsu Iwata |
| 第 3 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 発表年月日 | 2021-07-20 |
| 資料番号 | ISEC2021-35,SITE2021-29,BioX2021-36,HWS2021-35,ICSS2021-40,EMM2021-40 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | ISEC-118,SITE-119,BioX-120,HWS-121,ICSS-122,EMM-123 |
| ページ範囲 | pp.153-160(ISEC), pp.153-160(SITE), pp.153-160(BioX), pp.153-160(HWS), pp.153-160(ICSS), pp.153-160(EMM), |
| ページ数 | 8 |
| 発行日 | 2021-07-12 (ISEC, SITE, BioX, HWS, ICSS, EMM) |