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

Browse the full OSDI paper archive.