@inproceedings {186161, author = {Chris Hawblitzel and Jon Howell and Jacob R. Lorch and Arjun Narayan and Bryan Parno and Danfeng Zhang and Brian Zill}, title = {Ironclad Apps: {End-to-End} Security via Automated {Full-System} Verification}, booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)}, year = {2014}, isbn = { 978-1-931971-16-4}, address = {Broomfield, CO}, pages = {165--181}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel}, publisher = {USENIX Association}, month = oct }