Authors | J. P. Indrøy, N. Costes and H. Raddum |
Editors | D. O., J. M. J. Jacobson and O. C. |
Title | Boolean Polynomials, BDDs and CRHS Equations – Connecting the Dots with CryptaPath |
Afilliation | Cryptography |
Project(s) | Simula UiB |
Status | Published |
Publication Type | Proceedings, refereed |
Year of Publication | 2021 |
Conference Name | Selected Areas in Cryptography |
Volume | 12804 |
Pagination | 229-251 |
Date Published | 07/2021 |
Publisher | Springer |
Place Published | Cham |
ISBN Number | 978-3-030-81651-3 |
Keywords | algebraic cryptanalysis, binary decision diagram, block cipher, equation system, Open Source, tool |
Abstract | 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 constructions. It requires no previous knowledge of CRHS equations to be used, only a reference implementation of a primitive. |
URL | https://link.springer.com/chapter/10.1007/978-3-030-81652-0_9 |
DOI | 10.1007/978-3-030-81652-0_9 |
Citation Key | 27709 |