Irina Gribanova

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Pseudo Boolean Constraints

Empirical Analysis

Top Venues

Log. Methods Comput. Sci.

Publications

Stepan Kochemazov, Victor Kondratiev, Irina Gribanova
Empirical Analysis of the RC2 MaxSAT Algorithm. MIPRO (2023)
Alexander A. Semenov, Ilya V. Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. Log. Methods Comput. Sci. 16 (1) (2020)
Irina Gribanova, Alexander A. Semenov
Constructing a Set of Weak Values for Full-round MD4 Hash Function. MIPRO (2020)
Irina Gribanova, Alexander A. Semenov
Using automatic generation of relaxation constraints to improve the preimage attack on 39-step MD4. MIPRO (2018)
Alexander A. Semenov, Ilya V. Otpuschennikov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems. CoRR (2018)
Irina Gribanova, Alexander A. Semenov
Using Automatic Generation of Relaxation Constraints to Improve the Preimage Attack on 39-step MD4. CoRR (2018)
Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
Encoding Cryptographic Functions to SAT Using Transalg System. CoRR (2016)
Ilya V. Otpuschennikov, Alexander A. Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov
Encoding Cryptographic Functions to SAT Using TRANSALG System. ECAI (2016)