Generating additional constraints in algebraic cryptanalysis using SAT oracles (Q6898749)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 8122874
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Generating additional constraints in algebraic cryptanalysis using SAT oracles |
scientific article; zbMATH DE number 8122874 |
Statements
Generating additional constraints in algebraic cryptanalysis using SAT oracles (English)
0 references
17 November 2025
0 references
algebraic cryptanalysis
0 references
Boolean satisfiability problem (SAT)
0 references
MQ systems of equations over GF(2)
0 references
SAT oracle
0 references
