On Cryptographic Attacks Using Backdoors for SAT

Alexander Semenov, Oleg Zaikin, Ilya Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev. On Cryptographic Attacks Using Backdoors for SAT. In Sheila A. McIlraith, Kilian Q. Weinberger, editors, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, New Orleans, Louisiana, USA, February 2-7, 2018. pages 6641-6648, AAAI Press, 2018. [doi]

Authors

Alexander Semenov

This author has not been identified. Look up 'Alexander Semenov' in Google

Oleg Zaikin

This author has not been identified. Look up 'Oleg Zaikin' in Google

Ilya Otpuschennikov

This author has not been identified. Look up 'Ilya Otpuschennikov' in Google

Stepan Kochemazov

This author has not been identified. Look up 'Stepan Kochemazov' in Google

Alexey Ignatiev

This author has not been identified. Look up 'Alexey Ignatiev' in Google