Biblio

Export 6 results:
Filters: Author is Chris Hawblitzel  [Clear All Filters]
2020
Hance T, Lattuada A, Hawblitzel C, Howell J, Johnson R, Parno B.  2020.  Storage Systems are Distributed Systems (So Verify Them That Way!). 14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20). :99--115.
2014
Baumann A, Hawblitzel C, Kourtis K, Harris T, Roscoe T.  2014.  Cosh: Clear OS Data Sharing In An Incoherent World. 2014 Conference on Timely Results in Operating Systems ({TRIOS} 14).
Hawblitzel C, Howell J, Lorch JR, Narayan A, Parno B, Zhang D, Zill B.  2014.  Ironclad Apps: End-to-End Security via Automated Full-System Verification. 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). :165--181.
2002
Hawblitzel C, von Eicken T.  2002.  Luna: A Flexible Java Protection System. 5th Symposium on Operating Systems Design and Implementation ({OSDI} 02).
1998
Hawblitzel C, Chang C-C, Czajkowski G, Hu D, von Eicken T.  1998.  Implementing Multiple Protection Domains in Java. 1998 {USENIX} Annual Technical Conference ({USENIX} {ATC} 98).