We stand with Ukraine  

Sean Heelan

Affiliations:
  • Immunity Inc., Miami, FL, USA
  • University of Oxford, Department of Computer Science, UK


According to our database1, Sean Heelan authored at least 6 papers between 2011 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Gollum: Modular and Greybox Exploit Generation for Heap Overflows in Interpreters.
[BibTeX]
[DOI]
Sean Heelan
,
Tom Melham
,
Daniel Kroening
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

2018
Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE.
[BibTeX]
[DOI]
John Galea
,
Sean Heelan
,
Daniel Neville
,
Daniel Kroening
CoRR, 2018

Automatic Heap Layout Manipulation for Exploitation.
[BibTeX]
[DOI]
Sean Heelan
,
Tom Melham
,
Daniel Kroening
Proceedings of the 27th USENIX Security Symposium, 2018

2012
SMT Solvers in Software Security.
[BibTeX]
[DOI]
Julien Vanegue
,
Sean Heelan
Proceedings of the 6th USENIX Workshop on Offensive Technologies, 2012

Augmenting vulnerability analysis of binary code.
[BibTeX]
[DOI]
Sean Heelan
,
Agustin Gianni
Proceedings of the 28th Annual Computer Security Applications Conference, 2012

2011
Vulnerability Detection Systems: Think Cyborg, Not Robot.
[BibTeX]
[DOI]
Sean Heelan
IEEE Secur. Priv., 2011


  Loading...