{"type":"ScholarlyArticle","title":"Using Constraint Programming to solve a Cryptanalytic Problem","authors":[{"name":"David Gerault","slug":"david-gerault","given":"David","family":"Gerault","affiliation":"( ) Université Clermont Auvergne , LIMOS , France ("},{"name":"Marine Minier","slug":"marine-minier","given":"Marine","family":"Minier","affiliation":") Université de Lorraine , LORIA , UMR 7503 , F-54506 , France ("},{"name":"Christine Solnon","slug":"christine-solnon","given":"Christine","family":"Solnon","affiliation":") Université de Lyon , INSA-Lyon , F-69621 , LIRIS ,; CNRS UMR5205 , France"}],"abstract":"We describe Constraint Programming (CP) models to solve a  cryptanalytic problem: the chosen key differential attack against the standard block cipher AES. We show that CP solvers are able to solve these problems quicker than dedicated cryptanalysis tools, and we prove that a solution claimed to be optimal in two recent cryptanalysis papers is not optimal by providing a better solution.","doi":"10.24963/ijcai.2017/679","url":"https://ijcai.org/proceedings/2017/679","pdf":"https://ijcai.org/proceedings/2017/0679.pdf","markdown":"https://ijcai.org/proceedings/2017/679.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/679","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Best Sister Conferences","track":"Best Sister Conferences","number":679,"pages":{"first":4844,"last":4848},"keywords":["Artificial Intelligence: search and constraint satisfaction"],"videos":[],"references":[{"position":1,"raw":"[Biham and Shamir, 1991] Eli Biham and Adi Shamir. Dif- ferential cryptoanalysis of feal and n-hash. In Advances in Cryptology -EUROCRYPT '91, volume 547 of Lecture Notes in Computer Science, pages 1-16. Springer, 1991.","title":"Differential cryptoanalysis of feal and n-hash","authors":"Shamir Biham","year":"1991","venue":"Advances in Cryptology -EUROCRYPT '91","doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Biham, 1993] Eli Biham. New types of cryptoanalytic at- tacks using related keys (extended abstract). In Advances in Cryptology -EUROCRYPT '93, volume 765 of Lec- ture Notes in Computer Science, pages 398-409. Springer, 1993.","title":"Eli Biham. New types of cryptoanalytic attacks using related keys (extended abstract)","authors":"Biham","year":"1993","venue":"Advances in Cryptology -EUROCRYPT '93","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Biryukov and Nikolic, 2010] Alex Biryukov and Ivica Nikolic. Automatic search for related-key differential characteristics in byte-oriented block ciphers: Application to aes, camellia, khazad and others. In Advances in Cryptology -EUROCRYPT 2010, volume 6110 of Lecture Notes in Computer Science, pages 322-344. Springer, 2010.","title":"Automatic search for related-key differential characteristics in byte-oriented block ciphers: Application to aes, camellia, khazad and others","authors":"Nikolic Biryukov, Alex Biryukov, Ivica Nikolic","year":"2010","venue":"Advances in Cryptology -EUROCRYPT 2010","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Biryukov et al., 2009] Alex Biryukov, Dmitry Khovra- tovich, and Ivica Nikolic. Distinguisher and related-key attack on the full AES-256. In Advances in Cryptology -CRYPTO 2009, volume 5677 of Lecture Notes in Com- puter Science, pages 231-249. Springer, 2009.","title":"Distinguisher and related-key attack on the full AES-256","authors":"Alex Biryukov, Dmitry Khovratovich, Ivica Nikolic","year":"2009","venue":"Advances in Cryptology -CRYPTO 2009","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Chu and Stuckey, 2014] Geoffrey Chu and Peter J. Stuckey. Chuffed solver description, 2014. Available at http://www.minizinc.org/challenge2014/ description\\_chuffed.txt.","title":"Chuffed solver description","authors":"Geoffrey Chu, Peter J Stuckey","year":"2014","venue":null,"doi":null,"url":"http://www.minizinc.org/challenge2014/description\\_chuffed.txt","internal_url":null},{"position":6,"raw":"[Daemen and Rijmen, 2002] J. Daemen and V. Rijmen. The Design of Rijndael. Springer-Verlag, 2002. [FIPS 197, 2001] FIPS 197. Advanced Encryption Stan- dard. Federal Information Processing Standards Publica- tion 197, 2001.","title":"The Design of Rijndael","authors":"J Daemen, V Rijmen","year":"2001","venue":"Advanced Encryption Standard. Federal Information Processing Standards Publication 197","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"U.S. Department of Commerce/N.I.S.T. [Fouque et al., 2013] Pierre-Alain Fouque, Jérémy Jean, and Thomas Peyrin. Structural evaluation of aes and chosen- key distinguisher of 9-round aes-128. In Advances in Cryptology -CRYPTO 2013, volume 8042 of Lecture Notes in Computer Science, pages 183-203. Springer, 2013. [Gecode Team, 2006] Gecode Team. Gecode: Generic con- straint development environment, 2006. Available from http://www.gecode.org.","title":"Structural evaluation of aes and chosenkey distinguisher of 9-round aes-128","authors":"N I S T Fouque","year":"2006","venue":"Gecode Team. Gecode: Generic constraint development environment","doi":null,"url":"http://www.gecode.org","internal_url":null},{"position":8,"raw":"[Gerault et al., 2016] David Gerault, Marine Minier, and Christine Solnon. Constraint programming models for chosen key differential cryptanalysis. In Principles and Practice of Constraint Programming -CP 2016, volume 9892 of Lecture Notes in Computer Science, pages 584- 601. Springer, 2016.","title":"Constraint programming models for chosen key differential cryptanalysis","authors":"David Gerault, Marine Minier, Christine Solnon","year":"2016","venue":"Principles and Practice of Constraint Programming -CP 2016","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Gérault et al., 2017] David Gérault, Pascal Lafourcade, Ma- rine Minier, and Christine Solnon. Revisiting aes related-key differential attacks with constraint program- ming. Cryptology ePrint Archive, Report 2017/139, 2017. http://eprint.iacr.org/2017/139.","title":"Revisiting aes related-key differential attacks with constraint programming","authors":"David Gérault, Pascal Lafourcade, Marine Minier, Christine Solnon","year":"2017","venue":"Cryptology ePrint Archive","doi":null,"url":"http://eprint.iacr.org/2017/139","internal_url":null},{"position":10,"raw":"[Nethercote et al., 2007] Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, and Guido Tack. Minizinc: Towards a standard CP modelling language. In Principles and Practice of Constraint Programming -CP 2007, volume 4741 of Lecture Notes in Computer Science, pages 529-543. Springer, 2007.","title":"Minizinc: Towards a standard CP modelling language","authors":"Nicholas Nethercote, Peter J Stuckey, Ralph Becket, Sebastian Brand, Gregory J Duck, Guido Tack","year":"2007","venue":"Principles and Practice of Constraint Programming -CP 2007","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Prudhomme and Fages, 2013] Charles Prudhomme and Jean-Guillaume Fages. An introduction to choco 3.0: an open source java constraint programming library. In CP Workshop on \"CP Solvers: Modeling, Applications, Integration, and Standardization\", 2013.","title":"An introduction to choco 3.0: an open source java constraint programming library","authors":"Fages Prudhomme, Charles Prudhomme, Jean-Guillaume Fages","year":"2013","venue":"CP Workshop on \"CP Solvers: Modeling, Applications, Integration, and Standardization","doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}