S. Heelan

SMT Solvers in Software Security

Sean Heelan, Julien Vanegue, Julien Vanegue, 2012, WOOT.

Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters

Daniel Kroening, Thomas F. Melham, Sean Heelan, 2019, CCS.

Automatic Heap Layout Manipulation for Exploitation pdf

Daniel Kroening, Thomas F. Melham, Sean Heelan, 2018, USENIX Security Symposium.

Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE pdf

Daniel Kroening, Sean Heelan, John Galea, 2018, ArXiv.

MSc Computer Science Dissertation Automatic Generation of Control Flow Hijacking Exploits for Software Vulnerabilities

Daniel Kroening, Sean Heelan, D. Kroening, 2009 .