Sean Heelan

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 4

Top Topics

Modulo Theories

Generation Process

Buffer Overflow

Modular Structure

Top Venues

USENIX Security Symposium

Publications

Sean Heelan, Tom Melham, Daniel Kroening
Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters. CCS (2019)
Sean Heelan, Tom Melham, Daniel Kroening
Automatic Heap Layout Manipulation for Exploitation. CoRR (2018)
Sean Heelan, Tom Melham, Daniel Kroening
Automatic Heap Layout Manipulation for Exploitation. USENIX Security Symposium (2018)
John Galea, Sean Heelan, Daniel Neville, Daniel Kroening
Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE. CoRR (2018)
Julien Vanegue, Sean Heelan
SMT Solvers in Software Security. WOOT (2012)
Sean Heelan, Agustin Gianni
Augmenting vulnerability analysis of binary code. ACSAC (2012)
Sean Heelan
Vulnerability Detection Systems: Think Cyborg, Not Robot. IEEE Secur. Priv. 9 (3) (2011)