Verifying security patches.

Jonathan Gallagher, Robin Gonzalez, Michael E. Locasto

Browse the full OOPSLA paper archive.