Biblio
Export 36 results:
Filters: Author is Nickolai Zeldovich [Clear All Filters]
Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. 17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23). :871--886.
.
2023. Aardvark: An Asynchronous Authenticated Dictionary with Applications to Account-based Cryptocurrencies. 31st USENIX Security Symposium (USENIX Security 22). :4237--4254.
.
2022. Groove: Flexible Metadata-Private Messaging. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :735--750.
.
2022. Verifying Hardware Security Modules with Information-Preserving Refinement. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :503--519.
.
2022. Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). :447--463.
.
2022. GoJournal: a verified, concurrent, crash-safe journaling system. 15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21). :423--439.
.
2021. Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). :1139--1154.
.
2020. Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :711--725.
.
2018. Proving confidentiality in a file system using DiskSec. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :323--338.
.
2018. Verifying concurrent software using movers in CSPEC. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :306--322.
.
2018. Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :571--586.
.
2016. Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds. 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). :611--626.
.
2016. Using Crash Hoare Logic for Certifying the FSCQ File System. 2016 USENIX Annual Technical Conference (USENIX ATC 16).
.
2016. Amber: Decoupling User Data from Web Applications. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Specifying Crash Safety for Storage Systems. 15th Workshop on Hot Topics in Operating Systems (HotOS XV).
.
2015. Building Web Applications on Top of Encrypted Data Using Mylar. 11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14). :157--172.
.
2014. Identifying Information Disclosure in Web Applications with Retroactive Auditing. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :555--569.
.
2014. Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :33--47.
.
2014. Nail: A Practical Tool for Parsing and Generating Data Formats. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :615--628.
.
2014. Practical and Effective Sandboxing for Non-root Users. 2013 USENIX Annual Technical Conference (USENIX ATC 13). :139--144.
.
2013. Efficient Patch-based Auditing for Web Application Vulnerabilities. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :193--206.
.
2012. Improving Integer Security for Systems with KINT. 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12). :163--177.
.
2012. Experiences in Cyber Security Education: The MIT Lincoln Laboratory Capture-the-Flag Exercise. 4th Workshop on Cyber Security Experimentation and Test (CSET 11).
.
2011. Secure In-Band Wireless Pairing. 20th USENIX Security Symposium (USENIX Security 11).
.
2011. An Analysis of Linux Scalability to Many Cores. 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10).
.
2010.