Geodesic
A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems
Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 19-20 
A. S. Ignat'ev; A. A. Semenov; D. V. Bespalov; O. S. Zaikin. A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems. Prikladnaâ diskretnaâ matematika, no. 10 (2009), pp. 19-20. http://geodesic.mathdoc.fr/item/PDM_2009_10_a8/
@article{PDM_2009_10_a8,
     author = {A. S. Ignat'ev and A. A. Semenov and D. V. Bespalov and O. S. Zaikin},
     title = {A~hybrid approach {(SAT+ROBDD)} to cryptanalysis of stream encryption systems},
     journal = {Prikladna\^a diskretna\^a matematika},
     pages = {19--20},
     year = {2009},
     number = {10},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/PDM_2009_10_a8/}
}
TY  - JOUR
AU  - A. S. Ignat'ev
AU  - A. A. Semenov
AU  - D. V. Bespalov
AU  - O. S. Zaikin
TI  - A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems
JO  - Prikladnaâ diskretnaâ matematika
PY  - 2009
SP  - 19
EP  - 20
IS  - 10
UR  - http://geodesic.mathdoc.fr/item/PDM_2009_10_a8/
LA  - ru
ID  - PDM_2009_10_a8
ER  - 
%0 Journal Article
%A A. S. Ignat'ev
%A A. A. Semenov
%A D. V. Bespalov
%A O. S. Zaikin
%T A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems
%J Prikladnaâ diskretnaâ matematika
%D 2009
%P 19-20
%N 10
%U http://geodesic.mathdoc.fr/item/PDM_2009_10_a8/
%G ru
%F PDM_2009_10_a8

Voir la notice de l'article provenant de la source Math-Net.Ru

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.

[1] Semenov A. A., Zaikin O. S., Bespalov D. V. i dr., “Reshenie zadach obrascheniya diskretnykh funktsii na mnogoprotsessornykh vychislitelnykh sistemakh”, Trudy Chetvertoi Mezhdunar. konf. “Parallelnye vychisleniya i zadachi upravleniya” PACO'2008 (Moskva, 26–29 oktyabrya 2008), 2008, 152–176

[2] Semenov A. A., Zaikin O. S., Bespalov D. V., Ushakov A. A., “SAT-podkhod v kriptoanalize nekotorykh sistem potochnogo shifrovaniya”, Vychislitelnye tekhnologii, 13:6 (2008), 134–150

[3] Zaikin O. S., Semenov A. A., “Tekhnologiya krupnoblochnogo parallelizma v SAT-zadachakh”, Problemy upravleniya, 2008, no. 1, 43–50

[4] Semenov A. A., Zaikin O. S., “Nepolnye algoritmy v krupnoblochnom parallelizme kombinatornykh zadach”, Vychislitelnye metody i programmirovanie, 9:1 (2008), 112–122