output
20122021
most citedRuntime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces

17 citations

researchers with a paper here
collaborating institutions
Showing 2020Show all

1 paper · 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…