14 citations · 42 across the 8 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
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…
cs.CR2021★ 11 cited
Towards Symbolic Pointers Reasoning in Dynamic Symbolic Execution
Daniil Kuts
Dynamic symbolic execution is a widely used technique for automated software testing, designed for execution paths exploration and program errors detection. A hybrid approach has r…