Login / Signup
Sergey P. Vartanov
ORCID
Publication Activity (10 Years)
Years Active: 2018-2021
Publications (10 Years): 2
Top Topics
Java Card
Security Policies
Symbolic Execution
Static Analysis
Top Venues
Program. Comput. Softw.
</>
Publications
</>
A. E. Borodin
,
A. V. Goremykin
,
Sergey P. Vartanov
,
A. A. Belevantsev
Searching for Taint Vulnerabilities with Svace Static Analysis Tool.
Program. Comput. Softw.
47 (6) (2021)
A. Yu. Gerasimov
,
Leonid V. Kruglov
,
Mikhail K. Ermakov
,
Sergey P. Vartanov
An Approach to Reachability Determination for Static Analysis Defects with the Help of Dynamic Symbolic Execution.
Program. Comput. Softw.
44 (6) (2018)