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).