14 citations · 47 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.CR2020★ 14 cited
Sydr: Cutting Edge Dynamic Symbolic Execution
Alexey Vishnyakov, Andrey Fedotov, Daniil Kuts +6
The security development lifecycle (SDL) is becoming an industry standard. Dynamic symbolic execution (DSE) has enormous amount of applications in computer security (fuzzing, vulne…
cs.CR2020★ 10 cited
Survey of Methods for Automated Code-Reuse Exploit Generation
Alexey Vishnyakov, Alexey Nurmukhametov
This paper provides a survey of methods and tools for automated code-reuse exploit generation. Such exploits use code that is already contained in a vulnerable program. The code-re…