Presentation 2021-07-20
Differential Path Search Using MILP against ForkSkinny
Masaya Okazaki, Yu Sasaki, Tetsu Iwata,
PDF Download Page PDF download Page Link
Abstract(in Japanese) (See Japanese page)
Abstract(in English) 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.
Keyword(in Japanese) (See Japanese page)
Keyword(in English) SKINNY / ForkSkinny / MILP / differential path search
Paper # ISEC2021-35,SITE2021-29,BioX2021-36,HWS2021-35,ICSS2021-40,EMM2021-40
Date of Issue 2021-07-12 (ISEC, SITE, BioX, HWS, ICSS, EMM)

Conference Information
Committee BioX / ISEC / SITE / ICSS / EMM / HWS / IPSJ-CSEC / IPSJ-SPT
Conference Date 2021/7/19(2days)
Place (in Japanese) (See Japanese page)
Place (in English) online
Topics (in Japanese) (See Japanese page)
Topics (in English)
Chair Hitoshi Imaoka(NEC) / Tetsuya Izu(Fujitsu Labs.) / Masaru Ogawa(Kobe Gakuin Univ.) / Katsunari Yoshioka(Yokohama National Univ.) / Ryoichi Nishimura(NICT) / Yasuhisa Shimazaki(Renesas Electronics)
Vice Chair 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)
Secretary Masatsugu Ichino(KDDI Research) / Naoyuki Takada(MitsubishiElectric) / Noboru Kunihiro(Fujitsu Labs.) / Goichiro Hanaoka(Ibaraki Univ.) / Takushi Otani(Yamaguchi Pref Univ.) / Takeo Tatsumi(Hokuriku Univ.) / Kazunori Kamiya(KDDI labs.) / Takahiro Kasama(Okayama Univ.) / Masaaki Fujiyoshi(Utsunomiya Univ.) / Masatsugu Ichino(NICT) / Makoto Nagata(NTT) / Daisuke Suzuki(NAIST)
Assistant 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.)

Paper Information
Registration To 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
Language JPN
Title (in Japanese) (See Japanese page)
Sub Title (in Japanese) (See Japanese page)
Title (in English) Differential Path Search Using MILP against ForkSkinny
Sub Title (in English)
Keyword(1) SKINNY
Keyword(2) ForkSkinny
Keyword(3) MILP
Keyword(4) differential path search
1st Author's Name Masaya Okazaki
1st Author's Affiliation Nagoya University(Nagoya Univ.)
2nd Author's Name Yu Sasaki
2nd Author's Affiliation NTT(NTT)
3rd Author's Name Tetsu Iwata
3rd Author's Affiliation Nagoya University(Nagoya Univ.)
Date 2021-07-20
Paper # ISEC2021-35,SITE2021-29,BioX2021-36,HWS2021-35,ICSS2021-40,EMM2021-40
Volume (vol) vol.121
Number (no) ISEC-118,SITE-119,BioX-120,HWS-121,ICSS-122,EMM-123
Page pp.pp.153-160(ISEC), pp.153-160(SITE), pp.153-160(BioX), pp.153-160(HWS), pp.153-160(ICSS), pp.153-160(EMM),
#Pages 8
Date of Issue 2021-07-12 (ISEC, SITE, BioX, HWS, ICSS, EMM)