Otpuschennikov, Ilya V.

1 publications

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