Jonathan Gallagher, Robin Gonzalez, Michael E. Locasto. Verifying security patches. In Tyrone Grandison, Raquel L. Hill, E. Michael Maximilien, editors, Proceedings of the 2014 International Workshop on Privacy & Security in Programming, Portland, OR, USA, October 21, 2014. pages 11-18, ACM, 2014. [doi]
Abstract is missing.