Nickolai Zeldovich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
72
Venues
18
Active years
2003–2025
Best venue rank
A*
Where they publish
Papers
72 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | OSDI | PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection. | Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram |
| 2024 | SOSP | Modular Verification of Secure and Leakage-Free Systems: From Application Specification to Circuit-Level Implementation. | Anish Athalye, Henry Corrigan-Gibbs, M. Frans Kaashoek, Joseph Tassarotti, Nickolai Zeldovich |
| 2023 | OSDI | Verifying vMVCC, a high-performance transaction library using multi-version concurrency control. | Yun-Sheng Chang, Ralf Jung, Upamanyu Sharma, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2023 | SOSP | Private Web Search with Tiptoe. | Alexandra Henzinger, Emma Dauterman, Henry Corrigan-Gibbs, Nickolai Zeldovich |
| 2023 | SOSP | Grove: a Separation-Logic Library for Verifying Distributed Systems. | Upamanyu Sharma, Ralf Jung, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2022 | OSDI | Verifying Hardware Security Modules with Information-Preserving Refinement. | Anish Athalye, M. Frans Kaashoek, Nickolai Zeldovich |
| 2022 | OSDI | Groove: Flexible Metadata-Private Messaging. | Ludovic Barman, Moshe Kol, David Lazar, Yossi Gilad, Nickolai Zeldovich |
| 2022 | OSDI | Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. | Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, Nickolai Zeldovich |
| 2021 | OSDI | GoJournal: a verified, concurrent, crash-safe journaling system. | Tej Chajed, Joseph Tassarotti, Mark Theng, Ralf Jung, M. Frans Kaashoek, Nickolai Zeldovich |
| 2021 | SP | Compact Certificates of Collective Knowledge. | Silvio Micali, Leonid Reyzin, Georgios Vlachos, Riad S. Wahby, Nickolai Zeldovich |
| 2020 | OSDI | Efficiently Mitigating Transient Execution Attacks using the Unmapped Speculation Contract. | Jonathan Behrens, Anton Cao, Cel Skeggs, Adam Belay, M. Frans Kaashoek, Nickolai Zeldovich |
| 2019 | NDSS | Vault: Fast Bootstrapping for the Algorand Cryptocurrency. | Derek Leung, Adam Suhl, Yossi Gilad, Nickolai Zeldovich |
| 2019 | PLDI | Argosy: verifying layered storage systems with recovery refinement. | Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2019 | SOSP | Notary: a device for secure transaction approval. | Anish Athalye, Adam Belay, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich |
| 2019 | SOSP | Verifying concurrent, crash-safe systems with Perennial. | Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
| 2019 | SOSP | Yodel: strong metadata security for voice calls. | David Lazar, Yossi Gilad, Nickolai Zeldovich |
| 2018 | NDSS | Veil: Private Browsing Semantics Without Browser-side Assistance. | Frank Wang, James Mickens, Nickolai Zeldovich |
| 2018 | OSDI | Verifying concurrent software using movers in CSPEC. | Tej Chajed, M. Frans Kaashoek, Butler W. Lampson, Nickolai Zeldovich |
| 2018 | OSDI | Proving confidentiality in a file system using DiskSec. | Atalay Mert Ileri, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2018 | OSDI | Karaoke: Distributed Private Messaging Immune to Passive Traffic Analysis. | David Lazar, Yossi Gilad, Nickolai Zeldovich |
| 2017 | SOSP | Scaling a file system to many cores using an operation log. | Srivatsa S. Bhat, Rasha Eqbal, Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich |
| 2017 | SOSP | Verifying a high-performance crash-safe file system using a tree specification. | Haogang Chen, Tej Chajed, Alex Konradi, Stephanie Wang, Atalay Mert Ileri, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2017 | SOSP | Algorand: Scaling Byzantine Agreements for Cryptocurrencies. | Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, Nickolai Zeldovich |
| 2017 | SOSP | Stadium: A Distributed Metadata-Private Messaging System. | Nirvan Tyagi, Yossi Gilad, Derek Leung, Matei Zaharia, Nickolai Zeldovich |
| 2016 | NSDI | Sieve: Cryptographically Enforced Access Control for User Data in Untrusted Clouds. | Frank Wang, James Mickens, Nickolai Zeldovich, Vinod Vaikuntanathan |
| 2016 | OSDI | Alpenhorn: Bootstrapping Secure Communication without Leaking Metadata. | David Lazar, Nickolai Zeldovich |
| 2016 | USENIX | Using Crash Hoare Logic for Certifying the FSCQ File System. | Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2015 | EuroSys | Hare: a file system for non-cache-coherent multicores. | Charles Gruenwald III, Filippo Sironi, M. Frans Kaashoek, Nickolai Zeldovich |
| 2015 | HotOS | Amber: Decoupling User Data from Web Applications. | Tej Chajed, Jon Gjengset, Jelle van den Hooff, M. Frans Kaashoek, James Mickens, Robert Morris, Nickolai Zeldovich |
| 2015 | HotOS | Specifying Crash Safety for Storage Systems. | Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler, Nickolai Zeldovich |
| 2015 | SOSP | Using Crash Hoare logic for certifying the FSCQ file system. | Haogang Chen, Daniel Ziegler, Tej Chajed, Adam Chlipala, M. Frans Kaashoek, Nickolai Zeldovich |
| 2015 | SOSP | Vuvuzela: scalable private messaging resistant to traffic analysis. | Jelle van den Hooff, David Lazar, Matei Zaharia, Nickolai Zeldovich |
| 2014 | CCS | VerSum: Verifiable Computations over Large Public Logs. | Jelle van den Hooff, M. Frans Kaashoek, Nickolai Zeldovich |
| 2014 | NSDI | Building Web Applications on Top of Encrypted Data Using Mylar. | Raluca Ada Popa, Emily Stark, Steven Valdez, Jonas Helfer, Nickolai Zeldovich, Hari Balakrishnan |
| 2014 | OSDI | Nail: A Practical Tool for Parsing and Generating Data Formats. | Julian Bangert, Nickolai Zeldovich |
| 2014 | OSDI | Identifying Information Disclosure in Web Applications with Retroactive Auditing. | Haogang Chen, Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2014 | OSDI | Jitk: A Trustworthy In-Kernel Interpreter Infrastructure. | Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock |
| 2014 | SP | Nail: A Practical Interface Generator for Data Formats. | Julian Bangert, Nickolai Zeldovich |
| 2013 | CCS | Authenticated storage using small trusted hardware. | Hsin-Jung Yang, Victor Costan, Nickolai Zeldovich, Srinivas Devadas |
| 2013 | CRYPTO | How to Run Turing Machines on Encrypted Data. | Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich |
| 2013 | EuroSys | RadixVM: scalable address spaces for multithreaded applications. | Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich |
| 2013 | RAID | Systematic Analysis of Defenses against Return-Oriented Programming. | Richard Skowyra, Kelly Casteel, Hamed Okhravi, Nickolai Zeldovich, William W. Streilein |
| 2013 | STOC | Reusable garbled circuits and succinct functional encryption. | Shafi Goldwasser, Yael Tauman Kalai, Raluca A. Popa, Vinod Vaikuntanathan, Nickolai Zeldovich |
| 2013 | SP | An Ideal-Security Protocol for Order-Preserving Encoding. | Raluca A. Popa, Frank H. Li, Nickolai Zeldovich |
| 2013 | USENIX | Practical and Effective Sandboxing for Non-root Users. | Taesoo Kim, Nickolai Zeldovich |
| 2013 | SOSP | Asynchronous intrusion recovery for interconnected web services. | Ramesh Chandra, Taesoo Kim, Nickolai Zeldovich |
| 2013 | SOSP | The scalable commutativity rule: designing scalable software for multicore processors. | Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich, Robert T. Morris, Eddie Kohler |
| 2013 | SOSP | Towards optimization-safe systems: analyzing the impact of undefined behavior. | Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek, Armando Solar-Lezama |
| 2012 | ASPLOS | Scalable address spaces using RCU balanced trees. | Austin T. Clements, M. Frans Kaashoek, Nickolai Zeldovich |
| 2012 | EuroSys | Improving network connection locality on multicore systems. | Aleksey Pesterev, Jacob Strauss, Nickolai Zeldovich, Robert T. Morris |
| 2012 | OSDI | Efficient Patch-based Auditing for Web Application Vulnerabilities. | Taesoo Kim, Ramesh Chandra, Nickolai Zeldovich |
| 2012 | OSDI | Improving Integer Security for Systems with KINT. | Xi Wang, Haogang Chen, Zhihao Jia, Nickolai Zeldovich, M. Frans Kaashoek |
| 2012 | PPoPP | CPHASH: a cache-partitioned hash table. | Zviad Metreveli, Nickolai Zeldovich, M. Frans Kaashoek |
| 2011 | CIDR | Relational Cloud: a Database Service for the cloud. | Carlo Curino, Evan P. C. Jones, Raluca A. Popa, Nirmesh Malviya, Eugene Wu, Samuel Madden, Hari Balakrishnan, Nickolai Zeldovich |
| 2011 | EuroSys | Energy management in mobile devices with the cinder operating system. | Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Alexander Levis, David Mazires, Nickolai Zeldovich |
| 2011 | Middleware | A Trigger-Based Middleware Cache for ORMs. | Priya Gupta, Nickolai Zeldovich, Samuel Madden |
| 2011 | SOSP | Intrusion recovery for database-backed web applications. | Ramesh Chandra, Taesoo Kim, Meelap Shah, Neha Narula, Nickolai Zeldovich |
| 2011 | SOSP | Software fault isolation with API integrity and multi-principal modules. | Yandong Mao, Haogang Chen, Dong Zhou, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2011 | SOSP | CryptDB: protecting confidentiality with encrypted query processing. | Raluca A. Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan |
| 2010 | EuroSys | Locating cache performance bottlenecks using data profiling. | Aleksey Pesterev, Nickolai Zeldovich, Robert T. Morris |
| 2010 | OSDI | An Analysis of Linux Scalability to Many Cores. | Silas Boyd-Wickizer, Austin T. Clements, Yandong Mao, Aleksey Pesterev, M. Frans Kaashoek, Robert Morris, Nickolai Zeldovich |
| 2010 | OSDI | Intrusion Recovery Using Selective Re-execution. | Taesoo Kim, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2010 | USENIX | Tolerating Malicious Device Drivers in Linux. | Silas Boyd-Wickizer, Nickolai Zeldovich |
| 2009 | SIGCOMM | Delegating network security with more information. | Jad Naous, Ryan Stutsman, David Mazires, Nick McKeown, Nickolai Zeldovich |
| 2009 | SIGCOMM | Apprehending joule thieves with cinder. | Stephen M. Rumble, Ryan Stutsman, Philip Alexander Levis, David Mazires, Nickolai Zeldovich |
| 2009 | SOSP | Improving application security with data flow assertions. | Alexander Yip, Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek |
| 2008 | NSDI | Securing Distributed Systems with Information Flow Control. | Nickolai Zeldovich, Silas Boyd-Wickizer, David Mazires |
| 2008 | OSDI | Hardware Enforcement of Application Security Policies Using Tagged Memory. | Nickolai Zeldovich, Hari Kannan, Michael Dalton, Christos Kozyrakis |
| 2006 | OSDI | Making Information Flow Explicit in HiStar. | Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, David Mazires |
| 2005 | NSDI | The Collective: A Cache-Based System Management Architecture. | Ramesh Chandra, Nickolai Zeldovich, Constantine P. Sapuntzakis, Monica S. Lam |
| 2005 | USENIX | Interactive Performance Measurement with VNCPlay. | Nickolai Zeldovich, Ramesh Chandra |
| 2003 | USENIX | Multiprocessor Support for Event-Driven Programs. | Nickolai Zeldovich, Alexander Yip, Frank Dabek, Robert T. Morris, David Mazires, M. Frans Kaashoek |