CRYPTO : Daniel Coggia (Inria Paris) : Efficient MILP Modelings for Sboxes and Linear Layers of SPN ciphers
Bâtiment Descartes, salle 301Mixed Integer Linear Programming (MILP) solvers are regularly used by designers for providing security arguments and by cryptanalysts for searching for new distinguishers. For both applications, bitwise models are more refined and permit to analyze properties of primitives more accurately