14 citations · 34 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.CR2021
Casr-Cluster: Crash Clustering for Linux Applications
Georgy Savidov, Andrey Fedotov
Crash report analysis is a necessary step before developers begin fixing errors. Fuzzing or hybrid (with dynamic symbolic execution) fuzzing is often used in the secure development…
cs.CR2021★ 5 cited
Symbolic Security Predicates: Hunt Program Weaknesses
Alexey Vishnyakov, Vlada Logunova, Eli Kobrin +3
Dynamic symbolic execution (DSE) is a powerful method for path exploration during hybrid fuzzing and automatic bug detection. We propose security predicates to effectively detect u…