Authenticated encryption satisfies the basic need for authenticity and confidentiality in our
information infrastructure. In this paper, we provide the specification of Ascon-128 and …

Abstract The National Institute of Standards and Technology (NIST) initiated a public
standardization process to select one or more Authenticated Encryption with Associated …

We propose the first adaptation of Matsui's algorithm for finding the best differential and
linear trails to the class of ARX ciphers. It is based on a branch-and-bound search strategy …

Search for different types of distinguishers are common tasks in symmetric-key cryptanalysis.
In this work, we employ the constraint programming (CP) technique to tackle such problems …

This paper introduces claasp, a Cryptographic Library for the Automated Analysis of
Symmetric Primitives. The library is designed to be modular, extendable, easy to use …

Abstract Cryptanalysis with SAT/SMT, MILP and CP has increased in popularity among
symmetric-key cryptanalysts and designers due to its high degree of automation. So far, this …

Automated methods have become crucial components when searching for distinguishers
against symmetric-key cryptographic primitives. While MILP and SAT solvers are among the …

Abstract The National Institute of Standards and Technology (NIST) initiated a public
standardization process to select one or more schemes that provide Authenticated …

Being one of the winning algorithms of the CAESAR competition and currently a second
round candidate of the NIST lightweight cryptography standardization project, the …

Being one of the winners of the CAESAR competition and a finalist of the ongoing NIST
lightweight cryptography competition, the authenticated encryption with associated data …