E. Yu. Pavlenko

Statistics

Publications

Citations

346

H-Index

Active since

2008

Affiliations

Peter the Great St. Petersburg Polytechnic University(Current)

University of Kaiserslautern

E. Yu. Pavlenko is an author at Peter the Great St. Petersburg Polytechnic University specializing in engineering, systems engineering, and information security.

ORCID

Top concepts

EngineeringComputer ScienceSystems EngineeringInformation SecurityComputer EngineeringCyber Physical SystemsProgram AnalysisHardware SecurityAutomationTechnology

Publications per year

2008–2021

Publications

Applying deep learning techniques for Android malware detection

P. D. Zegzhda, D. P. Zegzhda, E. Yu. Pavlenko et al. · 2018 · 44 citations

Mobile Security, Malware Identification, Engineering +7

STABLE: A new QF-BV SMT solver for hard verification problems combining Boolean reasoning with computer algebra

E. Yu. Pavlenko, Markus Wedler, Dominik Stoffel et al. · 2011 · 43 citations

Mathematical Programming, Engineering, Smt Formulas +24

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

E. Yu. Pavlenko, D. P. Zegzhda · 2018 · 35 citations

Engineering, Information Security, Security Assessment +19

Cyber-physical system homeostatic security management

D. P. Zegzhda, E. Yu. Pavlenko · Automatic Control and Computer Sciences · 2017 · 33 citations

Digital Manufacturing Security Indicators

D. P. Zegzhda, E. Yu. Pavlenko · Automatic Control and Computer Sciences · 2018 · 26 citations

1–5 of 16