|
|
Publications in Math-Net.Ru
-
Generating additional constraints in algebraic cryptanalysis using SAT oracles
Prikl. Diskr. Mat. Suppl., 2021, no. 14, 104–110
-
Using inverse backdoors sets to construct guess-and-determine attacks on hash-functions MD4
Prikl. Diskr. Mat. Suppl., 2020, no. 13, 124–129
-
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
-
New algorithm for relaxation constrains generation in the inversion problem of MD4-39
Prikl. Diskr. Mat. Suppl., 2018, no. 11, 139–141
-
The inversion of cryptographic hash functions using unbalanced approximations of round functions
Prikl. Diskr. Mat. Suppl., 2017, no. 10, 157–160
-
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
-
Application of solving SAT algorithms to constructing differential paths for finding collisions of cryptographic hash functions in the MD family
Prikl. Diskr. Mat. Suppl., 2016, no. 9, 129–132
-
Application of algorithms solving SAT problem to cryptanalysis of hash functions of MD family
Prikl. Diskr. Mat. Suppl., 2015, no. 8, 139–142
-
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
© , 2024