Ironclad apps: End-to-end security via automated full-system verification

Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
[Google Scholar] [DBLP] [Citeseer]

11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)
Pages 165-181
2014
Topic(s): os security verification