@inproceedings {288544, author = {Yun-Sheng Chang and Ralf Jung and Upamanyu Sharma and Joseph Tassarotti and M. Frans Kaashoek and Nickolai Zeldovich}, title = {Verifying {vMVCC}, a high-performance transaction library using multi-version concurrency control}, booktitle = {17th USENIX Symposium on Operating Systems Design and Implementation (OSDI 23)}, year = {2023}, isbn = {978-1-939133-34-2}, address = {Boston, MA}, pages = {871--886}, url = {https://www.usenix.org/conference/osdi23/presentation/chang}, publisher = {USENIX Association}, month = jul } @inproceedings {277090, author = {Derek Leung and Yossi Gilad and Sergey Gorbunov and Leonid Reyzin and Nickolai Zeldovich}, title = {Aardvark: An Asynchronous Authenticated Dictionary with Applications to Account-based Cryptocurrencies}, booktitle = {31st USENIX Security Symposium (USENIX Security 22)}, year = {2022}, isbn = {978-1-939133-31-1}, address = {Boston, MA}, pages = {4237--4254}, url = {https://www.usenix.org/conference/usenixsecurity22/presentation/leung}, publisher = {USENIX Association}, month = aug } @inproceedings {280852, author = {Ludovic Barman and Moshe Kol and David Lazar and Yossi Gilad and Nickolai Zeldovich}, title = {Groove: Flexible {Metadata-Private} Messaging}, booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)}, year = {2022}, isbn = {978-1-939133-28-1}, address = {Carlsbad, CA}, pages = {735--750}, url = {https://www.usenix.org/conference/osdi22/presentation/barman}, publisher = {USENIX Association}, month = jul } @inproceedings {280912, author = {Anish Athalye and M. Frans Kaashoek and Nickolai Zeldovich}, title = {Verifying Hardware Security Modules with {Information-Preserving} Refinement}, booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)}, year = {2022}, isbn = {978-1-939133-28-1}, address = {Carlsbad, CA}, pages = {503--519}, url = {https://www.usenix.org/conference/osdi22/presentation/athalye}, publisher = {USENIX Association}, month = jul } @inproceedings {280854, author = {Tej Chajed and Joseph Tassarotti and Mark Theng and M. Frans Kaashoek and Nickolai Zeldovich}, title = {Verifying the {DaisyNFS} concurrent and crash-safe file system with sequential reasoning}, booktitle = {16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)}, year = {2022}, isbn = {978-1-939133-28-1}, address = {Carlsbad, CA}, pages = {447--463}, url = {https://www.usenix.org/conference/osdi22/presentation/chajed}, publisher = {USENIX Association}, month = jul } @inproceedings {273703, author = {Tej Chajed and Joseph Tassarotti and Mark Theng and Ralf Jung and M. Frans Kaashoek and Nickolai Zeldovich}, title = {GoJournal: a verified, concurrent, crash-safe journaling system}, booktitle = {15th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 21)}, year = {2021}, isbn = {978-1-939133-22-9}, pages = {423--439}, url = {https://www.usenix.org/conference/osdi21/presentation/chajed}, publisher = {{USENIX} Association}, month = jul } @inproceedings {258977, author = {Jonathan Behrens and Anton Cao and Cel Skeggs and Adam Belay and M. Frans Kaashoek and Nickolai Zeldovich}, title = {Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract}, booktitle = {14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)}, year = {2020}, isbn = {978-1-939133-19-9}, pages = {1139--1154}, url = {https://www.usenix.org/conference/osdi20/presentation/behrens}, publisher = {USENIX Association}, month = nov } @inproceedings {222615, author = {David Lazar and Yossi Gilad and Nickolai Zeldovich}, title = {Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis}, booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)}, year = {2018}, isbn = {978-1-939133-08-3}, address = {Carlsbad, CA}, pages = {711--725}, url = {https://www.usenix.org/conference/osdi18/presentation/lazar}, publisher = {USENIX Association}, month = oct } @inproceedings {222567, author = {Atalay Ileri and Tej Chajed and Adam Chlipala and Frans Kaashoek and Nickolai Zeldovich}, title = {Proving confidentiality in a file system using {DiskSec}}, booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)}, year = {2018}, isbn = {978-1-939133-08-3}, address = {Carlsbad, CA}, pages = {323--338}, url = {https://www.usenix.org/conference/osdi18/presentation/ileri}, publisher = {USENIX Association}, month = oct } @inproceedings {222565, author = {Tej Chajed and Frans Kaashoek and Butler Lampson and Nickolai Zeldovich}, title = {Verifying concurrent software using movers in {CSPEC}}, booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)}, year = {2018}, isbn = {978-1-939133-08-3}, address = {Carlsbad, CA}, pages = {306--322}, url = {https://www.usenix.org/conference/osdi18/presentation/chajed}, publisher = {USENIX Association}, month = oct } @inproceedings {199303, author = {David Lazar and Nickolai Zeldovich}, title = {Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata}, booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)}, year = {2016}, isbn = {978-1-931971-33-1}, address = {Savannah, GA}, pages = {571--586}, url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/lazar}, publisher = {USENIX Association}, month = nov } @inproceedings {194978, author = {Frank Wang and James Mickens and Nickolai Zeldovich and Vinod Vaikuntanathan}, title = {Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds}, booktitle = {13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16)}, year = {2016}, isbn = {978-1-931971-29-4}, address = {Santa Clara, CA}, pages = {611--626}, url = {https://www.usenix.org/conference/nsdi16/technical-sessions/presentation/wang-frank}, publisher = {USENIX Association}, month = mar } @inproceedings {196219, author = {Haogang Chen and Daniel Ziegler and Tej Chajed and Adam Chlipala and M. Frans Kaashoek and Nickolai Zeldovich}, title = {Using Crash Hoare Logic for Certifying the {FSCQ} File System}, booktitle = {2016 USENIX Annual Technical Conference (USENIX ATC 16)}, year = {2016}, address = {Denver, CO}, url = {https://www.usenix.org/conference/atc16/technical-sessions/presentation/chen_haogang}, publisher = {USENIX Association}, month = jun } @inproceedings {189918, author = {Tej Chajed and Jon Gjengset and Jelle van den Hooff and M. Frans Kaashoek and James Mickens and Robert Morris and Nickolai Zeldovich}, title = {Amber: Decoupling User Data from Web Applications}, booktitle = {15th Workshop on Hot Topics in Operating Systems (HotOS XV)}, year = {2015}, address = {Kartause Ittingen, Switzerland}, url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/chajed}, publisher = {USENIX Association}, month = may } @inproceedings {189922, author = {Haogang Chen and Daniel Ziegler and Adam Chlipala and M. Frans Kaashoek and Eddie Kohler and Nickolai Zeldovich}, title = {Specifying Crash Safety for Storage Systems}, booktitle = {15th Workshop on Hot Topics in Operating Systems (HotOS XV)}, year = {2015}, address = {Kartause Ittingen, Switzerland}, url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/chen_haogang}, publisher = {USENIX Association}, month = may } @inproceedings {179793, author = {Raluca Ada Popa and Emily Stark and Steven Valdez and Jonas Helfer and Nickolai Zeldovich and Hari Balakrishnan}, title = {Building Web Applications on Top of Encrypted Data Using Mylar}, booktitle = {11th USENIX Symposium on Networked Systems Design and Implementation (NSDI 14)}, year = {2014}, isbn = {978-1-931971-09-6}, address = {Seattle, WA}, pages = {157--172}, url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/popa}, publisher = {USENIX Association}, month = apr } @inproceedings {186210, author = {Haogang Chen and Taesoo Kim and Xi Wang and Nickolai Zeldovich and M. Frans Kaashoek}, title = {Identifying Information Disclosure in Web Applications with Retroactive Auditing}, booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)}, year = {2014}, isbn = { 978-1-931971-16-4}, address = {Broomfield, CO}, pages = {555--569}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/chen_haogang}, publisher = {USENIX Association}, month = oct } @inproceedings {186144, author = {Xi Wang and David Lazar and Nickolai Zeldovich and Adam Chlipala and Zachary Tatlock}, title = {Jitk: A Trustworthy {In-Kernel} Interpreter Infrastructure}, booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)}, year = {2014}, isbn = { 978-1-931971-16-4}, address = {Broomfield, CO}, pages = {33--47}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/wang_xi}, publisher = {USENIX Association}, month = oct } @inproceedings {186219, author = {Julian Bangert and Nickolai Zeldovich}, title = {Nail: A Practical Tool for Parsing and Generating Data Formats}, booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)}, year = {2014}, isbn = { 978-1-931971-16-4}, address = {Broomfield, CO}, pages = {615--628}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/bangert}, publisher = {USENIX Association}, month = oct } @inproceedings {180196, author = {Taesoo Kim and Nickolai Zeldovich}, title = {Practical and Effective Sandboxing for Non-root Users}, booktitle = {2013 USENIX Annual Technical Conference (USENIX ATC 13)}, year = {2013}, isbn = {978-1-931971-01-0}, address = {San Jose, CA}, pages = {139--144}, url = {https://www.usenix.org/conference/atc13/technical-sessions/presentation/kim}, publisher = {USENIX Association}, month = jun } @inproceedings {180264, author = {Taesoo Kim and Ramesh Chandra and Nickolai Zeldovich}, title = {Efficient Patch-based Auditing for Web Application Vulnerabilities}, booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)}, year = {2012}, isbn = {978-1-931971-96-6}, address = {Hollywood, CA}, pages = {193--206}, url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/kim}, publisher = {USENIX Association}, month = oct } @inproceedings {180262, author = {Xi Wang and Haogang Chen and Zhihao Jia and Nickolai Zeldovich and M. Frans Kaashoek}, title = {Improving Integer Security for Systems with {KINT}}, booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation (OSDI 12)}, year = {2012}, isbn = {978-1-931971-96-6}, address = {Hollywood, CA}, pages = {163--177}, url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/wang}, publisher = {USENIX Association}, month = oct } @inproceedings {266596, author = {Joseph Werther and Michael Zhivich and Tim Leek and Nickolai Zeldovich}, title = {Experiences in Cyber Security Education: The {MIT} Lincoln Laboratory {Capture-the-Flag} Exercise}, booktitle = {4th Workshop on Cyber Security Experimentation and Test (CSET 11)}, year = {2011}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/cset11/experiences-cyber-security-education-mit-lincoln-laboratory-capture-flag-exercise}, publisher = {USENIX Association}, month = aug } @inproceedings {266516, author = {Shyamnath Gollakota and Nabeel Ahmed and Nickolai Zeldovich and Dina Katabi}, title = {Secure {In-Band} Wireless Pairing}, booktitle = {20th USENIX Security Symposium (USENIX Security 11)}, year = {2011}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/usenix-security-11/secure-band-wireless-pairing}, publisher = {USENIX Association}, month = aug } @inproceedings {267148, author = {Silas Boyd-Wickizer and Austin T. Clements and Yandong Mao and Aleksey Pesterev and M. Frans Kaashoek and Robert Morris and Nickolai Zeldovich}, title = {An Analysis of Linux Scalability to Many Cores}, booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)}, year = {2010}, address = {Vancouver, BC}, url = {https://www.usenix.org/conference/osdi10/analysis-linux-scalability-many-cores}, publisher = {USENIX Association}, month = oct } @inproceedings {249095, author = {Taesoo Kim and Xi Wang and Nickolai Zeldovich and M. Frans Kaashoek}, title = {Intrusion Recovery Using Selective Re-execution}, booktitle = {9th USENIX Symposium on Operating Systems Design and Implementation (OSDI 10)}, year = {2010}, address = {Vancouver, BC}, url = {https://www.usenix.org/conference/osdi10/intrusion-recovery-using-selective-re-execution}, publisher = {USENIX Association}, month = oct } @inproceedings {267236, author = {Taesoo Kim and Nickolai Zeldovich}, title = {Making Linux Protection Mechanisms Egalitarian with {UserFS}}, booktitle = {19th USENIX Security Symposium (USENIX Security 10)}, year = {2010}, address = {Washington, DC}, url = {https://www.usenix.org/conference/usenixsecurity10/making-linux-protection-mechanisms-egalitarian-userfs}, publisher = {USENIX Association}, month = aug } @inproceedings {267366, author = {Ramesh Chandra and Priya Gupta and Nickolai Zeldovich}, title = {Separating Web Applications from User Data Storage with {BSTORE}}, booktitle = {USENIX Conference on Web Application Development (WebApps 10)}, year = {2010}, url = {https://www.usenix.org/conference/webapps-10/separating-web-applications-user-data-storage-bstore}, publisher = {USENIX Association}, month = jun } @inproceedings {267355, author = {Silas Boyd-Wickizer and Nickolai Zeldovich}, title = {Tolerating Malicious Device Drivers in Linux}, booktitle = {2010 USENIX Annual Technical Conference (USENIX ATC 10)}, year = {2010}, url = {https://www.usenix.org/conference/usenix-atc-10/tolerating-malicious-device-drivers-linux}, publisher = {USENIX Association}, month = jun } @inproceedings {267927, author = {Nickolai Zeldovich and Hari Kannan and Michael Dalton and Christos Kozyrakis}, title = {Hardware Enforcement of Application Security Policies Using Tagged Memory}, booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)}, year = {2008}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/osdi-08/hardware-enforcement-application-security-policies-using-tagged-memory}, publisher = {USENIX Association}, month = dec } @inproceedings {268264, author = {Nickolai Zeldovich and Silas Boyd-Wickizer and David Mazi{\`e}res}, title = {Securing Distributed Systems with Information Flow Control}, booktitle = {5th USENIX Symposium on Networked Systems Design and Implementation (NSDI 08)}, year = {2008}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/nsdi-08/securing-distributed-systems-information-flow-control}, publisher = {USENIX Association}, month = apr } @inproceedings {268808, author = {Nickolai Zeldovich and Silas Boyd-Wickizer and Eddie Kohler and David Mazi{\`e}res}, title = {Making Information Flow Explicit in {HiStar}}, booktitle = {7th USENIX Symposium on Operating Systems Design and Implementation (OSDI 06)}, year = {2006}, address = {Seattle, WA}, url = {https://www.usenix.org/conference/osdi-06/making-information-flow-explicit-histar}, publisher = {USENIX Association}, month = nov } @inproceedings {269356, author = {Ramesh Chandra and Nickolai Zeldovich and Constantine Sapuntzakis and Monica S. Lam}, title = {The Collective: A {Cache-Based} System Management Architecture}, booktitle = {2nd Symposium on Networked Systems Design \& Implementation (NSDI 05)}, year = {2005}, address = {Boston, MA}, url = {https://www.usenix.org/conference/nsdi-05/collective-cache-based-system-management-architecture}, publisher = {USENIX Association}, month = may } @inproceedings {269384, author = {Nickolai Zeldovich and Ramesh Chandra}, title = {Interactive Performance Measurement with {VNCPlay}}, booktitle = {2005 USENIX Annual Technical Conference (USENIX ATC 05)}, year = {2005}, address = {Anaheim, CA}, url = {https://www.usenix.org/conference/2005-usenix-annual-technical-conference/interactive-performance-measurement-vncplay}, publisher = {USENIX Association}, month = apr } @inproceedings {270216, author = {Nickolai Zeldovich and Alexander Yip and Frank Dabek and Robert T. Morris and David Mazi{\`e}res}, title = {Multiprocessor Support for {Event-Driven} Programs}, booktitle = {2003 USENIX Annual Technical Conference (USENIX ATC 03)}, year = {2003}, address = {San Antonio, TX}, url = {https://www.usenix.org/conference/2003-usenix-annual-technical-conference/multiprocessor-support-event-driven-programs}, publisher = {USENIX Association}, month = jun } @inproceedings {270062, author = {Constantine Sapuntzakis and David Brumley and Ramesh Chandra and Nickolai Zeldovich and Jim Chow and Monica S. Lam and Mendel Rosenblum}, title = {Virtual Appliances for Deploying and Maintaining Software}, booktitle = {17th Large Installation Systems Administration Conference (LISA 03)}, year = {2003}, address = {San Diego, CA }, url = {https://www.usenix.org/conference/lisa-03/virtual-appliances-deploying-and-maintaining-software}, publisher = {USENIX Association}, month = oct }