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
URLhttps://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel