Evgeny Pavlenko

According to our database, Evgeny Pavlenko authored at least 41 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Graph-Based Self-Regulation for Different Types of Networks with Adaptive Topology.

E. Yu. Pavlenko, M. A. Pakhomov

Autom. Control. Comput. Sci., December, 2023

Analysis and Forecasting of States of Industrial Networks with Adaptive Topology Based on Network Motifs.

E. Yu. Pavlenko

Autom. Control. Comput. Sci., December, 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., December, 2023

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., September, 2023

2022

Immunization of Complex Networks: System of Differential Equations and Dynamic Variation.

E. Yu. Pavlenko, A. D. Fatin

Autom. Control. Comput. Sci., December, 2022

Computer Network Clustering Methods in Cybersecurity Problems.

E. Yu. Pavlenko, I. S. Eremenko, A. D. Fatin

Autom. Control. Comput. Sci., December, 2022

Functional Model of Adaptive Network Topology of Large-Scale Systems Based on Dynamical Graph Theory.

E. Yu. Pavlenko

Autom. Control. Comput. Sci., December, 2022

Systematization of Cyber Threats to Large-Scale Systems with Adaptive Network Topology.

E. Yu. Pavlenko

Autom. Control. Comput. Sci., December, 2022

Immunization of Complex Networks: Topology and Methods.

A. D. Fatin, E. Yu. Pavlenko

Autom. Control. Comput. Sci., December, 2022

2021

Modelling Artificial Immunization Processes to Counter Cyberthreats.

Dmitry P. Zegzhda, Evgeny Pavlenko, Elena B. Aleksandrova

Symmetry, 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

Using the Neat-Hypercube Mechanism to Detect Cyber Attacks on IoT Systems.

A. D. Fatin, E. Yu. Pavlenko

Autom. Control. Comput. Sci., 2021

2020

Cyber Attack Prevention Based on Evolutionary Cybernetics Approach.

Dmitry P. Zegzhda, Daria S. Lavrova, Evgeny Pavlenko, Anna A. Shtyrkina

Symmetry, 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

Countering Cyberattacks against Intelligent Bioinspired Systems Based on FANET.

E. Yu. Pavlenko, M. D. Stepanov

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

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

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

Model of Cyberattacks on Digital Production Systems.

E. Yu. Pavlenko

Autom. Control. Comput. Sci., 2019

Ensuring the sustainability of cyberphysical systems based on dynamic reconfiguration.

Evgeny Pavlenko, Dmitry P. Zegzhda, Maria A. Poltavtseva

Proceedings of the IEEE International Conference on Industrial Cyber Physical Systems, 2019

High-performance NIDS Architecture for Enterprise Networking.

Maria A. Poltavtseva, Dmitry P. Zegzhda, Evgeniy Y. Pavlenko

Proceedings of the 7th IEEE International Black Sea Conference on Communications and Networking BlackSeaCom 2019, 2019

Estimating the sustainability of cyber-physical systems based on spectral graph theory.

Evgeny Pavlenko, Dmitry P. Zegzhda, Anna A. Shtyrkina

Proceedings of the 7th IEEE International Black Sea Conference on Communications and Networking BlackSeaCom 2019, 2019

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

Digital Manufacturing Security Indicators.

Dmitry P. Zegzhda, E. Yu. Pavlenko

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

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

Applying deep learning techniques for Android malware detection.

Peter D. Zegzhda, Dmitry P. Zegzhda, Evgeny Pavlenko, Gleb Ignatev

Proceedings of the 11th International Conference on Security of Information and Networks, 2018

Sustainability of cyber-physical systems in the context of targeted destructive influences.

Evgeny Pavlenko, Dmitry P. Zegzhda

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

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

Cyber-physical system homeostatic security management.

Dmitry P. Zegzhda, Evgeny Pavlenko

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

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

Hierarchical approach to analyzing security breaches in information systems.

E. Yu. Pavlenko, A. V. Yarmak, Dmitry A. Moskvin

Autom. Control. Comput. Sci., 2017

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

Proceedings of the 10th International Conference on Security of Information and Networks, 2017

2015

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

2011

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

Evgeny Pavlenko

PhD thesis, 2011

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

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

2009

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

Proceedings of the Algorithms and Applications for Next Generation SAT Solvers, 08.11., 2009

2008

Modeling of Custom-Designed Arithmetic Components for ABL Normalization.

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

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

Proceedings of the Languages for Embedded Systems and their Applications, 2008

2007

Arithmetic Constraints in SAT-based Property Checking.

Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007