Kochemazov Stepan
Kochemazov Stepan
ISDCT SB RAS
Нет подтвержденного адреса электронной почты
Название
Процитировано
Процитировано
Год
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
45*2016
On cryptographic attacks using backdoors for SAT
A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev
arXiv preprint arXiv:1803.04646, 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
122017
Поиск пар ортогональных диагональных латинских квадратов порядка 10 в проекте добровольных распределенных вычислений SAT@ home
ОС Заикин, СЕ Кочемазов
Вестник Южно-Уральского государственного университета. Серия …, 2015
122015
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
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
92018
ALIAS: A modular tool for finding backdoors for SAT
S Kochemazov, O Zaikin
International Conference on Theory and Applications of Satisfiability …, 2018
92018
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
92017
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
92017
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
О дискретно-автоматных моделях конформного поведения
АА Семёнов, СЕ Кочемазов
Управление большими системами: сборник трудов, 2013
72013
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20