Kochemazov Stepan Evgen'evich

Publications in Math-Net.Ru

1. On discrete automaton models of attacks in computer networks
   
   Prikl. Diskr. Mat. Suppl., 2016, no. 9,  80–83
2. Application of algorithms solving SAT problem to cryptanalysis of hash functions of MD family
   
   Prikl. Diskr. Mat. Suppl., 2015, no. 8,  139–142
3. 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
4. The search for pairs of orthogonal diagonal latin squares of order 10 in the volunteer computing project SAT@home
   
   Vestn. YuUrGU. Ser. Vych. Matem. Inform., 4:3 (2015),  95–108
5. Analysis of discrete automaton models of gene networks with irregular structure using symbolic algorithms
   
   Diskretn. Anal. Issled. Oper., 21:3 (2014),  25–40
6. Dynamical properties of some discrete automaton mappings defined by random graphs
   
   Prikl. Diskr. Mat. Suppl., 2013, no. 6,  75–76
7. Analysis of some discrete-automaton models of collective behavior
   
   UBS, 46 (2013),  266–292
8. Application of SAT-approach for solving combinatorial problems
   
   Prikl. Diskr. Mat., 2011, no. supplement № 4,  68–69