Abstract
The time complexity of solving the QUBO problem depends mainly on the number of logical variables in the problem. This paper focuses mainly on finding a system of equations that uniquely defines the Sbox of the AES cipher and simultaneously allows us to obtain the smallest known optimization problem in the QUBO form for the algebraic attack on the AES cipher. A novel method of searching for an efficient system of equations using linear-feedback shift registers has been presented in order to perform that task efficiently. Transformation of the AES cipher to the QUBO problem, using the identified efficient system, is presented in this paper as well. This method allows us to reduce the target QUBO problem for AES-128 by almost 500 logical variables, compared to our previous results, and allows us to perform the algebraic attack using quantum annealing four times faster.
Publisher
National Institute of Telecommunications
Subject
Electrical and Electronic Engineering,Computer Networks and Communications
Reference7 articles.
1. P. Shor, "Algorithms for Quantum Computation: Discrete Logarithms and Factoring", IEEE Proceedings 35th Annual Symposium on Foundations of Computer Science, Santa Fe, USA, 1994.
2. C.H. Bennett, E. Bernstein, G. Brassard, and U. Vazirani, "Strengths and Weaknesses of Quantum Computing", SIAM Journal on Computing, vol. 26, no. 5, pp. 1510-1523, 1997.
3. L.K. Grover, "A Fast Quantum Mechanical Algorithm for Database Search", Proceedings of the Twenty-eighth Annual ACM Symposium on Theory of Computing, pp. 212-219, 1996.
4. E. Burek, M. Wronski, K. Mank, and M. Misztal, "Algebraic Attacks on Block Ciphers Using Quantum Annealing", IEEE Transactions on Emerging Topics in Computing, vol. 10, no. 2, pp. 678-689, 2022.
5. I.G. Rosenberg, "Reduction of Bivalent Maximization to the Quadratic Case", Cahiers du Centre d’Etudes de Recherche Operationnelle, vol. 17, pp. 71-74, 1975.