John Galea | DeepAI

DeepAI

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

Featured Co-authors

Daniel Kroening
36 publications
Sean Heelan
2 publications
Daniel Neville
1 publication

research

∙ 07/12/2020

The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation

Generic taint analysis is a pivotal technique in software security. Howe...

0 John Galea, et al. ∙

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. ∙