Citations
EvoGuess Citations
Pavlenko A., Semenov A., Ulyantsev V., Zaikin O. Parallel framework for evolutionary black-box optimization with application to algebraic cryptanalysis / 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) IEEE, 2019, pp. 1144-1149. https://doi.org/10.23919/MIPRO.2019.8757214
Function Citations
Semenov, A., Zaikin, O., Otpuschennikov, I., Kochemazov, S., Ignatiev, A.: On Cryptographic Attacks Using Backdoors for SAT. In: Proc. of AAAI 2018. pp.6641-6648 (2018). https://https://arxiv.org/abs/1803.04646
Semenov, A., Pavlenko, A., Chivilikhin, D., Kochemazov, S.: On Probabilistic Generalization of Backdoors in Boolean Satisfiability. Accepted on AAAI 2022.
Usage Citations
Pavlenko A., Semenov A., Ulyantsev V. Evolutionary Computation Techniques for Constructing SAT-based Attacks in Algebraic Cryptanalysis / Applications of Evolutionary Computation (EvoApplications 2019). Springer, 2019, pp. 237–253. (Lecture Notes in Computer Science, 11454). https://doi.org/10.1007/978-3-030-16692-2_16
Pavlenko A., Buzdalov M., Ulyantsev V. Fitness Comparison by Statistical Testing in Construction of SAT-Based Guess-and-Determine Cryptographic Attacks / Proceedings of Genetic and Evolutionary Computation Conference (GECCO 2019). 2019, pp. 312–320. https://doi.org/10.1145/3321707.3321847
Semenov A., Chivilikhin D., Pavlenko A., Otpuschennikov I., Ulyantsev V.I., Ignatiev A. Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms / Leibniz International Proceedings in Informatics, LIPIcs, 2021, Vol. 210, pp. 47:1-47:18. https://drops.dagstuhl.de/opus/volltexte/2021/15338