SAT-approach to cryptography of some stream ciphering systems

MaRDI QIDQ3060539zbMATH OpenFDO

Authors D. V. Bespalov, A. A. Ushakov, Aleksandr Anatol'evich Semënov, Oleg Sergeevich Zaikin

Publication date 8 December 2010

zbMATH Keywords

generator of binary sequenceslogical cryptanalysisSAT-problem

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Logical cryptanalysis as a SAT problem
• Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
• Attacking Bivium Using SAT Solvers
• Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
• scientific article; zbMATH DE number 503240

Cited in

(13)

• How to fake an RSA signature by encoding modular root finding as a SAT problem
• Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
• Attacking Bivium Using SAT Solvers
• scientific article; zbMATH DE number 1878330 (Why is no real title available?)
• On black-box optimization in divide-and-conquer SAT solving
• Global optimization problems associated with cryptographic analysis of asymmetric ciphers
• scientific article; zbMATH DE number 7300350 (Why is no real title available?)
• scientific article; zbMATH DE number 7300363 (Why is no real title available?)
• A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems
• scientific article; zbMATH DE number 7301717 (Why is no real title available?)
• Technology for translating combinatorial problems into Boolean equations
• Minimization of functionals associated with problems of cryptographic analysis of asymmetric ciphers.
• scientific article; zbMATH DE number 6280000 (Why is no real title available?)

This page was built for publication: SAT-approach to cryptography of some stream ciphering systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3060539)