Login / Signup
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
CoRR
USENIX Security Symposium
CCS
WOOT
</>
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)