Abstract
The work is devoted to the study quantum versions of the differential cryptanalysis based on using a combination of the quantum minimum/maximum search algorithm and the quantum counting algorithm. We have estimated the complexity and the required resources for applying the quantum differential and quantum linear cryptanalysis to searching round keys of block ciphers. It is shown that the implementation of the quantum linear method requires less logical qubits than for the implementation of the quantum differential method. The acceleration of calculations due to “quantum parallelism” in the quantum differential cryptanalysis, based on a combination of Grover’s quantum algorithms and quantum counting algorithm, is apparently absent, because the using of quantum counting as “subprogram” in the Grover algorithm eliminates quantum acceleration, as far as \( O (\sqrt{K}) \cdot O (\sqrt{K}) \approx O (K) \).
Similar content being viewed by others
References
Biham E., Shamir A.: Differential cryptanalysis of the data encrypt standard. ISBN 978-1-4613-9314-6 (1993)
Matsui M.: Linear cryptanalysis method for DES cipher. In: Workshop on the Theory and Application of of Cryptographic Technique, pp. 386–397 (1994)
Xie, H., Yang, L.: Using Bernstein-Vazirani algorithm to attack block ciphers. Des. Codes Cryptogr. 87, 1161–1182 (2019). https://doi.org/10.1007/s10623-018-0510-5
Li, H.-W., Yang, L.: A quantum algorithm to approximate the linear structures of Boolean functions. Math. Struct. Comput. Sci. 1, 1–13 (2014). https://doi.org/10.1017/S0960129516000013
Li, H.-W., Yang, L.: Quantum differential cryptanalysis to the block ciphers. Int. Conf. Appl. Tech. Inf. Secur. (2015). https://doi.org/10.1017/978-3-662-48683-2_5
Kaplan, M., Leurent, G., Leverrier, A., Naya-Plasencia, M.: Quantum differential and linear cryptanalysis. IACR Trans. Symmetric Cryptol. 1, 71–94 (2016). https://doi.org/10.13154/tosc.v2016.i1.71-94
Zhou, Q., Lu, S., Zhang, A., Sun, J.: Quantum differential cryptanalysis. Quantum Inf. Process. 14, 2101–2109 (2015). https://doi.org/10.1007/s11128-015-0983-3
Grover, L.K.: Quantum mechanics helps in searching for a needle in a haystack. Phys. Rev. Lett. 79(2), 325 (1997)
Brassard, G., Hoyer, P., Tapp, A.: Quantum counting. Automata Lang. Program. 1443, 820–831 (1998). https://doi.org/10.1007/BFb0055105
Denisenko, D.V.: Application of the quantum counting to estimation the weights of Boolean functions in Quipper. J. Exp. Theor. Phys. 130, 643–648 (2020). https://doi.org/10.1134/S1063776120040032
Durr, C., Hoyer, P.: A quantum algorithm for finding the minimum. Phys. Rev. Lett. https://arxiv.org/abs/quant-ph/9607014 (1996)
Nielsen, M.A., Chuang, I.L.: Quantum computation and quantum information. Cambridge University Press. http://csis.pace.edu/ctappert/cs837-18spring/QC-textbook.pdf (2010)
Denisenko, D.V.: Quantum circuits for S-box implementation without ancilla qubits. J. Exp. Theor. Phys. 128(6), 847–855 (2019). https://doi.org/10.1134/S1063776119050108
Denisenko, D.V., Nikitenkova, M.V.: Optimization of S-boxes GOST R 34.12–2015 “Magma” quantum circuits without ancilla qubits. Matematicheskie Voprosy Kriptografii 11, 43–52 (2020). https://doi.org/10.4213/mvk312
Bernstein E., Vazirani, U.: Quantum complexity theory. In: Proceedings of the 25th Annual ACM Symposium on Theory of Computing, pp. 11–20. https://doi.org/10.1145/167088.167097 (1993)
Benenti, G., Casati, G., Strini, G.: Principles of Quantum Computation and Information (2004). https://doi.org/10.1142/5528
Denisenko, D.V., Nikitenkova, M.V.: Application of Grover’s quantum algorithm for SDES key searching. J. Exp. Theor. Phys. 128, 25–44 (2019). https://doi.org/10.1134/S1063776118120142
Roetteler, M., Steinwandt, R.: A note on quantum related-key attacks. Inf. Process. Lett. 115, 40–44 (2015). https://doi.org/10.1016/j.ipl.2014.08.009
Cuccaro, S.A., Draper, T.G., Kutin, S.A., Moulton, D.P.: A new quantum ripple-carry addition circuit. https://arxiv.org/abs/quant-ph/0410184 (2004)
Draper, T.G., Kutin, S.A., Rains, E.M., Svore, K.M.: A logarithmic-depth quantum carry-lookahead adder, Quantum information and computation, vol. 6. https://arxiv.org/abs/quant-ph/0406142 (2004)
Kaye, P.: Reversible addition circuit using one ancillary bit with application to quantum computing. https://arxiv.org/abs/quant-ph/0408173 (2004)
Brassard, G., Hoyer, P., Mosca, M., Tapp, A.: Quantum amplitude amplification and estimation. AMS Contemporary Mathematics Series, vol. 305, ISBN 9780821821404. https://doi.org/10.1090/conm/305/05215 (2000)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Denisenko, D. Quantum differential cryptanalysis. J Comput Virol Hack Tech 18, 3–10 (2022). https://doi.org/10.1007/s11416-021-00395-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11416-021-00395-x