SMT Solver-Based Cryptanalysis of Block Ciphers

[1]  Hüseyin Demirci.  Square-like Attacks on Reduced Rounds of IDEA , 2002, Selected Areas in Cryptography.

[2]  Jason Smith,et al.  The SIMON and SPECK lightweight block ciphers , 2015, 2015 52nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[3]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[4]  Clemens Heinrich,et al.  Pretty Good Privacy (PGP) , 2005, Encyclopedia of Cryptography and Security.

[5]  Sean Heelan,et al.  SMT Solvers in Software Security , 2012, WOOT.

[6]  Joos Vandewalle,et al.  New Weak-Key Classes of IDEA , 2002, ICICS.

[7]  Martin Stanek.  Experimenting with Shuffle Block Cipher and SMT Solvers , 2014, IACR Cryptol. ePrint Arch..

[8]  Srinath T. V. Setty,et al.  Vale: Verifying High-Performance Cryptographic Assembly Code , 2017, USENIX Security Symposium.

[9]  Nikolaj Bjørner,et al.  Satisfiability modulo theories , 2011, Commun. ACM.

[10]  Xuejia Lai,et al.  A Proposal for a New Block Encryption Standard , 1991, EUROCRYPT.

[11]  John M. Rushby.  Tutorial: Automated Formal Methods with PVS, SAL, and Yices , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[12]  Armin Biere,et al.  Boolector 2.0 , 2015, J. Satisf. Boolean Model. Comput..

[13]  Gaëtan Leurent,et al.  Narrow-Bicliques: Cryptanalysis of Full IDEA , 2012, EUROCRYPT.

[14]  Vincent Rijmen,et al.  Two Attacks on Reduced IDEA , 1997, EUROCRYPT.

[15]  Sebastian Junges,et al.  SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving , 2015, SAT.

[16]  Eli Biham,et al.  Differential Cryptanalysis of the Data Encryption Standard , 1993, Springer New York.

[17]  Eli Biham,et al.  Miss in the Middle Attacks on IDEA and Khufu , 1999, FSE.

[18]  Stefan Kölbl,et al.  Observations on the SIMON Block Cipher Family , 2015, CRYPTO.

[19]  Eli Biham,et al.  New Data-Efficient Attacks on Reduced-Round IDEA , 2011, IACR Cryptol. ePrint Arch..

[20]  Ali Aydin Selçuk,et al.  A New Meet-in-the-Middle Attack on the IDEA Block Cipher , 2003, Selected Areas in Cryptography.

[21]  Armin Biere,et al.  Boolector: An Efficient SMT Solver for Bit-Vectors and Arrays , 2009, TACAS.

[22]  Eli Biham,et al.  A New Attack on 6-Round IDEA , 2007, FSE.

[23]  Aaron Tomb.  Automated Verification of Real-World Cryptographic Implementations , 2016, IEEE Security & Privacy.

[24]  Willi Meier,et al.  On the Security of the IDEA Block Cipher , 1994, EUROCRYPT.

[25]  Armin Biere,et al.  BTOR: bit-precise modelling of word-level problems for model checking , 2008, SMT '08/BPR '08.