Biblio

Export 5 results:
Filters: Author is Adam Chlipala  [Clear All Filters]
2018
Ileri A, Chajed T, Chlipala A, Kaashoek F, Zeldovich N.  2018.  Proving confidentiality in a file system using DiskSec. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :323--338.
2016
Chen H, Ziegler D, Chajed T, Chlipala A, M. Kaashoek F, Zeldovich N.  2016.  Using Crash Hoare Logic for Certifying the FSCQ File System. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
2015
Chen H, Ziegler D, Chlipala A, M. Kaashoek F, Kohler E, Zeldovich N.  2015.  Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
2014
Wang X, Lazar D, Zeldovich N, Chlipala A, Tatlock Z.  2014.  Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :33--47.
2010
Chlipala A.  2010.  Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).