|Authors||J. P. Indrøy, N. Costes and H. Raddum|
|Title||Boolean Polynomials, BDDs and CRHS Equations – Connecting the Dots with CryptaPath|
|Publication Type||Proceedings, refereed|
|Year of Publication||2020|
|Conference Name||Selected Areas in Cryptography|
|Keywords||algebraic cryptanalysis, binary decision diagram, block cipher, equation system, Open Source, tool|
When new symmetric-key ciphers and hash functions are proposed they are expected to document resilience against a number of known attacks. Good, easy to use tools may help designers in this process and give improved cryptanalysis. In this paper we introduce CryptaPath, a tool for doing algebraic cryptanalysis which utilizes Compressed Right- Hand Side (CRHS) equations to attack SPN ciphers and sponge construc- tions. It requires no previous knowledge of CRHS equations to be used, only a reference implementation of a primitive.