David Mazires
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
70
Venues
20
Active years
1995–2025
Best venue rank
A*
Where they publish
Papers
70 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | OSDI | Deterministic Client: Enforcing Determinism on Untrusted Machine Code. | Zachary Yedidia, Geoffrey Ramseyer, David Mazires |
| 2024 | NSDI | Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols. | Gina Yuan, Matthew Sotoudeh, David K. Zhang, Michael Welzl, David Mazires, Keith Winstein |
| 2023 | CCS | Riggs: Decentralized Sealed-Bid Auctions. | Nirvan Tyagi, Arasu Arun, Cody Freitag, Riad S. Wahby, Joseph Bonneau, David Mazires |
| 2023 | NSDI | SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Decentralized EXchange. | Geoffrey Ramseyer, Ashish Goel, David Mazires |
| 2023 | OSDI | Accountable authentication with privacy protection: The Larch system for universal login. | Emma Dauterman, Danny Lin, Henry Corrigan-Gibbs, David Mazires |
| 2021 | HotOS | A case against (most) context switches. | Jack Tigar Humphries, Kostis Kaffes, David Mazires, Christos Kozyrakis |
| 2021 | SOSP | Syrup: User-Defined Scheduling Across the Stack. | Kostis Kaffes, Jack Tigar Humphries, David Mazires, Christos Kozyrakis |
| 2020 | OSDI | SafetyPin: Encrypted Backups with Human-Memorable Secrets. | Emma Dauterman, Henry Corrigan-Gibbs, David Mazires |
| 2020 | WWW | Liquidity in Credit Networks with Constrained Agents. | Geoffrey Ramseyer, Ashish Goel, David Mazires |
| 2019 | HOTNETS | Mind the Gap: A Case for Informed Request Scheduling at the NIC. | Jack Tigar Humphries, Kostis Kaffes, David Mazires, Christos Kozyrakis |
| 2019 | NSDI | Shinjuku: Preemptive Scheduling for μsecond-scale Tail Latency. | Kostis Kaffes, Timothy Chong, Jack Tigar Humphries, Adam Belay, David Mazires, Christos Kozyrakis |
| 2019 | SP | True2F: Backdoor-Resistant Authentication Tokens. | Emma Dauterman, Henry Corrigan-Gibbs, David Mazires, Dan Boneh, Dominic Rizzo |
| 2019 | SOSP | Fast and secure global payments with Stellar. | Marta Lokhava, Giuliano Losa, David Mazires, Graydon Hoare, Nicolas Barry, Eli Gafni, Jonathan Jove, Rafal Malinowsky, Jed McCaleb |
| 2017 | ASPLOS | Towards Practical Default-On Multi-Core Record/Replay. | Ali Jos Mashtizadeh, Tal Garfinkel, David Terei, David Mazires, Mendel Rosenblum |
| 2017 | HOTNETS | The Case For Secure Delegation. | Dmitry Kogan, Henri Stern, Ashley Tolbert, David Mazires, Keith Winstein |
| 2015 | CCS | CCFI: Cryptographically Enforced Control Flow Integrity. | Ali Jos Mashtizadeh, Andrea Bittau, Dan Boneh, David Mazires |
| 2015 | SP | Riposte: An Anonymous Messaging System Handling Millions of Users. | Henry Corrigan-Gibbs, Dan Boneh, David Mazires |
| 2015 | SOSP | Is achieving security a hopeless quest? | Margo I. Seltzer, Mark Miller, David Mazires, Yuanyuan Zhou |
| 2014 | ECOOP | Building Secure Systems with LIO (Demo). | Deian Stefan, David Mazires |
| 2014 | HASKELL | Demo proposal: making web applications -XSafe. | Amit A. Levy, David Terei, Deian Stefan, David Mazires |
| 2014 | HASKELL | Building secure systems with LIO (demo). | Deian Stefan, Amit Levy, Alejandro Russo, David Mazires |
| 2014 | NSDI | I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot Networks. | Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David Mazires, Nick McKeown |
| 2014 | OSDI | Protecting Users by Confining JavaScript with COWL. | Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, David Herman, Brad Karp, David Mazires |
| 2014 | PLDI | Dynamic space limits for Haskell. | Edward Z. Yang, David Mazires |
| 2014 | SIGCOMM | Millions of little minions: using packets for low latency network programming and visibility. | Vimalkumar Jeyakumar, Mohammad Alizadeh, Yilong Geng, Changhoon Kim, David Mazires |
| 2014 | SP | Hacking Blind. | Andrea Bittau, Adam Belay, Ali Jos Mashtizadeh, David Mazires, Dan Boneh |
| 2013 | ESORICS | Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. | Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazires |
| 2013 | HOTNETS | Tiny packet programs for low-latency network control and monitoring. | Vimalkumar Jeyakumar, Mohammad Alizadeh, Changhoon Kim, David Mazires |
| 2013 | HotOS | Toward Principled Browser Security. | Edward Z. Yang, Deian Stefan, John C. Mitchell, David Mazires, Petr Marchenko, Brad Karp |
| 2013 | NSDI | EyeQ: Practical Network Performance Isolation at the Edge. | Vimalkumar Jeyakumar, Mohammad Alizadeh, David Mazires, Balaji Prabhakar, Albert G. Greenberg, Changhoon Kim |
| 2013 | SOSP | Replication, history, and grafting in the Ori file system. | Ali Jos Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, David Mazires |
| 2012 | HASKELL | Safe haskell. | David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazires |
| 2012 | ICFP | Addressing covert termination and timing channels in concurrent information flow systems. | Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazires |
| 2012 | OSDI | Dune: Safe User-level Access to Privileged CPU Features. | Adam Belay, Andrea Bittau, Ali Jos Mashtizadeh, David Terei, David Mazires, Christos Kozyrakis |
| 2012 | OSDI | Hails: Protecting Data Privacy in Untrusted Web Applications. | Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazires, John C. Mitchell, Alejandro Russo |
| 2012 | SIGCOMM | Where is the debugger for my software-defined network? | Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David Mazires, Nick McKeown |
| 2011 | CoNEXT | Verifying and enforcing network paths with icing. | Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazires, Michael Miller, Arun Seehra |
| 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 | HASKELL | Flexible dynamic information flow control in Haskell. | Deian Stefan, Alejandro Russo, John C. Mitchell, David Mazires |
| 2009 | HOTNETS | A Policy Framework for the Future Internet. | Arun Seehra, Jad Naous, Michael Walfish, David Mazires, Antonio Nicolosi, Scott Shenker |
| 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 |
| 2008 | NSDI | Securing Distributed Systems with Information Flow Control. | Nickolai Zeldovich, Silas Boyd-Wickizer, David Mazires |
| 2007 | NSDI | Beyond One-Third Faulty Replicas in Byzantine Fault Tolerant Systems. | Jinyuan Li, David Mazires |
| 2006 | NSDI | OASIS: Anycast for Any Service. | Michael J. Freedman, Karthik Lakshminarayanan, David Mazires |
| 2006 | NSDI | RE: Reliable Email. | Scott Garriss, Michael Kaminsky, Michael J. Freedman, Brad Karp, David Mazires, Haifeng Yu |
| 2006 | OSDI | Making Information Flow Explicit in HiStar. | Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, David Mazires |
| 2005 | HotOS | Make Least Privilege a Right (Not a Privilege). | Maxwell N. Krohn, Petros Efstathopoulos, Cliff Frey, M. Frans Kaashoek, Eddie Kohler, David Mazires, Robert Morris, Michelle Osborne, Steve Vandebogart, David Ziegler |
| 2005 | NSDI | Shark: Scaling File Servers via Cooperative Caching. | Siddhartha Annapureddy, Michael J. Freedman, David Mazires |
| 2005 | SOSP | Labels and event processes in the Asbestos operating system. | Petros Efstathopoulos, Maxwell N. Krohn, Steve Vandebogart, Cliff Frey, David Ziegler, Eddie Kohler, David Mazires, M. Frans Kaashoek, Robert Morris |
| 2004 | NSDI | Democratizing Content Publication with Coral. | Michael J. Freedman, Eric Freudenthal, David Mazires |
| 2004 | OSDI | Secure Untrusted Data Repository (SUNDR). | Jinyuan Li, Maxwell N. Krohn, David Mazires, Dennis E. Shasha |
| 2004 | SP | On-the-Fly Verification of Rateless Erasure Codes for Efficient Content Distribution. | Maxwell N. Krohn, Michael J. Freedman, David Mazires |
| 2004 | USENIX | REX: Secure, Extensible Remote Execution. | Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David Mazires, M. Frans Kaashoek |
| 2003 | NDSS | Proactive Two-Party Signatures for User Authentication. | Antonio Nicolosi, Maxwell N. Krohn, Yevgeniy Dodis, David Mazires |
| 2003 | USENIX | Multiprocessor Support for Event-Driven Programs. | Nickolai Zeldovich, Alexander Yip, Frank Dabek, Robert T. Morris, David Mazires, M. Frans Kaashoek |
| 2003 | SOSP | Decentralized user authentication in a global file system. | Michael Kaminsky, George Savvides, David Mazires, M. Frans Kaashoek |
| 2002 | PODC | Building secure file systems out of Byzantine storage. | David Mazires, Dennis E. Shasha |
| 2001 | CCS | Tangler: a censorship-resistant publishing system based on document entanglements. | Marc Waldman, David Mazires |
| 2001 | HotOS | Don't Trust your File Server. | David Mazires, Dennis E. Shasha |
| 2001 | HotOS | Censorship Resistant Publishing Through Document Entanglements. | Marc Waldman, David Mazires |
| 2001 | USENIX | A Toolkit for User-Level File Systems. | David Mazires |
| 2001 | SOSP | A Low-Bandwidth Network File System. | Athicha Muthitacharoen, Benjie Chen, David Mazires |
| 2000 | OSDI | Fast and Secure Distributed Read-Only File System. | Kevin Fu, M. Frans Kaashoek, David Mazires |
| 1999 | USENIX | A Future-Adaptable Password Scheme. | Niels Provos, David Mazires |
| 1999 | SOSP | Separating key management from file system security. | David Mazires, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel |
| 1998 | CCS | The Design, Implementation and Operation of an Email Pseudonym Server. | David Mazires, M. Frans Kaashoek |
| 1997 | HotOS | Secure Applications Need Flexible Operating Systems. | David Mazires, M. Frans Kaashoek |
| 1997 | SOSP | Application Performance and Flexibility on Exokernel Systems. | M. Frans Kaashoek, Dawson R. Engler, Gregory R. Ganger, Hctor M. Briceo, Russell Hunt, David Mazires, Thomas Pinckney, Robert Grimm, John Jannotti, Kenneth Mackenzie |
| 1995 | SOSP | The Measured Performance of Personal Computer Operating Systems. | J. Bradley Chen, Yasuhiro Endo, Kee Chan, David Mazires, Antonio Dias, Margo I. Seltzer, Michael D. Smith |