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
Pages 165-181
2014
Topic(s): os security verification