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
Publisher{USENIX} Association
Conference LocationBroomfield, CO
ISBN Number 978-1-931971-16-4
URLhttps://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel