Ironclad Apps: End-to-End Security via Automated Full-System Verification

TitleIronclad Apps: {End-to-End} Security via Automated {Full-System} Verification
Publication TypeConference Paper
Year of Publication2014
AuthorsHawblitzel C, Howell J, Lorch JR, Narayan A, Parno B, Zhang D, Zill B
Conference Name11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)
Date Published10/2014
PublisherUSENIX Association
Conference LocationBroomfield, CO
ISBN Number 978-1-931971-16-4