Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages (Q5015592)
From MaRDI portal
scientific article; zbMATH DE number 7441844
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages |
scientific article; zbMATH DE number 7441844 |
Statements
Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages (English)
0 references
9 December 2021
0 references
SAT solvers
0 references
weak keys
0 references
preimage attacks
0 references
automated cryptanalysis
0 references
algebraic cryptanalysis
0 references
