Attacking Bivium Using SAT Solvers (Q3502695)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Attacking Bivium Using SAT Solvers |
scientific article |
Statements
Attacking Bivium Using SAT Solvers (English)
0 references
27 May 2008
0 references
SAT Solver
0 references
Application
0 references
Cryptography
0 references
Stream Cipher
0 references
Rsat
0 references
eSTREAM
0 references
Bivium
0 references
Trivium
0 references
BDD
0 references
Gröbner Base
0 references
