Archives

Mixed 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

Keccak est une fonction de hachage conçue par Guido Bertoni, Joan Daemen, Michaël Peeters et Gilles Van Assche dans le cadre de la compétition du NIST pour la standardisation d'un nouvel algorithme de hachage cryptographique. En 2012, Keccak remporte cette

Finite fields have a central role in cryptography, since many protocols use them as their foundation. Therefore, it is crucial to have efficient arithmetic operations, e.g. multiplication and addition, over finite fields. Multiplication is usually quite expensive, hence there has