Details
Title
Kuznetsov, Volodymyr
Sciper ID
194743
Affiliated labs
DSLAB
Publications
-Overify: Optimizing Programs for Fast Verification
Code-Pointer Integrity
Efficient State Merging in Symbolic Execution
Efficient State Merging in Symbolic Execution
High System-Code Security with Low Overhead
Improving systems software security through program analysis and instrumentation
S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
Testing Closed-Source Binary Device Drivers with DDT
The S2E Platform: Design, Implementation, and Applications
Code-Pointer Integrity
Efficient State Merging in Symbolic Execution
Efficient State Merging in Symbolic Execution
High System-Code Security with Low Overhead
Improving systems software security through program analysis and instrumentation
S2E: A Platform for In-Vivo Multi-Path Analysis of Software Systems
Testing Closed-Source Binary Device Drivers with DDT
The S2E Platform: Design, Implementation, and Applications
Link to search
All resources
Record appears in
Authorities > People