Improved algebraic attacks on lightweight block ciphers
作者： Sze Ling Yeo , Duc-Phong Le , Khoongming Khoo
DOI: 10.1007/S13389-020-00237-4
关键词:
摘要: … facilitates the solving process via modern SAT solvers. First, we present an ElimLin-SAT framework to carry out algebraic attacks on lightweight block ciphers. Concretely, one first finds …
springer.com
sci-hub.st 参考文章(37)
Nicolas T Courtois, Willi Meier, Algebraic attacks on stream ciphers with linear feedback theory and application of cryptographic techniques. pp. 345- 359 ,(2003) , 10.1007/978-3-540-45146-4_11
Nicolas T. Courtois, Jacques Patarin, About the XL Algorithm over GF(2) Topics in Cryptology — CT-RSA 2003. pp. 141- 157 ,(2003) , 10.1007/3-540-36563-X_10
Gregor Leander, Mohamed Ahmed Abdelraheem, Hoda AlKhzaimi, Erik Zenner, A cryptanalysis of PRINTcipher: the invariant subspace attack international cryptology conference. pp. 206- 221 ,(2011) , 10.1007/978-3-642-22792-9_12
Alex Biryukov, Arnab Roy, Vesselin Velichkov, Differential Analysis of Block Ciphers SIMON and SPECK Fast Software Encryption. pp. 546- 570 ,(2015) , 10.1007/978-3-662-46706-0_28
Stefan Kölbl, Gregor Leander, Tyge Tiessen, Observations on the SIMON Block Cipher Family international cryptology conference. ,vol. 2015, pp. 161- 185 ,(2015) , 10.1007/978-3-662-47989-6_8
Pouyan Sepehrdad, Statistical and Algebraic Cryptanalysis of Lightweight and Ultra-Lightweight Symmetric Primitives EPFL. ,(2012) , 10.5075/EPFL-THESIS-5415
Niklas Eén, Niklas Sörensson, An Extensible SAT-solver theory and applications of satisfiability testing. ,vol. 2919, pp. 502- 518 ,(2003) , 10.1007/978-3-540-24605-3_37
Martin Albrecht, Carlos Cid, Algebraic Techniques in Differential Cryptanalysis fast software encryption. pp. 193- 208 ,(2009) , 10.1007/978-3-642-03317-9_12
Nicolas T. Courtois, Josef Pieprzyk, Cryptanalysis of Block Ciphers with Overdefined Systems of Equations international conference on the theory and application of cryptology and information security. pp. 267- 287 ,(2002) , 10.1007/3-540-36178-2_17
Nicolas Courtois, Alexander Klimov, Jacques Patarin, Adi Shamir, Efficient algorithms for solving overdefined systems of multivariate polynomial equations theory and application of cryptographic techniques. pp. 392- 407 ,(2000) , 10.1007/3-540-45539-6_27