Keccak [11] is a family of cryptographic hash functions [86] or, more accurately, sponge
functions [9]. This document describes the properties of the Keccak family and presents its …

The Keccak hash function is one of the five finalists in NIST's SHA-3 competition, and so far it
showed remarkable resistance against practical collision finding attacks: After several years …

In this paper, we analyze the security of round-reduced versions of the Keccak hash function
family. Based on the work pioneered by Aumasson and Meier, and Dinur et al., we formalize …

Tracking bits through block ciphers and optimizing attacks at hand is one of the tedious task
symmetric cryptanalysts have to deal with. It would be nice if a program will automatically …

In this paper, we introduce Constraint Programming (CP) models to solve a cryptanalytic
problem: the chosen key differential attack against the standard block cipher AES. The …

Hardware vulnerabilities are generally considered more difficult to fix than software ones
because they are persistent after fabrication. Thus, it is crucial to assess the security and fix …

We present new preimage attacks on standard Keccak-224 and Keccak-256 that are
reduced to 3 and 4 rounds. An allocating approach is used in the attacks, and the whole …

Keccak is a finalist of the SHA-3 competition. In this paper we propose a practical
distinguisher on 4 rounds of the hash function with the submission parameters. Recently, the …

Ascon is the final winner of the lightweight cryptography standardization competition (2018−
2023). In this paper, we focus on preimage attacks against round-reduced Ascon. The …

We analyze the internal permutations of Keccak, one of the NIST SHA-3 competition finalists,
in regard to differential properties. By carefully studying the elements composing those …