Kochemazov Stepan
Kochemazov Stepan
ISDCT SB RAS
No verified email
Title
Cited by
Cited by
Year
Encoding Cryptographic Functions to SAT Using TRANSALG System
SK Ilya Otpuschennikov, Alexander Semenov, Irina Gribanova, Oleg Zaikin
Frontiers in Artificial Intelligence and Applications 285, 1594-1595, 2016
46*2016
On cryptographic attacks using backdoors for SAT
A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
242018
On the Construction of Triples of Diagonal Latin Squares of Order 10.
O Zaikin, A Zhuravlev, S Kochemazov, E Vatutin
Electron. Notes Discret. Math. 54, 307-312, 2016
242016
Using synchronous Boolean networks to model several phenomena of collective behavior
S Kochemazov, A Semenov
PloS one 9 (12), e115156, 2014
202014
Using grid systems for enumerating combinatorial objects on example of diagonal Latin squares
E Vatutin, O Zaikin, A Zhuravlev, M Manzyuk, S Kochemazov, VS Titov
Selected Papers of the 7th International Conference Distributed Computing …, 2016
192016
Transalg: a tool for translating procedural descriptions of discrete functions to SAT
I Otpuschennikov, A Semenov, S Kochemazov
arXiv preprint arXiv:1405.1544, 2014
182014
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
172016
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
162015
An improved SAT-based guess-and-determine attack on the alternating step generator
O Zaikin, S Kochemazov
International Conference on Information Security, 21-38, 2017
152017
Применение символьных вычислений к исследованию дискретных моделей некоторых классов генных сетей
АА Евдокимов, СЕ Кочемазов, АА Семенов
Вычислительные технологии 16 (1), 2011
142011
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
132017
Поиск пар ортогональных диагональных латинских квадратов порядка 10 в проекте добровольных распределенных вычислений SAT@ home
ОС Заикин, СЕ Кочемазов
Вестник Южно-Уральского государственного университета. Серия …, 2015
122015
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
112017
Enumeration of isotopy classes of diagonal Latin squares of small order using volunteer computing
E Vatutin, A Belyshev, S Kochemazov, O Zaikin, N Nikitina
Russian Supercomputing Days, 578-586, 2018
102018
Enumerating the Transversals for Diagonal Latin Squares of Small Order
EI Vatutin, SE Kochemazov, OS Zaikin, SY Valyaev
CEUR Workshop Proceedings. Proceedings of the Third International Conference …, 2017
102017
MapleLCMDistChronoBT-DL, duplicate learnts heuristic-aided solvers at the SAT Race 2019
S Kochemazov, O Zaikin, V Kondratiev, A Semenov
SAT RACE 2019, 24, 0
10
ALIAS: A modular tool for finding backdoors for SAT
S Kochemazov, O Zaikin
International Conference on Theory and Applications of Satisfiability …, 2018
92018
О дискретно-автоматных моделях конформного поведения
АА Семёнов, СЕ Кочемазов
Управление большими системами: сборник трудов, 2013
82013
Translation of algorithmic descriptions of discrete functions to SAT with applications to cryptanalysis problems
A Semenov, I Otpuschennikov, I Gribanova, O Zaikin, S Kochemazov
arXiv preprint arXiv:1805.07239, 2018
72018
On Some Features of Symmetric Diagonal Latin Squares
EI Vatutin, SE Kochemazov, OS Zaikin
CEUR WS 1940, 74-79, 2017
72017
The system can't perform the operation now. Try again later.
Articles 1–20