Lecture: Security: Ironclad Apps - Part 1

Date: 3/20/17

Reading

• Required reading: 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, OSDI, 2014.