Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
Ironclad Apps: End-to-End Security via Automated Full-System Verification
OSDI, 2014.
@inproceedings{OSDI-2014-HawblitzelHLNPZZ,
author = "Chris Hawblitzel and Jon Howell and Jacob R. Lorch and Arjun Narayan and Bryan Parno and Danfeng Zhang and Brian Zill",
booktitle = "{Proceedings of the 11th Symposium on Operating Systems Design and Implementation}",
ee = "https://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel",
pages = "165--181",
publisher = "{USENIX Association}",
title = "{Ironclad Apps: End-to-End Security via Automated Full-System Verification}",
year = 2014,
}