14 citations · 34 across the 6 of their papers we have counts for
1 paper · 1 filter
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…