David Mazières

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 30

Top Venues

CoRR

NSDI

IEEE Symposium on Security and Privacy

OSDI

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Gina Yuan, Matthew Sotoudeh, David K. Zhang, Michael Welzl, David Mazières, Keith Winstein
Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols. NSDI (2024)
Geoffrey Ramseyer, David Mazières
Groundhog: Linearly-Scalable Smart Contracting via Commutative Transaction Semantics. CoRR (2024)
Mohak Goyal, Geoffrey Ramseyer, Ashish Goel, David Mazières
Finding the Right Curve: Optimal Design of Constant Function Market Makers. EC (2023)
Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières
Accountable authentication with privacy protection: The Larch system for universal login. OSDI (2023)
Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad Wahby, Joseph Bonneau, David Mazières
Riggs: Decentralized Sealed-Bid Auctions. IACR Cryptol. ePrint Arch. 2023 (2023)
Geoffrey Ramseyer, Ashish Goel, David Mazières
SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Decentralized EXchange. NSDI (2023)
Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad Wahby, Joseph Bonneau, David Mazières
Riggs: Decentralized Sealed-Bid Auctions. CCS (2023)
Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazières
Accountable authentication with privacy protection: The Larch system for universal login. CoRR (2023)
Mohak Goyal, Geoffrey Ramseyer, Ashish Goel, David Mazières
Finding the Right Curve: Optimal Design of Constant Function Market Makers. CoRR (2022)
Gina Yuan, David Mazières, Matei Zaharia
Extricating IoT Devices from Vendor Infrastructure with Karl. CoRR (2022)
Geoffrey Ramseyer, Mohak Goyal, Ashish Goel, David Mazières
Batch Exchanges with Constant Function Market Makers: Axioms, Equilibria, and Computation. CoRR (2022)
Jack Tigar Humphries, Kostis Kaffes, David Mazières, Christos Kozyrakis
A case against (most) context switches. HotOS (2021)
Geoffrey Ramseyer, Ashish Goel, David Mazières
SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Digital EXchange. CoRR (2021)
Kostis Kaffes, Jack Tigar Humphries, David Mazières, Christos Kozyrakis
Syrup: User-Defined Scheduling Across the Stack. SOSP (2021)
Emma Dauterman, Henry Corrigan-Gibbs, David Mazières
SafetyPin: Encrypted Backups with Human-Memorable Secrets. OSDI (2020)
Emma Dauterman, Henry Corrigan-Gibbs, David Mazières
SafetyPin: Encrypted Backups with Human-Memorable Secrets. CoRR (2020)
Geoffrey Ramseyer, Ashish Goel, David Mazières
Liquidity in Credit Networks with Constrained Agents. WWW (2020)
Geoffrey Ramseyer, Ashish Goel, David Mazières
Constrained Credit Networks. CoRR (2019)
Andrea Bittau, Daniel B. Giffin, Mark Handley, David Mazières, Quinn Slack, Eric W. Smith
Cryptographic Protection of TCP Streams (tcpcrypt). RFC 8548 (2019)
Andrea Bittau, Daniel B. Giffin, Mark Handley, David Mazières, Eric W. Smith
TCP-ENO: Encryption Negotiation Option. RFC 8547 (2019)
Jack Tigar Humphries, Kostis Kaffes, David Mazières, Christos Kozyrakis
Mind the Gap: A Case for Informed Request Scheduling at the NIC. HotNets (2019)
Kostis Kaffes, Timothy Chong, Jack Tigar Humphries, Adam Belay, David Mazières, Christos Kozyrakis
Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency. NSDI (2019)
Giuliano Losa, Eli Gafni, David Mazières
Stellar Consensus by Instantiation. DISC (2019)
Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb
Fast and secure global payments with Stellar. SOSP (2019)
Emma Dauterman, Henry Corrigan-Gibbs, David Mazières, Dan Boneh, Dominic Rizzo
True2F: Backdoor-Resistant Authentication Tokens. IEEE Symposium on Security and Privacy (2019)
Emma Dauterman, Henry Corrigan-Gibbs, David Mazières, Dan Boneh, Dominic Rizzo
True2F: Backdoor-resistant authentication tokens. CoRR (2018)
Ali José Mashtizadeh, Tal Garfinkel, David Terei, David Mazières, Mendel Rosenblum
Towards Practical Default-On Multi-Core Record/Replay. ASPLOS (2017)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting data privacy in untrusted web applications. J. Comput. Secur. 25 (4-5) (2017)
Dmitry Kogan, Henri Stern, Ashley Tolbert, David Mazières, Keith Winstein
The Case For Secure Delegation. HotNets (2017)
Deian Stefan, David Mazières, John C. Mitchell, Alejandro Russo
Flexible dynamic information flow control in the presence of exceptions. J. Funct. Program. 27 (2017)
Henry Corrigan-Gibbs, Dan Boneh, David Mazières
Riposte: An Anonymous Messaging System Handling Millions of Users. IEEE Symposium on Security and Privacy (2015)
Margo I. Seltzer, Mark Miller, David Mazières, Yuanyuan Zhou
Is achieving security a hopeless quest? SOSP History Day (2015)
Ali José Mashtizadeh, Andrea Bittau, Dan Boneh, David Mazières
CCFI: Cryptographically Enforced Control Flow Integrity. CCS (2015)
Henry Corrigan-Gibbs, Dan Boneh, David Mazières
Riposte: An Anonymous Messaging System Handling Millions of Users. CoRR (2015)
Andrea Bittau, Adam Belay, Ali José Mashtizadeh, David Mazières, Dan Boneh
Hacking Blind. IEEE Symposium on Security and Privacy (2014)
Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David Mazières, Nick McKeown
I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks. NSDI (2014)
Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazières
Protecting Users by Confining JavaScript with COWL. OSDI (2014)
Deian Stefan, Amit Levy, Alejandro Russo, David Mazières
Building secure systems with LIO (demo). Haskell (2014)
Tom Anderson, Ken Birman, Robert M. Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael J. Freedman, Andreas Haeberlen, Zachary G. Ives, Arvind Krishnamurthy, William H. Lehr, Boon Thau Loo, David Mazières, Antonio Nicolosi, Jonathan M. Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon, Christopher S. Yoo
A brief overview of the NEBULA future internet architecture. Comput. Commun. Rev. 44 (3) (2014)
Ali José Mashtizadeh, Andrea Bittau, David Mazières, Dan Boneh
Cryptographically Enforced Control Flow Integrity. CoRR (2014)
Vimalkumar Jeyakumar, Mohammad Alizadeh, Yilong Geng, Changhoon Kim, David Mazières
Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility. CoRR (2014)
Vimalkumar Jeyakumar, Mohammad Alizadeh, Yilong Geng, Changhoon Kim, David Mazières
Millions of little minions: using packets for low latency network programming and visibility. SIGCOMM (2014)
Deian Stefan, David Mazières
Building Secure Systems with LIO (Demo). PLAS@ECOOP (2014)
Edward Z. Yang, David Mazières
Dynamic space limits for Haskell. PLDI (2014)
Amit A. Levy, David Terei, Deian Stefan, David Mazières
Demo proposal: making web applications -XSafe. Haskell (2014)
Tom Anderson, Ken Birman, Robert M. Broberg, Matthew Caesar, Douglas Comer, Chase Cotton, Michael J. Freedman, Andreas Haeberlen, Zachary G. Ives, Arvind Krishnamurthy, William H. Lehr, Boon Thau Loo, David Mazières, Antonio Nicolosi, Jonathan M. Smith, Ion Stoica, Robbert van Renesse, Michael Walfish, Hakim Weatherspoon, Christopher S. Yoo
The NEBULA Future Internet Architecture. Future Internet Assembly (2013)
Vimalkumar Jeyakumar, Mohammad Alizadeh, Changhoon Kim, David Mazières
Tiny packet programs for low-latency network control and monitoring. HotNets (2013)
Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazières, Petr Marchenko, Brad Karp
Toward Principled Browser Security. HotOS (2013)
Ali José Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, David Mazières
Replication, history, and grafting in the Ori file system. SOSP (2013)
Vimalkumar Jeyakumar, Mohammad Alizadeh, David Mazières, Balaji Prabhakar, Albert G. Greenberg, Changhoon Kim
EyeQ: Practical Network Performance Isolation at the Edge. NSDI (2013)
Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazières
Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. ESORICS (2013)
Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, David Mazières
A Library for Removing Cache-Based Attacks in Concurrent Information Flow Systems. TGC (2013)
Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David Mazières, Nick McKeown
Where is the debugger for my software-defined network? HotSDN@SIGCOMM (2012)
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazières, John C. Mitchell, Alejandro Russo
Hails: Protecting Data Privacy in Untrusted Web Applications. OSDI (2012)
David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières
Safe haskell. Haskell (2012)
Vimalkumar Jeyakumar, Mohammad Alizadeh, David Mazières, Balaji Prabhakar, Changhoon Kim
EyeQ: Practical Network Performance Isolation for the Multi-tenant Cloud. HotCloud (2012)
Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières
Addressing covert termination and timing channels in concurrent information flow systems. ICFP (2012)
Adam Belay, Andrea Bittau, Ali José Mashtizadeh, David Terei, David Mazières, Christos Kozyrakis
Dune: Safe User-level Access to Privileged CPU Features. OSDI (2012)
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
Flexible Dynamic Information Flow Control in the Presence of Exceptions CoRR (2012)
David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières
Safe Haskell. Tiny Trans. Comput. Sci. 1 (2012)
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, Eric Stratmann, Ryan Stutsman
The case for RAMCloud. Commun. ACM 54 (7) (2011)
Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazières
Flexible dynamic information flow control in Haskell. Haskell (2011)
Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Alexander Levis, David Mazières, Nickolai Zeldovich
Energy management in mobile devices with the cinder operating system. EuroSys (2011)
Deian Stefan, Alejandro Russo, David Mazières, John C. Mitchell
Disjunction Category Labels. NordSec (2011)
Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, David Mazières
Making information flow explicit in HiStar. Commun. ACM 54 (11) (2011)
Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières, Michael Miller, Arun Seehra
Verifying and enforcing network paths with icing. CoNEXT (2011)
Stephen M. Rumble, Ryan Stutsman, Philip Alexander Levis, David Mazières, Nickolai Zeldovich
Apprehending joule thieves with cinder. Comput. Commun. Rev. 40 (1) (2010)
Andrea Bittau, Michael Hamburg, Mark Handley, David Mazières, Dan Boneh
The Case for Ubiquitous Transport-Level Encryption. USENIX Security Symposium (2010)
Stephen M. Rumble, Ryan Stutsman, Philip Alexander Levis, David Mazières, Nickolai Zeldovich
Apprehending joule thieves with cinder. MobiHeld (2009)
Jad Naous, Ryan Stutsman, David Mazières, Nick McKeown, Nickolai Zeldovich
Delegating network security with more information. WREN (2009)
Arun Seehra, Jad Naous, Michael Walfish, David Mazières, Antonio Nicolosi, Scott Shenker
A Policy Framework for the Future Internet. HotNets (2009)
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, Ryan Stutsman
The case for RAMClouds: scalable high-performance storage entirely in DRAM. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)
Nickolai Zeldovich, Silas Boyd-Wickizer, David Mazières
Securing Distributed Systems with Information Flow Control. NSDI (2008)
Steve Vandebogart, Petros Efstathopoulos, Eddie Kohler, Maxwell N. Krohn, Cliff Frey, David Ziegler, M. Frans Kaashoek, Robert Tappan Morris, David Mazières
Labels and event processes in the Asbestos operating system. ACM Trans. Comput. Syst. 25 (4) (2007)
Jinyuan Li, David Mazières
Beyond One-Third Faulty Replicas in Byzantine Fault Tolerant Systems. NSDI (2007)
Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, David Mazières
Making Information Flow Explicit in HiStar. OSDI (2006)
Michael J. Freedman, Ion Stoica, David Mazières, Scott Shenker
Group Therapy for Systems: Using Link Attestations to Manage Failures. IPTPS (2006)
Scott Garriss, Michael Kaminsky, Michael J. Freedman, Brad Karp, David Mazières, Haifeng Yu
RE: Reliable Email. NSDI (2006)
Michael J. Freedman, Karthik Lakshminarayanan, David Mazières
OASIS: Anycast for Any Service. NSDI (2006)
Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazières, M. Frans Kaashoek, Robert Tappan Morris
Labels and event processes in the Asbestos operating system. SOSP (2005)
Maxwell N. Krohn, Petros Efstathopoulos, Cliff Frey, M. Frans Kaashoek, Eddie Kohler, David Mazières, Robert Tappan Morris, Michelle Osborne, Steve Vandebogart, David Ziegler
Make Least Privilege a Right (Not a Privilege). HotOS (2005)
Siddhartha Annapureddy, Michael J. Freedman, David Mazières
Shark: Scaling File Servers via Cooperative Caching. NSDI (2005)
Jinyuan Li, Maxwell N. Krohn, David Mazières, Dennis E. Shasha
Secure Untrusted Data Repository (SUNDR). OSDI (2004)
Antonio Nicolosi, David Mazières
Secure Acknowledgment of Multicast Messages in Open Peer-to-Peer Networks. IPTPS (2004)
Michael J. Freedman, Eric Freudenthal, David Mazières
Democratizing Content Publication with Coral. NSDI (2004)
Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazières, M. Frans Kaashoek
REX: Secure, Extensible Remote Execution. USENIX Annual Technical Conference, General Track (2004)
Maxwell N. Krohn, Michael J. Freedman, David Mazières
On-the-Fly Verification of Rateless Erasure Codes for Efficient Content Distribution. IEEE Symposium on Security and Privacy (2004)
Michael J. Freedman, David Mazières
Sloppy Hashing and Self-Organizing Clusters. IPTPS (2003)
Petar Maymounkov, David Mazières
Rateless Codes and Big Downloads. IPTPS (2003)
Michael Kaminsky, George Savvides, David Mazières, M. Frans Kaashoek
Decentralized user authentication in a global file system. SOSP (2003)
Antonio Nicolosi, Maxwell N. Krohn, Yevgeniy Dodis, David Mazières
Proactive Two-Party Signatures for User Authentication. NDSS (2003)
Nickolai Zeldovich, Alexander Yip, Frank Dabek, Robert Tappan Morris, David Mazières, M. Frans Kaashoek
Multiprocessor Support for Event-Driven Programs. USENIX Annual Technical Conference, General Track (2003)
Petar Maymounkov, David Mazières
Kademlia: A Peer-to-Peer Information System Based on the XOR Metric. IPTPS (2002)
Kevin Fu, M. Frans Kaashoek, David Mazières
Fast and secure distributed read-only file system. ACM Trans. Comput. Syst. 20 (1) (2002)
David Mazières, Dennis E. Shasha
Building secure file systems out of Byzantine storage. PODC (2002)
Frank Dabek, Nickolai Zeldovich, M. Frans Kaashoek, David Mazières, Robert Tappan Morris
Event-driven programming for robust software. ACM SIGOPS European Workshop (2002)
Kevin Fu, Michael Kaminsky, David Mazières
Using SFS for a Secure Network File System. login Usenix Mag. 27 (6) (2002)
Marc Waldman, David Mazières
Tangler: a censorship-resistant publishing system based on document entanglements. CCS (2001)
David Mazières, Dennis E. Shasha
Don't Trust your File Server. HotOS (2001)
Athicha Muthitacharoen, Benjie Chen, David Mazières
A Low-Bandwidth Network File System. SOSP (2001)

David Mazières.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Mazières