- Tytuł:
- Using SAT Solvers to Finding Short Cycles in Cryptographic Algorithms
- Autorzy:
-
Dudzic, Władysław
Kanciak, Krzysztof - Data publikacji:
- 2020
- Wydawca:
- Polska Akademia Nauk. Czytelnia Czasopism PAN
- Tematy:
-
NLFSR
short cycles
stream ciphers
Trivium
Bivium
Grain-80
Grain-128 - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki