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

16 December 2025 My paper “Preimage attacks on round-reduced MD5, SHA-1, and SHA-256 using parameterized SAT solver” is accepted to Constraints!
1 December 2025 My paper “Enumerating extended self-orthogonal diagonal Latin squares of order up to 10” co-authored with Eduard Vatutin and Curtis Bright is accepted to Journal of Integer Sequences!
8 November 2025 My paper “Using constraint solvers to construct binary codes with good error correction performance” co-authored with Stepan Kochemazov, Grigorii Trofimiuk, and Alexander Semenov is accepted to AAAI-26!
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!

Contact