Encoding Cryptographic Functions to SAT Using TRANSALG System. - Ilya V. Otpuschennikov; Alexander A. Semenov; Irina Gribanova; Oleg Zaikin 002; Stepan Kochemazov (ECAI, 2016)

Using automatic generation of relaxation constraints to improve the preimage attack on 39-step MD4. - Irina Gribanova; Alexander A. Semenov (MIPRO, 2018)

Constructing a Set of Weak Values for Full-round MD4 Hash Function. - Irina Gribanova; Alexander A. Semenov (MIPRO, 2020)

Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. - Alexander A. Semenov; Ilya V. Otpuschennikov; Irina Gribanova; Oleg Zaikin 002; Stepan Kochemazov (Log. Methods Comput. Sci., 2020)

Empirical Analysis of the RC2 MaxSAT Algorithm. - Stepan Kochemazov; Victor Kondratiev; Irina Gribanova (MIPRO, 2023)

Effective Partitioning Method With Predictable Hardness for CircuitSAT. - Konstantin Chukharev; Irina Gribanova; Dmitry Ivanov; Stepan Kochemazov; Victor Kondratiev; Alexander A. Semenov (IEEE Access, 2025)