John Galea

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 3

Top Topics

Automatic Analysis

Linear Programming

Collaborative Learning

Top Venues

Publications

John Galea, Daniel Kroening
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. CoRR (2020)
John Galea, Daniel Kroening
The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. AsiaCCS (2020)
John Galea, Sean Heelan, Daniel Neville, Daniel Kroening
Evaluating Manual Intervention to Address the Challenges of Bug Finding with KLEE. CoRR (2018)
John Galea, Mark Vella
SUDUTA: Script UAF Detection Using Taint Analysis. STM (2015)