Artem Pavlenko
ITMO University(RU)
Publications by Year
Research Areas
Cryptographic Implementations and Security, Coding theory and cryptography, Metaheuristic Optimization Algorithms Research, Formal Methods in Verification, Algorithms and Data Compression
Most-Cited Works
- → Evolutionary Computation Techniques for Constructing SAT-Based Attacks in Algebraic Cryptanalysis(2019)20 cited
- → Fitness comparison by statistical testing in construction of SAT-based guess-and-determine cryptographic attacks(2019)10 cited
- → On Probabilistic Generalization of Backdoors in Boolean Satisfiability(2022)8 cited
- → Ant Colony Optimization Algorithms with Diversified Search in the Problem of Optimization of Airtravel Itinerary(2019)8 cited
- → Evaluating the Hardness of SAT Instances Using Evolutionary Optimization Algorithms(2021)6 cited
- → Formation of initial point of initialization methods for optimization algorithms(2019)4 cited
- → Asynchronous Evolutionary Algorithm for Finding Backdoors in Boolean Satisfiability(2022)4 cited
- → Optimal parameters selection of the genetic algorithm for global optimization(2019)2 cited
- → Measuring the Effectiveness of SAT-Based Guess-and-Determine Attacks in Algebraic Cryptanalysis(2022)2 cited
- → Using Island Model in Asynchronous Evolutionary Strategy to Search for Backdoors for SAT(2024)1 cited