Follow
Oleg Zaikin
Title
Cited by
Cited by
Year
Encoding cryptographic functions to SAT using Transalg system
I Otpuschennikov, A Semenov, I Gribanova, O Zaikin, S Kochemazov
Proceedings of the Twenty-second European Conference on Artificial …, 2016
602016
Parallel logical cryptanalysis of the generator A5/1 in BNB-Grid system
A Semenov, O Zaikin, D Bespalov, M Posypkin
Parallel Computing Technologies: 11th International Conference, PaCT 2011 …, 2011
572011
Using BOINC desktop grid to solve large scale SAT problems
M Posypkin, A Semenov, O Zaikin
Computer Science 13, 25-34, 2012
492012
On cryptographic attacks using backdoors for SAT
A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev
Thirty-Second AAAI Conference on Artificial Intelligence, 2018
472018
Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions
A Semenov, O Zaikin
SpringerPlus 5, 1-16, 2016
422016
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
SK Alexander Semenov, Ilya Otpuschennikov, Irina Gribanova, Oleg Zaikin
Logical methods in computer science 16 (1), 2020
282020
Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem
A Semenov, O Zaikin
Parallel Computing Technologies: 13th International Conference, PaCT 2015 …, 2015
282015
On the construction of triples of diagonal Latin squares of order 10
O Zaikin, A Zhuravlev, S Kochemazov, E Vatutin
Electronic Notes in Discrete Mathematics 54, 307-312, 2016
272016
Technology for integrating idle computing cluster resources into volunteer computing projects
AP Afanasiev, IV Bychkov, MO Manzyuk, MA Posypkin, AA Semenov, ...
Proc. of The 5th International Workshop on Computer Science and Engineering …, 2015
26*2015
The search for systems of diagonal Latin squares using the SAT@home project
O Zaikin, S Kochemazov
International Journal of Open Information Technologies 3 (11), 4-9, 2015
25*2015
MapleLCMDistChronoBT-DL, duplicate learnts heuristic-aided solvers at the SAT Race 2019
S Kochemazov, O Zaikin, V Kondratiev, A Semenov
SAT RACE 2019, 24, 2019
232019
Enumeration of isotopy classes of diagonal Latin squares of small order using volunteer computing
E Vatutin, A Belyshev, S Kochemazov, O Zaikin, N Nikitina
Supercomputing: 4th Russian Supercomputing Days, RuSCDays 2018, Moscow …, 2019
232019
Concept of a multitask grid system with a flexible allocation of idle computational resources of supercomputers
AP Afanasiev, IV Bychkov, OS Zaikin, MO Manzyuk, MA Posypkin, ...
Journal of Computer and Systems Sciences International 56, 701-707, 2017
22*2017
SAT-based search for systems of diagonal Latin squares in volunteer computing project SAT@ home
O Zaikin, S Kochemazov, A Semenov
2016 39th International Convention on Information and Communication …, 2016
222016
Using grid systems for enumerating combinatorial objects on example of diagonal Latin squares
EI Vatutin, O Zaikin, A Zhuravlev, M Manzyuk, S Kochemazov, VS Titov
Selected Papers of the 7th International Conference Distributed Computing …, 2016
202016
An improved SAT-based guess-and-determine attack on the alternating step generator
O Zaikin, S Kochemazov
Information Security: 20th International Conference, ISC 2017, Ho Chi Minh …, 2017
182017
Transalg: a tool for translating procedural descriptions of discrete functions to SAT
I Otpuschennikov, A Semenov, S Kochemazov
2015 5th International Workshop on Computer Science and Engineering …, 2015
182015
Orthogonality-based classification of diagonal Latin squares of order 10
EI Vatutin, VS Titov, OS Zaikin, SE Kochemazov, MO Manzuk, NN Nikitina
CEUR Workshop Proceedings 2267, 282-287, 2018
162018
Applying volunteer and parallel computing for enumerating diagonal Latin squares of order 9
EI Vatutin, SE Kochemazov, OS Zaikin
International Conference on Parallel Computational Technologies, 114-129, 2017
162017
Using volunteer computing to study some features of diagonal Latin squares
E Vatutin, O Zaikin, S Kochemazov, S Valyaev
Open Engineering 7 (1), 453-460, 2017
162017
The system can't perform the operation now. Try again later.
Articles 1–20