David Mazières

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