14 citations · 30 across the 4 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…