Algebraic Cryptanalysis with MRHS Equations

Abstract

In this work, we survey the existing research in the area of algebraic cryptanalysis based on Multiple Right-Hand Sides (MRHS) equations (MRHS cryptanalysis). MRHS equation is a formal inclusion that contains linear combinations of variables on the left-hand side, and a potential set of values for these combinations on the right-hand side. We describe MRHS equation systems in detail, including the evolution of this representation. Then we provide an overview of the methods that can be used to solve MRHS equation systems. Finally, we explore the use of MRHS equation systems in algebraic cryptanalysis and survey existing experimental results.

Experimental Evaluation of SAT Attack on Logic Locking

“…An interesting idea for future research is to use the so-called multiple right-hand sides (MRHS) equations, proposed in [17], for attacks on logic locking. MRHS equations were also used in the cryptanalysis of block ciphers [18]. This research way supports also the existence of the MRHS solver [19].…”