10 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.SE2018★ 4 cited
Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE
John Galea, Sean Heelan, Daniel Neville +1
Symbolic execution has shown its ability to find security-relevant flaws in software, but faces significant scalability challenges. There is a commonly held belief that manual inte…
cs.CR2018★ 10 cited
Automatic Heap Layout Manipulation for Exploitation
Sean Heelan, Tom Melham, Daniel Kroening
Heap layout manipulation is integral to exploiting heap-based memory corruption vulnerabilities. In this paper we present the first automatic approach to the problem, based on pseu…