Biblio

Export 7 results:
Filters: Author is Chris Hawblitzel  [Clear All Filters]
2023
Hance T, Zhou Y, Lattuada A, Achermann R, Conway A, Stutsman R, Zellweger G, Hawblitzel C, Howell J, Parno B.  2023.  Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :911--929.
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.
2017
Bond B, Hawblitzel C, Kapritsos M, K. Leino RM, Lorch JR, Parno B, Rane A, Setty S, Thompson L.  2017.  Vale: Verifying High-Performance Cryptographic Assembly Code. 26th USENIX Security Symposium (USENIX Security 17). :917--934.
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).