Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
From MaRDI portal
Publication:3100320
DOI10.1007/978-3-642-23178-0_43zbMATH Open1335.94078OpenAlexW207960843MaRDI QIDQ3100320FDOQ3100320
Authors: Dmitriy Bespalov, Aleksandr Anatol'evich Semënov, Oleg Sergeevich Zaikin, M. A. Posypkin 
Publication date: 23 November 2011
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-23178-0_43
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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Cryptanalysis with COPACOBANA
- Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
- SAT-approach to cryptography of some stream ciphering systems
- Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
Cited In (6)
- 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 that?)
- SAT-approach to cryptography of some stream ciphering systems
- 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)
