Ilya Otpuschennikov

1. Encoding Cryptographic Functions to SAT Using Transalg System
   2016/07/04 by Ilya Otpuschennikov, Otpuschennikov, Ilya, Alexander Semenov +7 · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Artificial Intelligence (cs.AI) #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification
2. On Cryptographic Attacks Using Backdoors for SAT
   2018/03/13 by Alexander Semenov, Semenov, Alexander, Oleg Zaikin +7 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning and Algorithms