Verifying security patches. - Jonathan Gallagher; Robin Gonzalez; Michael E. Locasto (PSP, 2014)