SUDUTA: Script UAF Detection Using Taint Analysis. - John Galea; Mark Vella (STM, 2015)

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

The Taint Rabbit: Optimizing Generic Taint Analysis with Dynamic Fast Path Generation. - John Galea; Daniel Kroening (AsiaCCS, 2020)

Optimizing a primitive based approach to generic taint analysis. - John Galea (2020)