|
Prikladnaya Diskretnaya Matematika, 2009, supplement № 1, Pages 19–20
(Mi pdm98)
|
|
|
|
Mathematical Methods of Cryptography, Steganography and Coding
A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems
A. S. Ignat'ev, A. A. Semenov, D. V. Bespalov, O. S. Zaikin
Abstract:
The report is supposed to consider the possibility of using binary decision diagrams (BDD) for the discrete function inversion in the parallel high-performance computing systems. We describe the architecture of a fundamentally new SAT-solver. The BDD-technology reducing the usage of memory which in turn keeps the search history lies in the basis of the solver. As testing problems we consider cryptanalysis of a number of key stream generators.
Citation:
A. S. Ignat'ev, A. A. Semenov, D. V. Bespalov, O. S. Zaikin, “A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems”, Prikl. Diskr. Mat., 2009, supplement № 1, 19–20
Linking options:
https://www.mathnet.ru/eng/pdm98 https://www.mathnet.ru/eng/pdm/y2009/i10/p19
|
Statistics & downloads: |
Abstract page: | 382 | Full-text PDF : | 118 | References: | 58 |
|