USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 5 results:
Filters: Author is Adam Chlipala [Clear All Filters]
Proving confidentiality in a file system using DiskSec. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :323--338.
.
2018. Using Crash Hoare Logic for Certifying the FSCQ File System. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
.
2016. Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :33--47.
.
2014. Static Checking of Dynamically-Varying Security Policies in Database-Backed Applications. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
.
2010.