RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Otpushchennikov, Il'ya Vladimirovich

Statistics Math-Net.Ru
Total publications: 14
Scientific articles: 14

Number of views:
This page:1001
Abstract pages:6379
Full texts:670
References:234
Candidate of technical sciences
E-mail:

http://www.mathnet.ru/eng/person55255
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2019
1. A. A. Semenov, K. V. Antonov, I. V. Otpushchennikov, “Search for linearizing sets in algebraic cryptanalysis as a problem of pseudo-Boolean optimization”, Prikl. Diskr. Mat. Suppl., 2019, 12,  130–134  mathnet
2018
2. I. V. Otpuschennikov, A. A. Semenov, O. S. Zaikin, “Propositional encoding of direct and inverse round transformations in attacks on some block ciphers”, Prikl. Diskr. Mat. Suppl., 2018, 11,  76–79  mathnet
2017
3. I. A. Gribanova, O. S. Zaikin, I. V. Otpushchennikov, A. A. Semenov, “Preimage attack on MD4 hash function as a problem of parallel sat-based cryptanalysis”, Vestn. YuUrGU. Ser. Vych. Matem. Inform., 6:3 (2017),  16–27  mathnet  elib
2016
4. A. A. Semenov, I. V. Otpuschennikov, “On one class of decision diagrams”, Avtomat. i Telemekh., 2016, 4,  84–98  mathnet  elib; Autom. Remote Control, 77:4 (2016), 617–628  isi  scopus
5. O. S. Zaikin, I. V. Otpuschennikov, A. A. Semenov, “Estimations of cryptographic resistance of ciphers in the Trivium family to SAT-based cryptanalysis”, Prikl. Diskr. Mat. Suppl., 2016, 9,  46–48  mathnet
2015
6. I. A. Bogachkova, O. S. Zaikin, S. E. Kochemazov, I. V. Otpuschennikov, A. A. Semenov, “Application of algorithms solving SAT problem to cryptanalysis of hash functions of MD family”, Prikl. Diskr. Mat. Suppl., 2015, 8,  139–142  mathnet
7. I. A. Bogachkova, O. S. Zaikin, S. E. Kochemazov, I. V. Otpushchennikov, A. A. Semenov, O. O. Khamisov, “Problems of search for collisions of cryptographic hash functions of the MD family as variants of Boolean satisfiability problem”, Vychisl. Metody Programm., 16:1 (2015),  61–77  mathnet
2014
8. A. A. Evdokimov, S. E. Kochemazov, I. V. Otpushennikov, A. A. Semenov, “Analysis of discrete automaton models of gene networks with irregular structure using symbolic algorithms”, Diskretn. Anal. Issled. Oper., 21:3 (2014),  25–40  mathnet; J. Appl. Industr. Math., 8:3 (2014), 307–316
2013
9. A. A. Evdokimov, S. E. Kochemazov, I. V. Otpushennikov, A. A. Semenov, “Dynamical properties of some discrete automaton mappings defined by random graphs”, Prikl. Diskr. Mat. Suppl., 2013, 6,  75–76  mathnet
2011
10. I. V. Otpuschennikov, A. A. Semenov, “Transformations of discrete functions calculation algorithms to boolean equations”, The Bulletin of Irkutsk State University. Series Mathematics, 4:1 (2011),  83–96  mathnet
11. A. A. Semenov, I. V. Otpuschennikov, S. E. Kochemazov, “Application of SAT-approach for solving combinatorial problems”, Prikl. Diskr. Mat., 2011, supplement № 4,  68–69  mathnet
12. I. V. Otpuschennikov, A. A. Semenov, “Technology for translating combinatorial problems into Boolean equations”, Prikl. Diskr. Mat., 2011, 1(11),  96–115  mathnet
13. O. S. Zaikin, I. V. Otpushchennikov, A. A. Semenov, “Parallel algorithms for solving SAT-problems in application to optimization problems with Boolean constraints”, Vychisl. Metody Programm., 12:1 (2011),  205–212  mathnet
2010
14. I. V. Otpuschennikov, A. A. Semenov, “Software translating of combinatorial problems to propositional logic”, Prikl. Diskr. Mat., 2010, supplement № 3,  81–82  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020