Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Semenov, Aleksandr Anatol'evich
Statistics
Total publications: 47
Scientific articles: 47
Presentations: 2

Number of views:
This page:62
Abstract pages:414
Full texts:274
References:176
Associate professor
Candidate of technical sciences
E-mail: ,

https://www.mathnet.ru/eng/person28549
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/825092

Publications in Math-Net.Ru Citations
2025
1. K. V. Antonov, V. S. Kondratiev, S. E. Kochemazov, A. A. Semenov, “Chosen plaintext algebraic attacks on the ciphers from the Simon family”, Prikl. Diskr. Mat. Suppl., 2025, no. 18,  252–258  mathnet
2024
2. K. V. Antonov, A. A. Semenov, I. V. Otpushchennikov, A. L. Pavlenko, “Constructing algebraic attacks on lightweight symmetric ciphers using functions with small number of output bits”, Prikl. Diskr. Mat. Suppl., 2024, no. 17,  57–63  mathnet
2023
3. A. A. Semenov, “The use of backdoors to estimate the hardness of propositional proofs and cryptographic attacks”, Prikl. Diskr. Mat. Suppl., 2023, no. 16,  87–95  mathnet 1
2022
4. A. A. Semenov, “Backdoors in combinatorial problems and their probabilistic generalizations”, Prikl. Diskr. Mat. Suppl., 2022, no. 15,  100–104  mathnet
2021
5. A. A. Semenov, K. V. Antonov, I. A. Gribanova, “Generating additional constraints in algebraic cryptanalysis using SAT oracles”, Prikl. Diskr. Mat. Suppl., 2021, no. 14,  104–110  mathnet 1
2020
6. I. A. Gribanova, A. A. Semenov, “Using inverse backdoors sets to construct guess-and-determine attacks on hash-functions MD4”, Prikl. Diskr. Mat. Suppl., 2020, no. 13,  124–129  mathnet
7. K. V. Antonov, A. A. Semenov, “Application of SAT oracles for generation of additional linear constraints in cryptanalysis of some lightweight ciphers”, Prikl. Diskr. Mat. Suppl., 2020, no. 13,  114–119  mathnet 1
2019
8. E. G. Beley, A. A. Semenov, “On propositional encoding of distinction property in finite sets”, Bulletin of Irkutsk State University. Series Mathematics, 28 (2019),  3–20  mathnet
9. 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, no. 12,  130–134  mathnet  elib 2
10. I. A. Gribanova, A. A. Semenov, “On the argument of the absence of properties of a random oracle for some cryptographic hash functions”, Prikl. Diskr. Mat. Suppl., 2019, no. 12,  95–98  mathnet  elib 2
11. V. S. Kondratiev, A. A. Semenov, O. S. Zaikin, “Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions”, Num. Meth. Prog., 20:1 (2019),  54–66  mathnet
2018
12. D. E. Gorbatenko, A. A. Semenov, “An effective algorithm for building a set of the shortest attacks within the context of one model of attack development in computer networks”, Prikl. Diskr. Mat. Suppl., 2018, no. 11,  90–95  mathnet  elib
13. A. A. Semenov, “Guess-and-determine attacks and automatic methods for their construction”, Prikl. Diskr. Mat. Suppl., 2018, no. 11,  81–86  mathnet  elib
14. 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, no. 11,  76–79  mathnet  elib
15. D. E. Gorbatenko, A. A. Semenov, “Counteraction to conspiracy in discrete dynamical models of computers network”, UBS, 75 (2018),  76–102  mathnet
2017
16. 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 1
2016
17. A. A. Semenov, I. V. Otpuschennikov, “On one class of decision diagrams”, Avtomat. i Telemekh., 2016, no. 4,  84–98  mathnet  elib; Autom. Remote Control, 77:4 (2016), 617–628  isi  scopus 3
18. D. E. Gorbatenko, S. E. Kochemazov, A. A. Semenov, “On discrete automaton models of attacks in computer networks”, Prikl. Diskr. Mat. Suppl., 2016, no. 9,  80–83  mathnet 1
19. 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, no. 9,  46–48  mathnet 1
2015
20. 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, no. 8,  139–142  mathnet 3
21. 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”, Num. Meth. Prog., 16:1 (2015),  61–77  mathnet 2
2014
22. 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 4
23. O. S. Zaikin, A. A. Semenov, “Application of the Monte Carlo method for estimating the total time of solving the SAT problem in parallel”, Num. Meth. Prog., 15:1 (2014),  22–35  mathnet 5
2013
24. A. A. Semenov, “On the effective representation of disjunctive normal forms by diagrams of a special kind”, Prikl. Diskr. Mat. Suppl., 2013, no. 6,  125–129  mathnet
25. V. G. Bulavintsev, A. A. Semenov, “GPU-based implementation of DPLL algorithm with limited non-chronological backtracking”, Prikl. Diskr. Mat. Suppl., 2013, no. 6,  111–112  mathnet
26. 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, no. 6,  75–76  mathnet
27. A. A. Semenov, S. E. Kochemazov, “Analysis of some discrete-automaton models of collective behavior”, UBS, 46 (2013),  266–292  mathnet 1
28. O. S. Zaikin, A. A. Semenov, M. A. Posypkin, “Constructing decomposition sets for distributed solution of sat problems in volunteer computing project sat@home”, UBS, 43 (2013),  138–156  mathnet 5
2012
29. A. A. Semenov, O. S. Zaikin, “Algorithms for constructing decomposition sets in application to coarse-grained parallelization of SAT problems”, Bulletin of Irkutsk State University. Series Mathematics, 5:4 (2012),  79–94  mathnet
30. A. A. Semenov, A. S. Ignatiev, “About convergence of a hybrid SAT+ROBDD-derivation”, Prikl. Diskr. Mat. Suppl., 2012, no. 5,  118–120  mathnet
31. O. S. Zaikin, M. A. Posypkin, A. A. Semenov, “Using volunteer computation to solve cryptographic problems”, Prikl. Diskr. Mat. Suppl., 2012, no. 5,  107–108  mathnet
2011
32. I. V. Otpuschennikov, A. A. Semenov, “Transformations of discrete functions calculation algorithms to boolean equations”, Bulletin of Irkutsk State University. Series Mathematics, 4:1 (2011),  83–96  mathnet
33. A. A. Semenov, I. V. Otpuschennikov, S. E. Kochemazov, “Application of SAT-approach for solving combinatorial problems”, Prikl. Diskr. Mat., 2011, no. supplement № 4,  68–69  mathnet
34. I. V. Otpuschennikov, A. A. Semenov, “Technology for translating combinatorial problems into Boolean equations”, Prikl. Diskr. Mat., 2011, no. 1(11),  96–115  mathnet 17
35. O. S. Zaikin, I. V. Otpushchennikov, A. A. Semenov, “Parallel algorithms for solving SAT-problems in application to optimization problems with Boolean constraints”, Num. Meth. Prog., 12:1 (2011),  205–212  mathnet
2010
36. D. V. Bespalov, V. G. Bulavintsev, A. A. Semenov, “Cryptanalysis with graphical processing units (GPU)”, Prikl. Diskr. Mat., 2010, no. supplement № 3,  86–87  mathnet 1
37. I. V. Otpuschennikov, A. A. Semenov, “Software translating of combinatorial problems to propositional logic”, Prikl. Diskr. Mat., 2010, no. supplement № 3,  81–82  mathnet
38. A. S. Ignatiev, A. A. Semenov, “Algorithms using ROBDD as a base for Boolean constraints”, Prikl. Diskr. Mat., 2010, no. 1(7),  86–104  mathnet 1
2009
39. A. S. Ignat'ev, A. A. Semenov, D. V. Bespalov, O. S. Zaikin, “A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems”, Prikl. Diskr. Mat., 2009, no. supplement № 1,  19–20  mathnet
40. A. A. Semenov, “About tseitin's transformation in logical equations”, Prikl. Diskr. Mat., 2009, no. supplement № 1,  12–13  mathnet 1
41. A. A. Semenov, “About Tseitin transformation in logical equations”, Prikl. Diskr. Mat., 2009, no. 4(6),  28–50  mathnet 3
2008
42. A. A. Semenov, O. S. Zaikin, D. V. Bespalov, P. S. Burov, A. E. Hmelnov, “Analysis of some cryptographic primitives on computer clusters”, Prikl. Diskr. Mat., 2008, no. 2(2),  120–130  mathnet
43. O. S. Zaikin, A. A. Semenov, “Large-block parallelism technology in sat problems”, Probl. Upr., 2008, no. 1,  43–50  mathnet 14
44. A. A. Semenov, O. S. Zaikin, “Incomplete algorithms in the large-block parallelism of combinatorial problems”, Num. Meth. Prog., 9:1 (2008),  108–118  mathnet 3
2004
45. A. A. Semenov, “On the complexity of the inversion of discrete functions of a certain class”, Diskretn. Anal. Issled. Oper., Ser. 1, 11:4 (2004),  44–55  mathnet  mathscinet 4
1999
46. B. V. Egorov, V. N. Komarov, Yu. E. Markachev, A. P. Markelov, E. A. Plekhanov, A. A. Semenov, V. L. Yumashev, “Clusterization of aviation fuel combustion products in jet behind supersonic aircraft”, Mat. Model., 11:4 (1999),  70–82  mathnet
1988
47. S. A. Lozhkin, A. A. Semenov, “On a method for compressing information and on the complexity of the realization of monotone symmetric functions”, Izv. Vyssh. Uchebn. Zaved. Mat., 1988, no. 7,  44–52  mathnet  mathscinet  zmath; Soviet Math. (Iz. VUZ), 32:7 (1988), 73–85 3

Presentations in Math-Net.Ru
1. Using Backdoors to estimate the hardness of Boolean formulas w.r.t. SAT solving algorithms
A. A. Semenov, S. E. Kochemazov
Second Conference of Russian Mathematical Centers. Section «Mathematical Logic and Theoretical Computer Science»
November 8, 2022 15:45   
2. Applying Metaheuristic Pseudo-Boolean Optimization Algorithms to Search for Linearizing Sets in Cryptanalysis of Cryptographic Generators
K. V. Antonov, A. A. Semenov
International workshop "Syntax and semantics of logical systems"
August 12, 2019 12:30

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2026