International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Quantum Differential and Linear Cryptanalysis

Authors:
Marc Kaplan , LTCI, Télécom ParisTech, 23 avenue d’Italie, 75214 Paris CEDEX 13; School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 9AB
Gaëtan Leurent , Inria Paris
Anthony Leverrier , Inria Paris
María Naya-Plasencia , Inria Paris
Download:
DOI: 10.13154/tosc.v2016.i1.71-94
URL: http://tosc.iacr.org/index.php/ToSC/article/view/536
Search ePrint
Search Google
Abstract: Quantum computers, that may become available one day, would impact many scientific fields, most notably cryptography since many asymmetric primitives are insecure against an adversary with quantum capabilities. Cryptographers are already anticipating this threat by proposing and studying a number of potentially quantum-safe alternatives for those primitives. On the other hand, symmetric primitives seem less vulnerable against quantum computing: the main known applicable result is Grover’s algorithm that gives a quadratic speed-up for exhaustive search. In this work, we examine more closely the security of symmetric ciphers against quantum attacks. Since our trust in symmetric ciphers relies mostly on their ability to resist cryptanalysis techniques, we investigate quantum cryptanalysis techniques. More specifically, we consider quantum versions of differential and linear cryptanalysis. We show that it is usually possible to use quantum computations to obtain a quadratic speed-up for these attack techniques, but the situation must be nuanced: we don’t get a quadratic speed-up for all variants of the attacks. This allows us to demonstrate the following non-intuitive result: the best attack in the classical world does not necessarily lead to the best quantum one. We give some examples of application on ciphers LAC and KLEIN. We also discuss the important difference between an adversary that can only perform quantum computations, and an adversary that can also make quantum queries to a keyed primitive.
BibTeX
@article{tosc-2016-28124,
  title={Quantum Differential and Linear Cryptanalysis},
  journal={IACR Trans. Symmetric Cryptol.},
  publisher={Ruhr-Universität Bochum},
  volume={2016, Issue 1},
  pages={71-94},
  url={http://tosc.iacr.org/index.php/ToSC/article/view/536},
  doi={10.13154/tosc.v2016.i1.71-94},
  author={Marc Kaplan and Gaëtan Leurent and Anthony Leverrier and María Naya-Plasencia},
  year=2016
}