1 |
Xiang, Zejun, et al. "Applying MILP method to searching integral distinguishers based on division property for 6 lightweight block ciphers." International Conference on the Theory and Application of Cryptology and Information Security. Springer, Berlin, Heidelberg, 2016.
|
2 |
Banik, Subhadeep, et al. "GIFT: a small PRESENT." International Conference on Cryptographic Hardware and Embedded Systems. Springer, Cham, 2017.
|
3 |
Sun, Siwei, et al. "Analysis of AES, SKINNY, and others with constraint programming." IACR Transactions on Symmetric Cryptology, 2017.
|
4 |
Sun, Ling, Wei Wang, and Meiqin Wang. "Automatic Search of Bit-Based Division Property for ARX Ciphers and Word-Based Division Property." International Conference on the Theory and Application of Cryptology and Information Security. Springer, Cham, 2017.
|
5 |
Beierle, Christof, et al. "The SKINNY family of block ciphers and its low-latency variant MANTIS." Annual-Cryptology Conference. Springer, Berlin, Heidelberg, 2016.
|
6 |
HoChang Lee, HyungChul Kang, Deukjo Hong, Jaechul Sung, Seokhie Hong, "Searching for Impossible Differential Characteristics of ARX-Based Block Cipher Using MILP" Journal of KIISC,VOL.27, NO.1, Feb. 2017.
|
7 |
Brian Lawless, "Fundamental digital electronics, Unit 17 Espresso minimization algorithm", http://www.physics.dcu.ie/-bl/digi/unitd17.pdf
|
8 |
Abdelkhalek, Ahmed, et al. "MILP Modeling for (Large) S-boxes to Optimize Probability of Differential Characteristics." IACR Transactions on Symmetric Cryptology 2017.4, 99-129. 2017.
|
9 |
Sun, Siwei, et al. "Automatic security evaluation and (related-key) differential characteristic search: application to SIMON, PRESENT, LBlock, DES (L) and other bit-oriented block ciphers." International Conference on the Theory and Application of Cryptology and Information Security. Springer, Berlin, Heidelberg, 2014.
|
10 |
Biham, Eli, and Adi Shamir. "Differential cryptanalysis of DES-like crypto systems." Journal of CRYPTOLOGY 4.1, 3-72. 1991.
DOI
|
11 |
Mouha, Nicky, et al. "Differential and linear cryptanalysis using mixed-integer linear programming." International Conference on Information Security and Cryptology. Springer, Berlin, Heidelberg, 2011.
|
12 |
Fu, Kai, et al. "Milp-based automatic search algorithms for differential and linear trails for speck." International Conference on Fast Software Encryption. Springer, Berlin, Heidelberg, 2016.
|
13 |
Sasaki, Yu, and Yosuke Todo. "New impossible differential search tool from design and cryptanalysis aspects." Annual International Conference on the Theory and Applications of Cryptographic Techniques. Springer, Cham, 2017.
|