Block cipher modes of operation provide a way to securely encrypt using a block cipher. The
main factors in analyzing modes of operation are the level of security achieved (chosen …

We propose a new composition scheme for hash functions. It is a variant of the Merkle–
Damgård construction with a permutation applied right before the processing of the last …

We provide the first proof of security for Abreast-DM, one of the oldest and most well-known
constructions for turning a block cipher with $ n $-bit block length and $2 n $-bit key length …

The security of block-cipher-based hash-then-encrypt-type message authentication codes
(MACs) has been proven with universal hash functions. Thus, the security of the underlying …

We propose a new composition scheme for hash functions. It is a variant of the Merkle-
Damgård construction with a permutation applied right before the processing of the last …

A common trend in applications of block ciphers over the past decades has been to employ
block ciphers as one piece of a “mode of operation”—possibly, a way to make a secure …

Lightweight cryptography is a topic of growing importance, with the goal to secure the
communication of low-end devices that are not powerful enough to use conventional …

Security amplification results for block ciphers typically state that cascading (ie, composing
with independent keys) two (or more) block ciphers yields a new block cipher that offers …

The security proofs of leakage-resilient MACs based on symmetric building blocks currently
rely on idealized assumptions that hardly translate into interpretable guidelines for the …

We consider linear approximations of an iterated block cipher in the presence of several
strong linear approximation trails. While the effect of such trails in Matsui's Algorithm 2, also …