John Galea

According to our database, John Galea authored at least 4 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Optimizing a primitive based approach to generic taint analysis.

John Galea

PhD thesis, 2020

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

John Galea, Daniel Kroening

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2018

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

John Galea, Sean Heelan, Daniel Neville, Daniel Kroening

CoRR, 2018

2015

SUDUTA: Script UAF Detection Using Taint Analysis.

John Galea, Mark Vella

Proceedings of the Security and Trust Management - 11th International Workshop, 2015