Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
From MaRDI portal
Publication:3100320
Recommendations
- Solving of cryptanalysis problems in grid systems (by the example of BOINC)
- Logical cryptanalysis as a SAT problem
- scientific article; zbMATH DE number 1583933
- SAT-approach to cryptography of some stream ciphering systems
- Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
Cites work
- scientific article; zbMATH DE number 1113991 (Why is no real title available?)
- scientific article; zbMATH DE number 1759258 (Why is no real title available?)
- scientific article; zbMATH DE number 954401 (Why is no real title available?)
- Cryptanalysis with COPACOBANA
- Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
- Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
- SAT-approach to cryptography of some stream ciphering systems
Cited in
(7)- On black-box optimization in divide-and-conquer SAT solving
- Finding Effective SAT Partitionings Via Black-Box Optimization
- Study of discrete automaton models of gene networks of nonregular structure using symbolic calculations
- SAT-approach to cryptography of some stream ciphering systems
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- Solving of cryptanalysis problems in grid systems (by the example of BOINC)
- Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
This page was built for publication: Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3100320)
