Sean Heelan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Daniel Kroening
36 publications
Tom Melham
12 publications
John Galea
2 publications
Daniel Neville
1 publication

research

∙ 05/09/2018

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

Symbolic execution has shown its ability to find security-relevant flaws...

0 John Galea, et al. ∙

research

∙ 04/23/2018

Automatic Heap Layout Manipulation for Exploitation

Heap layout manipulation is integral to exploiting heap-based memory cor...

0 Sean Heelan, et al. ∙