Decorrelation: a theory for block cipher security (Q1879420)

This work studies provable block cipher security against specific models of attacks. The main mathematical notion which is intensively exploited is decorrelation. It is shown how to express security results in the Luby-Rackoff security model. It is proved that pairwise decorrelation can protect a cipher against basic differential and linear cryptoanalysis as well as some kind of iterated attacks. Applications of differential upper bounds to practical ciphers such as Feistel ciphers is also considered. The paper is well written and could be the foundation for a general theory for block cipher security.