Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy-Reference-Cited by-同舟云学术

Speeding up MILP Aided Differential Characteristic Search with Matsui’s Strategy

Published:2018 Issue: Volume: Page:101-115
ISSN:0302-9743
Container-title:Developments in Language Theory
language:
Short-container-title:

Author:

Zhang Yingjie,Sun Siwei,Cai Jiahao,Hu Lei

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-99136-8_6

Reference31 articles.

1. Gurobi Optimization. Gurobi Optimizer Reference Manual (2013)

2. Abdelkhalek, A., Sasaki, Y., Tolba, M., Youssef, A.M.: MILP modeling for (large) S-boxes to optimize probability of differential characteristics. IACR Trans. Symmetric Cryptol. 2017(4), 99–129 (2017)

3. Lecture Notes in Computer Science;K Aoki,1997

4. Lecture Notes in Computer Science;J-P Aumasson,2015

5. Bannier, A., Nicolas, B., Eric, F.: Automatic search for a maximum probability differential characteristic in a substitution-permutation network. In: 48th Hawaii International Conference on System Sciences, HICSS 2015, Kauai, Hawaii, USA, January 5–8, 2015, pp. 5165–5174 (2015)

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Keeping classical distinguisher and neural distinguisher in balance;Journal of Information Security and Applications;2024-08

2. Integral Cryptanalysis of Reduced-Round IIoTBC-A and Full IIoTBC-B;Mathematics;2024-05-29

3. EasyBC: A Cryptography-Specific Language for Security Analysis of Block Ciphers against Differential Cryptanalysis;Proceedings of the ACM on Programming Languages;2024-01-05

4. SAT-Based Security Evaluation for WARP against Linear Cryptanalysis;IET Information Security;2023-12-06

5. New method for combining Matsui’s bounding conditions with sequential encoding method;Designs, Codes and Cryptography;2023-07-07