Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid System. - Alexander A. Semenov; Oleg Zaikin 002; Dmitry Bespalov; Mikhail Posypkin (PaCT, 2011)

Parallel algorithms for SAT in application to inversion problems of some discrete functions - Alexander A. Semenov; Oleg Zaikin 002; Dmitry Bespalov; Mikhail Posypkin (CoRR, 2011)

Instrumental System for Analysis of Information Systems Using Smart Cards Protection. - Ludmila K. Babenko; Oleg B. Makarevich; Dmitry Bespalov; Roman Chesnokov; Yaroslav Trubnikov (SIN, 2014)