Vulnerability Detection Systems: Think Cyborg, Not Robot. - Sean Heelan (IEEE Secur. Priv., 2011)

Augmenting vulnerability analysis of binary code. - Sean Heelan; Agustin Gianni (ACSAC, 2012)

SMT Solvers in Software Security. - Julien Vanegue; Sean Heelan (WOOT, 2012)

Automatic Heap Layout Manipulation for Exploitation. - Sean Heelan; Tom Melham; Daniel Kroening (USENIX Security Symposium, 2018)

Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE. - John Galea; Sean Heelan; Daniel Neville; Daniel Kroening (CoRR, 2018)

Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters. - Sean Heelan; Tom Melham; Daniel Kroening (CCS, 2019)