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]
@inproceedings{GallagherGL14,
title = {Verifying security patches},
author = {Jonathan Gallagher and Robin Gonzalez and Michael E. Locasto},
year = {2014},
doi = {10.1145/2687148.2687151},
url = {http://doi.acm.org/10.1145/2687148.2687151},
researchr = {https://researchr.org/publication/GallagherGL14},
cites = {0},
citedby = {0},
pages = {11-18},
booktitle = {Proceedings of the 2014 International Workshop on Privacy & Security in Programming, Portland, OR, USA, October 21, 2014},
editor = {Tyrone Grandison and Raquel L. Hill and E. Michael Maximilien},
publisher = {ACM},
isbn = {978-1-4503-2296-6},
}