Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System

DOI10.1007/978-3-642-23178-0_43zbMath1335.94078OpenAlexW207960843MaRDI QIDQ3100320

Dmitriy Bespalov, Oleg Sergeevich Zaikin, Aleksandr Anatol'evich Semënov, Mikhail 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

zbMATH Keywords

stream ciphersgridSATlogical cryptanalysiscoarse-grained parallelizationA5/1

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (5)

On black-box optimization in divide-and-conquer SAT solving ⋮ Finding Effective SAT Partitionings Via Black-Box Optimization ⋮ Unnamed Item ⋮ Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System ⋮ Study of discrete automaton models of gene networks of nonregular structure using symbolic calculations

Uses Software

• BOINC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• Cryptanalysis with COPACOBANA

This page was built for publication: Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System