Login / Signup
Petr Dmitrievich Borisov
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Symbolic Execution
Relational Databases
Test Generation
Automatic Analysis
Top Venues
Autom. Control. Comput. Sci.
</>
Publications
</>
Petr Dmitrievich Borisov
,
Yury V. Kosolapov
On the Characteristics of Symbolic Execution in the Problem of Assessing the Quality of Obfuscating Transformations.
Autom. Control. Comput. Sci.
56 (7) (2022)
Petr Dmitrievich Borisov
,
Yury V. Kosolapov
On the Automatic Analysis of the Practical Resistance of Obfuscating Transformations.
Autom. Control. Comput. Sci.
54 (7) (2020)