Oleg Zaikin

I am a leading researcher at Matrosov Institute for System Dynamics and Control Theory (ISDCT SB RAS), a research institute of the Russian Academy of Sciences.

Previously, I was a research assistant at the Computer Science Department of Swansea University, United Kingdom.

I did my Ph.D. (candidate of technical sciences in Russia) under the supervision of Alexander A. Semenov at ISDCT SB RAS. My thesis was about applying parallel SAT solving to cryptanalysis of stream ciphers.

Currently, my research is mainly focused on solving hard cryptanalysis and combinatorial problems via Cube-and-Conquer.

News

13 September 2024 My paper “Inverting Cryptographic Hash Functions via Cube-and-Conquer” is accepted to Journal of Artificial Intelligence Research!
20 June 2024 My paper “Inverting Step-reduced SHA-1 and MD5 by Parameterized SAT Solvers” is accepted to CP 2024!
20 April 2022 My paper “Inverting 43-step MD4 via cube-and-conquer” is accepted to IJCAI-ECAI 2022!

Contact