The Measured Performance of Personal Computer Operating Systems. - J. Bradley Chen; Yasuhiro Endo; Kee Chan; David Mazières; Antonio Dias; Margo I. Seltzer; Michael D. Smith 001 (ACM Trans. Comput. Syst., 1996)

Secure Applications Need Flexible Operating Systems. - David Mazières; M. Frans Kaashoek (Workshop on Hot Topics in Operating Systems, 1997)

Application Performance and Flexibility on Exokernel Systems. - M. Frans Kaashoek; Dawson R. Engler; Gregory R. Ganger; Héctor M. Briceño; Russell Hunt; David Mazières; Thomas Pinckney; Robert Grimm 001; John Jannotti; Kenneth Mackenzie (SOSP, 1997)

The Design, Implementation and Operation of an Email Pseudonym Server. - David Mazières; M. Frans Kaashoek (CCS, 1998)

Escaping the evils of centralized control with self-certifying pathnames. - David Mazières; M. Frans Kaashoek (ACM SIGOPS European Workshop, 1998)

Separating key management from file system security. - David Mazières; Michael Kaminsky; M. Frans Kaashoek; Emmett Witchel (SOSP, 1999)

A Future-Adaptable Password Scheme. - Niels Provos; David Mazières (USENIX ATC, FREENIX Track, 1999)

Self-certifying file system. - David Mazières (2000)

Tangler: a censorship-resistant publishing system based on document entanglements. - Marc Waldman; David Mazières (CCS, 2001)

Don't Trust your File Server. - David Mazières; Dennis E. Shasha (HotOS, 2001)

Censorship Resistant Publishing Through Document Entanglements. - Marc Waldman; David Mazières (HotOS, 2001)

A Low-Bandwidth Network File System. - Athicha Muthitacharoen; Benjie Chen; David Mazières (SOSP, 2001)

A Toolkit for User-Level File Systems. - David Mazières (USENIX ATC, General Track, 2001)

Kademlia: A Peer-to-Peer Information System Based on the XOR Metric. - Petar Maymounkov; David Mazières (IPTPS, 2002)

Building secure file systems out of Byzantine storage. - David Mazières; Dennis E. Shasha (PODC, 2002)

Event-driven programming for robust software. - Frank Dabek; Nickolai Zeldovich; M. Frans Kaashoek; David Mazières; Robert Morris 005 (ACM SIGOPS European Workshop, 2002)

Fast and secure distributed read-only file system. - Kevin Fu; M. Frans Kaashoek; David Mazières (ACM Trans. Comput. Syst., 2002)

Using SFS for a Secure Network File System. - Kevin Fu; Michael Kaminsky; David Mazières (login Usenix Mag., 2002)

Sloppy Hashing and Self-Organizing Clusters. - Michael J. Freedman; David Mazières (IPTPS, 2003)

Rateless Codes and Big Downloads. - Petar Maymounkov; David Mazières (IPTPS, 2003)

Proactive Two-Party Signatures for User Authentication. - Antonio Nicolosi; Maxwell N. Krohn; Yevgeniy Dodis; David Mazières (NDSS, 2003)

Decentralized user authentication in a global file system. - Michael Kaminsky; George Savvides; David Mazières; M. Frans Kaashoek (SOSP, 2003)

Multiprocessor Support for Event-Driven Programs. - Nickolai Zeldovich; Alexander Yip; Frank Dabek; Robert T. Morris; David Mazières; M. Frans Kaashoek (USENIX ATC, General Track, 2003)

Secure Acknowledgment of Multicast Messages in Open Peer-to-Peer Networks. - Antonio Nicolosi; David Mazières (IPTPS, 2004)

Democratizing Content Publication with Coral. - Michael J. Freedman; Eric Freudenthal; David Mazières (NSDI, 2004)

Secure Untrusted Data Repository (SUNDR). - Jinyuan Li; Maxwell N. Krohn; David Mazières; Dennis E. Shasha (OSDI, 2004)

On-the-Fly Verification of Rateless Erasure Codes for Efficient Content Distribution. - Maxwell N. Krohn; Michael J. Freedman; David Mazières (S&P, 2004)

REX: Secure, Extensible Remote Execution. - Michael Kaminsky; Eric Peterson; Daniel B. Giffin; Kevin Fu; David Mazières; M. Frans Kaashoek (USENIX ATC, General Track, 2004)

Make Least Privilege a Right (Not a Privilege). - Maxwell N. Krohn; Petros Efstathopoulos; Cliff Frey; M. Frans Kaashoek; Eddie Kohler; David Mazières; Robert Morris 005; Michelle Osborne; Steve Vandebogart; David Ziegler (HotOS, 2005)

Shark: Scaling File Servers via Cooperative Caching. - Siddhartha Annapureddy; Michael J. Freedman; David Mazières (NSDI, 2005)

Group Therapy for Systems: Using Link Attestations to Manage Failures. - Michael J. Freedman; Ion Stoica; David Mazières; Scott Shenker (IPTPS, 2006)

OASIS: Anycast for Any Service. - Michael J. Freedman; Karthik Lakshminarayanan; David Mazières (NSDI, 2006)

RE: Reliable Email. - Scott Garriss; Michael Kaminsky; Michael J. Freedman; Brad Karp; David Mazières; Haifeng Yu (NSDI, 2006)

Beyond One-Third Faulty Replicas in Byzantine Fault Tolerant Systems. - Jinyuan Li; David Mazières (NSDI, 2007)

Labels and event processes in the Asbestos operating system. - Steve Vandebogart; Petros Efstathopoulos; Eddie Kohler; Maxwell N. Krohn; Cliff Frey; David Ziegler; M. Frans Kaashoek; Robert Morris 005; David Mazières (ACM Trans. Comput. Syst., 2007)

Securing Distributed Systems with Information Flow Control. - Nickolai Zeldovich; Silas Boyd-Wickizer; David Mazières (NSDI, 2008)

A Policy Framework for the Future Internet. - Arun Seehra; Jad Naous; Michael Walfish; David Mazières; Antonio Nicolosi; Scott Shenker (HotNets, 2009)

Delegating network security with more information. - Jad Naous; Ryan Stutsman; David Mazières; Nick McKeown; Nickolai Zeldovich (WREN, 2009)

The case for RAMClouds: scalable high-performance storage entirely in DRAM. - John K. Ousterhout; Parag Agrawal; David Erickson; Christos Kozyrakis; Jacob Leverich; David Mazières; Subhasish Mitra; Aravind Narayanan; Guru M. Parulkar; Mendel Rosenblum; Stephen M. Rumble; Eric Stratmann; et al. (ACM SIGOPS Oper. Syst. Rev., 2009)

The Case for Ubiquitous Transport-Level Encryption. - Andrea Bittau; Michael Hamburg; Mark Handley; David Mazières; Dan Boneh (USENIX Security Symposium, 2010)

Apprehending joule thieves with cinder. - Stephen M. Rumble; Ryan Stutsman; Philip Alexander Levis; David Mazières; Nickolai Zeldovich (Comput. Commun. Rev., 2010)

Verifying and enforcing network paths with icing. - Jad Naous; Michael Walfish; Antonio Nicolosi; David Mazières; Michael Miller; Arun Seehra (CoNEXT, 2011)

Energy management in mobile devices with the cinder operating system. - Arjun Roy; Stephen M. Rumble; Ryan Stutsman; Philip Alexander Levis; David Mazières; Nickolai Zeldovich (EuroSys, 2011)

Flexible dynamic information flow control in Haskell. - Deian Stefan; Alejandro Russo; John C. Mitchell; David Mazières (Haskell, 2011)

Disjunction Category Labels. - Deian Stefan; Alejandro Russo; David Mazières; John C. Mitchell (NordSec, 2011)

The case for RAMCloud. - John K. Ousterhout; Parag Agrawal; David Erickson; Christos Kozyrakis; Jacob Leverich; David Mazières; Subhasish Mitra; Aravind Narayanan; Diego Ongaro; Guru M. Parulkar; Mendel Rosenblum; Stephen M. Rumble; et al. (Commun. ACM, 2011)

Making information flow explicit in HiStar. - Nickolai Zeldovich; Silas Boyd-Wickizer; Eddie Kohler; David Mazières (Commun. ACM, 2011)

EyeQ: Practical Network Performance Isolation for the Multi-tenant Cloud. - Vimalkumar Jeyakumar; Mohammad Alizadeh; David Mazières; Balaji Prabhakar; Changhoon Kim (HotCloud, 2012)

Addressing covert termination and timing channels in concurrent information flow systems. - Deian Stefan; Alejandro Russo; Pablo Buiras; Amit Levy; John C. Mitchell; David Mazières (ICFP, 2012)

Dune: Safe User-level Access to Privileged CPU Features. - Adam Belay; Andrea Bittau; Ali José Mashtizadeh; David Terei; David Mazières; Christos Kozyrakis (OSDI, 2012)

Where is the debugger for my software-defined network? - Nikhil Handigol; Brandon Heller; Vimalkumar Jeyakumar; David Mazières; Nick McKeown (HotSDN@SIGCOMM, 2012)

Safe Haskell. - David Terei; Simon Marlow; Simon L. Peyton Jones; David Mazières (Adv. Math. Commun., 2012)

Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. - Deian Stefan; Pablo Buiras; Edward Z. Yang; Amit Levy; David Terei; Alejandro Russo; David Mazières (ESORICS, 2013)

The NEBULA Future Internet Architecture. - Tom Anderson 003; Ken Birman; Robert M. Broberg; Matthew Caesar 001; Douglas Comer; Chase Cotton; Michael J. Freedman; Andreas Haeberlen; Zachary G. Ives; Arvind Krishnamurthy; William H. Lehr; Boon Thau Loo; et al. (Future Internet Assembly, 2013)

Tiny packet programs for low-latency network control and monitoring. - Vimalkumar Jeyakumar; Mohammad Alizadeh; Changhoon Kim; David Mazières (HotNets, 2013)

Toward Principled Browser Security. - Edward Z. Yang; Deian Stefan; John C. Mitchell; David Mazières; Petr Marchenko; Brad Karp (HotOS, 2013)

EyeQ: Practical Network Performance Isolation at the Edge. - Vimalkumar Jeyakumar; Mohammad Alizadeh; David Mazières; Balaji Prabhakar; Albert G. Greenberg; Changhoon Kim (NSDI, 2013)

Replication, history, and grafting in the Ori file system. - Ali José Mashtizadeh; Andrea Bittau; Yifeng Frank Huang; David Mazières (SOSP, 2013)

A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. - Pablo Buiras; Amit Levy; Deian Stefan; Alejandro Russo; David Mazières (TGC, 2013)

Building Secure Systems with LIO (Demo). - Deian Stefan; David Mazières (PLAS@ECOOP, 2014)

Demo proposal: making web applications -XSafe. - Amit A. Levy; David Terei; Deian Stefan; David Mazières (Haskell, 2014)

Building secure systems with LIO (demo). - Deian Stefan; Amit Levy; Alejandro Russo; David Mazières (Haskell, 2014)

I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks. - Nikhil Handigol; Brandon Heller; Vimalkumar Jeyakumar; David Mazières; Nick McKeown (NSDI, 2014)

Protecting Users by Confining JavaScript with COWL. - Deian Stefan; Edward Z. Yang; Petr Marchenko; Alejandro Russo; David Herman; Brad Karp; David Mazières (OSDI, 2014)

Dynamic space limits for Haskell. - Edward Z. Yang; David Mazières (PLDI, 2014)

Millions of little minions: using packets for low latency network programming and visibility. - Vimalkumar Jeyakumar; Mohammad Alizadeh; Yilong Geng; Changhoon Kim; David Mazières (SIGCOMM, 2014)

Hacking Blind. - Andrea Bittau; Adam Belay; Ali José Mashtizadeh; David Mazières; Dan Boneh (IEEE Symposium on Security and Privacy, 2014)

A brief overview of the NEBULA future internet architecture. - Tom Anderson 003; Ken Birman; Robert M. Broberg; Matthew Caesar 001; Douglas Comer; Chase Cotton; Michael J. Freedman; Andreas Haeberlen; Zachary G. Ives; Arvind Krishnamurthy; William H. Lehr; Boon Thau Loo; et al. (Comput. Commun. Rev., 2014)

Cryptographically Enforced Control Flow Integrity. - Ali José Mashtizadeh; Andrea Bittau; David Mazières; Dan Boneh (CoRR, 2014)

CCFI: Cryptographically Enforced Control Flow Integrity. - Ali José Mashtizadeh; Andrea Bittau; Dan Boneh; David Mazières (CCS, 2015)

Is achieving security a hopeless quest? - Margo I. Seltzer; Mark Miller; David Mazières; Yuanyuan Zhou 001 (SOSP History Day, 2015)

Riposte: An Anonymous Messaging System Handling Millions of Users. - Henry Corrigan-Gibbs; Dan Boneh; David Mazières (IEEE Symposium on Security and Privacy, 2015)

Towards Practical Default-On Multi-Core Record/Replay. - Ali José Mashtizadeh; Tal Garfinkel; David Terei; David Mazières; Mendel Rosenblum (ASPLOS, 2017)

The Case For Secure Delegation. - Dmitry Kogan; Henri Stern; Ashley Tolbert; David Mazières; Keith Winstein (HotNets, 2017)

Hails: Protecting data privacy in untrusted web applications. - Daniel B. Giffin; Amit Levy; Deian Stefan; David Terei; David Mazières; John C. Mitchell; Alejandro Russo (J. Comput. Secur., 2017)

Flexible dynamic information flow control in the presence of exceptions. - Deian Stefan; David Mazières; John C. Mitchell; Alejandro Russo (J. Funct. Program., 2017)

Mind the Gap: A Case for Informed Request Scheduling at the NIC. - Jack Tigar Humphries; Kostis Kaffes; David Mazières; Christos Kozyrakis (HotNets, 2019)

Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency. - Kostis Kaffes; Timothy Chong; Jack Tigar Humphries; Adam Belay; David Mazières; Christos Kozyrakis (NSDI, 2019)

Fast and secure global payments with Stellar. - Marta Lokhava; Giuliano Losa; David Mazières; Graydon Hoare; Nicolas Barry; Eli Gafni; Jonathan Jove; Rafal Malinowsky; Jed McCaleb (SOSP, 2019)

True2F: Backdoor-Resistant Authentication Tokens. - Emma Dauterman; Henry Corrigan-Gibbs; David Mazières; Dan Boneh; Dominic Rizzo (IEEE Symposium on Security and Privacy, 2019)

Stellar Consensus by Instantiation. - Giuliano Losa; Eli Gafni; David Mazières (DISC, 2019)

Constrained Credit Networks. - Geoffrey Ramseyer; Ashish Goel; David Mazières (CoRR, 2019)

TCP-ENO: Encryption Negotiation Option. - Andrea Bittau; Daniel B. Giffin; Mark Handley; David Mazières; Eric W. Smith (RFC, 2019)

Cryptographic Protection of TCP Streams (tcpcrypt). - Andrea Bittau; Daniel B. Giffin; Mark Handley; David Mazières; Quinn Slack; Eric W. Smith (RFC, 2019)

SafetyPin: Encrypted Backups with Human-Memorable Secrets. - Emma Dauterman; Henry Corrigan-Gibbs; David Mazières (OSDI, 2020)

Liquidity in Credit Networks with Constrained Agents. - Geoffrey Ramseyer; Ashish Goel; David Mazières (WWW, 2020)

A case against (most) context switches. - Jack Tigar Humphries; Kostis Kaffes; David Mazières; Christos Kozyrakis (HotOS, 2021)

Syrup: User-Defined Scheduling Across the Stack. - Kostis Kaffes; Jack Tigar Humphries; David Mazières; Christos Kozyrakis (SOSP, 2021)

SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Digital EXchange. - Geoffrey Ramseyer; Ashish Goel; David Mazières (CoRR, 2021)

Extricating IoT Devices from Vendor Infrastructure with Karl. - Gina Yuan; David Mazières; Matei Zaharia (CoRR, 2022)

Batch Exchanges with Constant Function Market Makers: Axioms, Equilibria, and Computation. - Geoffrey Ramseyer; Mohak Goyal; Ashish Goel; David Mazières (CoRR, 2022)

SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Decentralized EXchange. - Geoffrey Ramseyer; Ashish Goel; David Mazières (NSDI, 2023)

Accountable authentication with privacy protection: The Larch system for universal login. - Emma Dauterman; Danny Lin; Henry Corrigan-Gibbs; David Mazières (OSDI, 2023)

Finding the Right Curve: Optimal Design of Constant Function Market Makers. - Mohak Goyal; Geoffrey Ramseyer; Ashish Goel; David Mazières (EC, 2023)

Riggs: Decentralized Sealed-Bid Auctions. - Nirvan Tyagi; Arasu Arun; Cody Freitag; Riad S. Wahby; Joseph Bonneau; David Mazières (IACR Cryptol. ePrint Arch., 2023)

Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols. - Gina Yuan; Matthew Sotoudeh; David K. Zhang; Michael Welzl; David Mazières; Keith Winstein (NSDI, 2024)

Augmenting Batch Exchanges with Constant Function Market Makers. - Geoffrey Ramseyer; Mohak Goyal; Ashish Goel; David Mazières (EC, 2024)

Groundhog: Linearly-Scalable Smart Contracting via Commutative Transaction Semantics. - Geoffrey Ramseyer; David Mazières (CoRR, 2024)

Deterministic Client: Enforcing Determinism on Untrusted Machine Code. - Zachary Yedidia; Geoffrey Ramseyer; David Mazières (OSDI, 2025)