D. Bespalov

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

Mikhail Posypkin, Dmitry Bespalov, Alexander A. Semenov, 2011, PaCT.

Parallel algorithms for SAT in application to inversion problems of some discrete functions pdf

Mikhail Posypkin, Dmitry Bespalov, Alexander A. Semenov, 2011, ArXiv.