The area of practical computational integrity proof systems, like SNARKs, STARKs,
Bulletproofs, is seeing a very dynamic development with several constructions having …

Traditionally, countermeasures against physical attacks are integrated into the
implementation of cryptographic primitives after the algorithms have been designed for …

Keyed and unkeyed cryptographic permutations often iterate simple round functions.
Substitution-permutation networks (SPNs) are an approach that is popular since the mid …

In this article, we present WARP, a lightweight 128-bit block cipher with a 128-bit key. It aims
at small-footprint circuit in the field of 128-bit block ciphers, possibly for a unified encryption …

Nowadays, the use of the Internet of Things has reached a commanding height in a new
round of economic and technological upsurge. Its data transmission security has attracted …

This paper defines Spook: a sponge-based authenticated encryption with associated data
algorithm. It is primarily designed to provide security against side-channel attacks at a low …

In this paper, a platform named PEIGEN is presented to evaluate security, find efficient
software/hardware implementations, and generate cryptographic S-boxes. Continuously …

A new approach to invariant subspaces and nonlinear invariants is developed. This results
in both theoretical insights and practical attacks on block ciphers. It is shown that, with minor …

Recently, a memory safety concept called Cryptographic Capability Computing (C 3) has
been proposed. C 3 is the first memory safety mechanism that works without requiring extra …

We present the family of authenticated encryption schemes SKINNY-AEAD and the family of
hashing schemes SKINNY-Hash. All of the schemes employ a member of the SKINNY family …