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
- Title not available (Why is no real title available?)
- SAT-approach to cryptography of some stream ciphering systems
- Solving of cryptanalysis problems in grid systems (by the example of BOINC)
- Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
Uses Software
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)