Arithmetic Constraints in SAT-based Property Checking. - Evgeny Pavlenko; Markus Wedler; Dominik Stoffel; Wolfgang Kunz (MBMV, 2007)

A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level. - Evgeny Pavlenko; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Oliver Wienand; Evgeny Karibaev (FDL (Selected Papers), 2008)

Modeling of Custom-Designed Arithmetic Components for ABL Normalization. - Evgeny Pavlenko; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Oliver Wienand; Evgeny Karibaev (MBMV, 2008)

Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. - Markus Wedler; Evgeny Pavlenko; Alexander Dreyer; Frank Seelisch; Dominik Stoffel; Gert-Martin Greuel; Wolfgang Kunz (Algorithms and Applications for Next Generation SAT Solvers, 2009)

STABLE: A new QF-BV SMT Solver for hard Verification Problems combining Boolean Reasoning with Computer Algebra. - Evgeny Pavlenko; Markus Wedler; Dominik Stoffel; Wolfgang Kunz; Alexander Dreyer; Frank Seelisch; Gert-Martin Greuel (MBMV, 2011)

New solving techniques for property checking of arithmetic data paths (Neue Beweistechniken für die Eignungsprüfung von arithmetischen Datenpfaden). - Evgeny Pavlenko (2011)

Increasing the fault tolerance and availability of software defined networks using network equipment control based on multiobjective optimization by service quality parameters. - Maxim O. Kalinin; Evgeny Pavlenko (Autom. Control. Comput. Sci., 2015)

Detecting Android application malicious behaviors based on the analysis of control flows and data flows. - Peter D. Zegzhda; Dmitry P. Zegzhda; Evgeny Pavlenko; Andrew Dremov (SIN, 2017)

Hierarchical approach to analyzing security breaches in information systems. - E. Yu. Pavlenko; A. V. Yarmak; Dmitry A. Moskvin (Autom. Control. Comput. Sci., 2017)

Application of clustering methods for analyzing the security of Android applications. - E. Yu. Pavlenko; A. V. Yarmak; Dmitry A. Moskvin (Autom. Control. Comput. Sci., 2017)

The use of an artificial neural network to detect automatically managed accounts in social networks. - Peter D. Zegzhda; E. V. Malyshev; Evgeny Pavlenko (Autom. Control. Comput. Sci., 2017)

Cyber-physical system homeostatic security management. - Dmitry P. Zegzhda; Evgeny Pavlenko (Autom. Control. Comput. Sci., 2017)

Use of Intel SGX to ensure the confidentiality of data of cloud users. - Dmitry P. Zegzhda; E. S. Usov; V. A. Nikol'skii; Evgeny Pavlenko (Autom. Control. Comput. Sci., 2017)

Sustainability of cyber-physical systems in the context of targeted destructive influences. - Evgeny Pavlenko; Dmitry P. Zegzhda (ICPS, 2018)

Applying deep learning techniques for Android malware detection. - Peter D. Zegzhda; Dmitry P. Zegzhda; Evgeny Pavlenko; Gleb Ignatev (SIN, 2018)

Architecture of the Protected Cloud Data Storage Using Intel SGX Technology. - E. S. Usov; V. A. Nikol'skii; E. Yu. Pavlenko; Dmitry P. Zegzhda (Autom. Control. Comput. Sci., 2018)

Cyber-sustainability of Software-Defined Networks Based on Situational Management. - Dmitry P. Zegzhda; E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2018)

Digital Manufacturing Security Indicators. - Dmitry P. Zegzhda; E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2018)

Ensuring Secure Data Input/Output Operations for SGX ENCLAVE. - Dmitry P. Zegzhda; E. S. Usov; V. A. Nikol'skii; E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2018)

Estimating the sustainability of cyber-physical systems based on spectral graph theory. - Evgeny Pavlenko; Dmitry P. Zegzhda; Anna A. Shtyrkina (BlackSeaCom, 2019)

High-performance NIDS Architecture for Enterprise Networking. - Maria A. Poltavtseva; Dmitry P. Zegzhda; Evgeniy Y. Pavlenko (BlackSeaCom, 2019)

Ensuring the sustainability of cyberphysical systems based on dynamic reconfiguration. - Evgeny Pavlenko; Dmitry P. Zegzhda; Maria A. Poltavtseva (ICPS, 2019)

Model of Cyberattacks on Digital Production Systems. - E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2019)

Detection of Information Security Breaches in a Digital Production System Based on the Component Interaction Model. - E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2019)

A Survey of Mathematical Methods for Security Analysis of Cyberphysical Systems. - A. D. Fatin; E. Yu. Pavlenko; Maria A. Poltavtseva (Autom. Control. Comput. Sci., 2020)

Ensuring Cyber Resilience of Large-Scale Network Infrastructure Using the Ant Algorithm. - E. Yu. Pavlenko; K. V. Kudinov (Autom. Control. Comput. Sci., 2020)

Countering Cyberattacks against Intelligent Bioinspired Systems Based on FANET. - E. Yu. Pavlenko; M. D. Stepanov (Autom. Control. Comput. Sci., 2020)

Analysis of Safety Methods for a New Generation of Automobiles. - K. V. Vasil'eva; E. Yu. Pavlenko; P. V. Sem'yanov (Autom. Control. Comput. Sci., 2020)

Cyber Attack Prevention Based on Evolutionary Cybernetics Approach. - Dmitry P. Zegzhda; Daria S. Lavrova; Evgeny Pavlenko; Anna A. Shtyrkina (Symmetry, 2020)

Using the Neat-Hypercube Mechanism to Detect Cyber Attacks on IoT Systems. - A. D. Fatin; E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2021)

Detecting Network Attacks on Software Configured Networks Using the Isolating Forest Algorithm. - M. D. Stepanov; E. Yu. Pavlenko; Daria S. Lavrova (Autom. Control. Comput. Sci., 2021)

Modelling Artificial Immunization Processes to Counter Cyberthreats. - Dmitry P. Zegzhda; Evgeny Pavlenko; Elena B. Aleksandrova (Symmetry, 2021)

Immunization of Complex Networks: Topology and Methods. - A. D. Fatin; E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2022)

Systematization of Cyber Threats to Large-Scale Systems with Adaptive Network Topology. - E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2022)

Functional Model of Adaptive Network Topology of Large-Scale Systems Based on Dynamical Graph Theory. - E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2022)

Computer Network Clustering Methods in Cybersecurity Problems. - E. Yu. Pavlenko; I. S. Eremenko; A. D. Fatin (Autom. Control. Comput. Sci., 2022)

Immunization of Complex Networks: System of Differential Equations and Dynamic Variation. - E. Yu. Pavlenko; A. D. Fatin (Autom. Control. Comput. Sci., 2022)

Counteraction the cybersecurity threats of the in-vehicle local network. - Evgeniy Y. Pavlenko; K. V. Vasil'eva; Daria S. Lavrova; Dmitry P. Zegzhda (J. Comput. Virol. Hacking Tech., 2023)

Probabilistic Approach to Estimate the Cyber Resistance of Mobile Networks Based on Their Connectivity. - Daria S. Lavrova; V. M. Bogina; Dmitry P. Zegzhda; E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2023)

Analysis and Forecasting of States of Industrial Networks with Adaptive Topology Based on Network Motifs. - E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2023)

Graph-Based Self-Regulation for Different Types of Networks with Adaptive Topology. - E. Yu. Pavlenko; M. A. Pakhomov (Autom. Control. Comput. Sci., 2023)

Algorithm for Link Prediction in a Self-Regulating Network with Adaptive Topology Based on Graph Theory and Machine Learning. - E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2024)

Intelligent Synthesis of Cyber-Resilient Network Structures: Methods, Experiments, and Architecture Implementation. - E. Yu. Pavlenko (Autom. Control. Comput. Sci., 2024)

Providing Information Security of Vehicular Ad Hoc Networks Using the Early Detection of Malicious Nodes. - E. Yu. Pavlenko; M. A. Pakhomov (Autom. Control. Comput. Sci., 2024)

Analysis of Data Exchange Systems about Information Security Threats. - E. Yu. Pavlenko; N. V. Polosukhin (Autom. Control. Comput. Sci., 2024)

Graph of Self-Regulation of Various Types of Networks with Adaptive Topology. - E. Yu. Pavlenko; M. A. Pakhomov (Autom. Control. Comput. Sci., 2024)