Otpuschennikov I. V., Semenov A. A., Zaikin O.S. «Estimations of cryptographic resistance of ciphers in the trivium family to sat-based cryptanalysis» // Applied Discrete Mathematics. Supplement 2016. №9 C.46-48
Antonov K. V., Semenov A. A., Antonov K. V., Semenov A. A. «Application of sat oracles for generation of additional linear constraints in cryptanalysis of some lightweight ciphers» // Applied Discrete Mathematics. Supplement 2020. №13 C.114-119
