David Lie

Congratulations to James on an accepted Oakland 2019 paper!

James‘s PhD work on “Using Safety Properties to Generate Vulnerability Patches” has been accepted for publication at the IEEE Symposium on Security and Privacy (aka Oakland) 2019. We will have the pre-print up soon. Congratulations James!