Provable security of block ciphers against linear cryptanalysis: a mission impossible?

  • Authors:
  • Gilles Piret;François-Xavier Standaert

  • Affiliations:
  • Oberthur Card Systems, Nanterre, France;Microelectronics Laboratory, UCL Crypto Group, Louvain-la-Neuve, Belgium

  • Venue:
  • Designs, Codes and Cryptography
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we are concerned with the security of block ciphers against linear cryptanalysis and discuss the distance between the so-called practical security approach and the actual theoretical security provided by a given cipher. For this purpose, we present a number of illustrative experiments performed against small (i.e. computationally tractable) ciphers. We compare the linear probability of the best linear characteristic and the actual best linear probability (averaged over all keys). We also test the key equivalence hypothesis. Our experiments illustrate both that provable security against linear cryptanalysis is not achieved by present design strategies and the relevance of the practical security approach. Finally, we discuss the (im)possibility to derive actual design criteria from the intuitions underlined in these experiments.