Semenov A. A., Zaikin O.S., Otpuschennikov I. V. «Estimations of cryptographic resistance of ciphers in the trivium family to sat-based cryptanalysis» // Applied Discrete Mathematics. Supplement 2016. №9 C.46-48
Bogachkova I. A., Zaikin O.S., Semenov A. A., Kochemazov S.E., Otpuschennikov I. V. «Application of algorithms solving sat problem to cryptanalysis of hash functions of MD family» // Applied Discrete Mathematics. Supplement 2015. №8 C.139-142
