Zaikin, Oleg

3 publications

JAIR 2024 Inverting Cryptographic Hash Functions via Cube-and-Conquer Oleg Zaikin

IJCAI 2022 Inverting 43-Step MD4 via Cube-and-Conquer Oleg Zaikin

AAAI 2018 On Cryptographic Attacks Using Backdoors for SAT Alexander A. Semenov, Oleg Zaikin, Ilya V. Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev