Lecture: Security: Ironclad Apps - Part 2

Date: 3/22/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.