Papers by David Mazières
-
Kostis Kaffes, Jack Tigar Humphries, David Mazières, and
Christos Kozyrakis. Syrup: User-defined scheduling across the
stack. In Proceedings of the ACM SIGOPS 28th Symposium on Operating
Systems Principles, SOSP 2021, pages 605-620,
2021. paper
-
Jack Tigar Humphries, Kostis Kaffes, David Mazières, and
Christos Kozyrakis. A case against (most) context switches. In
Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS
2021, pages 17-25,
2021. paper
-
Geoffrey Ramseyer, Ashish Goel, and David Mazières. SPEEDEX: A
scalable, parallelizable, and economically efficient digital exchange,
2021. report.
-
Geoffrey Ramseyer, Ashish Goel, and David
Mazières. Scaling on-chain asset exchanges
via Arrow-Debreu exchange markets. In Proceedings of the
Workshop
on Game Theory in Blockchain, December 2020.
extended abstract.
-
Emma Dauterman, Henry Corrigan-Gibbs, and David
Mazières. SafetyPin: Encrypted backups
with human-memorable secrets. In Proceedings of
the 14th
USENIX Symposium on Operating Systems Design and Implementation (OSDI
20), pages 1121-1138. USENIX Association, November 2020.
paper.
-
Geoffrey Ramseyer, Ashish Goel, and David
Mazières. Liquidity in credit networks with
constrained agents. In Proceedings
of The
Web Conference 2020, WWW '20, pages 2099-2108, 2020.
paper.
-
Marta Lokhava, Giuliano Losa, David Mazières, Graydon Hoare,
Nicolas Barry, Eli Gafni, Rafał Malinowsky, and Jed
McCaleb. Fast and secure global payments with
Stellar. In Proceedings of
the 27th ACM Symposium on
Operating Systems Principles, Huntsville, Ontario, October
2019. paper.
-
Jack Tigar Humphries, Kostis Kaffes, David Mazières, and
Christos Kozyrakis. Mind the gap: A case for
informed request scheduling at the NIC. In Proceedings of the
18th
ACM Workshop on Hot Topics in Networks, HotNets '19, pages
60-68, 2019. paper.
-
Giuliano Losa, Eli Gafni, and David Mazières. Stellar consensus
by instantiation. In Proceedings of
the 33rd
International Symposium on Distributed Computing (DISC),
Budapest, Hungary, October
2019. paper.
-
A. Bittau, D. Giffin, M. Handley, D. Mazières, and
E. Smith. TCP-ENO: Encryption negotiation
option. RFC 8547, RFC Editor, May 2019.
document.
-
A. Bittau, D. Giffin, M. Handley, D. Mazières, Q. Slack, and
E. Smith. Cryptographic protection of tcp streams
(tcpcrypt). RFC 8548, RFC Editor, May
2019. document.
-
Emma Dauterman, Henry Corrigan-Gibbs, David Mazières, Dan
Boneh, and Dominic Rizzo. True2f:
Backdoor-resistant authentication tokens. In Proceedings of
the IEEE
Symposium on Security and Privacy, May 2019.
paper.
- Kostis Kaffes, Timothy Chong, Jack Tigar Humphries, Adam Belay,
David Mazières, and Christos
Kozyrakis. Shinjuku: Preemptive scheduling for
μsecond-scale tail latency. In Proceedings of
the 16th
USENIX Symposium on Networked Systems Design and
Implementation, February
2019. paper.
- Nicolas Barry, Giuliano Losa, David Mazières, Jed McCaleb,
and Stanislas Polu. The stellar consensus
protocol (SCP). Internet-Draft draft-mazieres-dinrg-scp-05,
IETF Secretariat, November
2018. draft.
- Dmitry Kogan, Henri Stern, Ashley Tolbert, David Mazières,
and Keith Winstein. The Case for Secure
Delegation. In Proceedings of the ACM workshop on
Hot Topics in
in Networks (HotNets). November, 2017.
paper.
- Ali Mashtizadeh, Tal Garfinkel, David Terei, David
Mazières, and Mendel Rosenblum. Towards
Practical Default-On Multi-Core
Record/Replay. In Proceedings of
the Symposium on
Architectural Support for Programming Languages and Operating Systems
(ASPLOS). April, 2017.
paper.
-
Ali José Mashtizadeh, Andrea Bittau, Dan Boneh, and David
Mazières. CCFI: Cryptographically enforced
control flow integrity. In Proceedings of
the 22nd ACM
Conference on Computer and Communications Security, Denver,
CO, pages 941-951, October
2015. paper.
-
Henry Corrigan-Gibbs, Dan Boneh, and David
Mazières. Riposte: An anonymous messaging
system handling millions of users. In Proceedings of
the 36th IEEE
Symposium on Security and Privacy, pages 321-338, May
2015. paper.
-
David Mazières. The Stellar Consensus
Protocol: A Federated Model for Internet-level
Consensus. Stellar
Devlopment Foundation white paper. April 2015.
manuscript.
video.
slides.
-
Deian Stefan, Edward Z. Yang, Petr Marchenko, Alejandro Russo, Dave
Herman, Brad Karp, and David
Mazières. Protecting users by confining
javascript with COWL. In Proceedings
of the 11th
Symposium on Operating Systems Design and Implementation,
pages 131-146, 2014. paper.
-
Vimalkumar Jeyakumar, Mohammad Alizadeh, Yilong Geng, Changhoon Kim,
and David Mazières. Millions of little
minions: Using packets for low latency network programming and
visibility. In Proceedings
of the ACM
SIGCOMM Conference, pages 3-14, August 2014.
paper.
-
Edward Z. Yang and David Mazières. Dynamic
space limits for Haskell. In Proceedings
of the 35th annual
conference on Programming Language Design and Implementation,
pages 588-598, June 2014.
paper.
-
Andrea Bittau, Adam Belay, Ali Mashtizadeh, David Mazières, and
Dan Boneh. Hacking blind.
In Proceedings of
the 35th Symposium
on Security and Privacy (Oakland), pages 227-242, May 2014.
paper.
-
Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David
Mazières, and Nick McKeown. I know what
your packet did last hop: Using packet histories to troubleshoot
networks. In Proceedings of
the 11th Symposium
on Networked Systems Design and Implementation, pages 71-85,
Seattle, WA, April 2014.
paper.
-
Vimalkumar Jeyakumar, Mohammad Alizadeh, Changhoon Kim, and David
Mazières. Tiny packet programs for
low-latency network control and monitoring. In Proceedings of
the 12th ACM
Workshop on Hot Topics in Networks, College Park, MD, November
2013. paper.
-
Ali José Mashtizadeh, Andrea Bittau, Yifeng Frang Huang, David
Mazières. Replication, History, and
Grafting in the Ori File System. In Proceedings of
the 24th Symposium on
Operating Systems Principles, November
2013. paper.
-
Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei,
Alejandro Russo, and David Mazières.
Eliminating Cache-Based Timing Attacks with
Instruction-Based Scheduling. In Proceedings of
the 18th
ESORICS, September 2013.
paper.
-
Pablo Buiras, Amit Levy, Deian Stefan, Alejandro Russo, and David
Mazières. A library for removing
cache-based attacks in concurrent information flow systems. In
Proceedings of the 8th
International Symposium on Trustworthy Global Computing, August
2013.
paper.
-
Edward Z. Yang, Deian Stefan, John Mitchell, David Mazières,
Petr Marchenko, and Brad Karp. Toward principled
browser security. In Proceedings of
the 14th Workshop
on Hot Topics in Operating Systems, May 2013.
paper.
-
Vimalkumar Jeyakumar, Mohammad Alizadeh, David Mazières, Balaji
Prabhakar, Changhoon Kim, and Albert
Greenberg. EyeQ: Practical network performance
isolation at the edge. In Proceedings of
the 10th Symposium
on Networked Systems Design and Implementation, April 2013.
paper.
-
Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David
Mazières, and Christos Kozyrakis. Dune:
Safe user-level access to privileged CPU features.
In Proceedings of
the 10th
Symposium on Operating Systems Design and Implementation,
October 2012.
paper.
-
Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David
Mazières, John Mitchell, and Alejandro
Russo. Hails: Protecting data privacy in
untrusted web applications. In Proceedings of
the 10th Symposium
on Operating Systems Design and Implementation, October 2012.
paper.
-
David Terei, Simon Marlow, Simon Peyton Jones, and David Mazières.
Safe Haskell. In Proceedings of the
5th Symposium
on Haskell, pages 137-148, September 2012.
paper.
-
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. In Proceedings of
the
17th ACM SIGPLAN International Conference on Functional Programming
(ICFP), pages 201-213, September 2012.
paper.
-
Nikhil Handigol, Brandon Heller, Vimalkumar Jeyakumar, David
Mazières, and Nick McKeown. Where is the
debugger for my Software-Defined Network? In Proceedings
of Hot
Topics in Software Defined Networking (HotSDN). August, 2012.
paper.
-
Vimalkumar Jeyakumar, Mohammad Alizadeh, David Mazières, Balaji
Prabhakar, and Changhoon Kim. EyeQ: Practical
Network Performance Isolation for the Multi-tenant Cloud.
In Proceedings of
the 4th USENIX
Workshop on Hot Topics in Cloud Computing, June 2012.
paper.
-
Jad Naous, Michael Walfish, Antonio Nicolosi, David Mazières,
Michael Miller, and Arun Seehra. Verifying and
enforcing network paths with ICING. In Proceedings of the
7th ACM
International Conference on emerging Networking EXperiments and
Technologies (CoNEXT), December 2011.
paper.
-
Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, and David
Mazières. Making information flow explicit
in HiStar. Communications of
the ACM, 54(11):93-101, November 2011.
paper.
-
Deian Stefan, Alejandro Russo, David Mazières, and John
C. Mitchell. Disjunction category
labels. In Proceedings of the
NordSec 2011 Conference, October
2011.
paper.
-
Deian Stefan, Alejandro Russo, John C. Mitchell, and David
Mazières. Flexible dynamic information flow
control in Haskell. In Proceedings of
the 4th
Symposium on Haskell, pages 95-106, September 2011.
paper.
-
Arjun Roy, Stephen M. Rumble, Ryan Stutsman, Philip Levis, David
Mazières, and Nickolai Zeldovich. Energy
management in mobile devices with the cinder operating
system. In Proceedings of
the 6th
EuroSys, pages 139-152, April 2011.
paper.
-
Andrea Bittau, Michael Hamburg, Mark Handley, David Mazières,
and Dan Boneh. The case for ubiquitous
transport-level encryption. In Proceedings of
the 19th USENIX Security
Symposium, August 2010.
paper.
-
Jad Naous, Arun Seehra, Michael Walfish, David Mazières,
Antonio Nicolosi, and Scott Shenker.
Defining and Enforcing Transit Policies in a
Future Internet. Technical Report TR-10-07 Department of
Computer Sciences, The University of Texas at Austin, February
2010. report.
(Earlier versions appeared as
TR-09-28 and
TR-09-12.)
-
Arun Seehra, Jad Naous, Michael Walfish, David Mazières, Antonio
Nicolosi, Scott Shenker.
A Policy Framework for the Future
Internet. In Proceedings of
the 8th ACM
Workshop on Hot Topics in Networks (HotNets-VIII). October,
2009. paper.
-
Jad Naous, Ryan Stutsman, David Mazières, Nick McKeown, and
Nickolai Zeldovich.
Delegating Network Security Through More
Information. In Proceedings of
the
Workshop on Research on Enterprise Networking, August, 2009.
paper.
-
Stephen M. Rumble, Ryan Stutsman, Philip Levis, David Mazières,
and Nickolai Zeldovich.
Apprehending Joule Thieves with Cinder.
In Proceedings of the
The
First ACM SIGCOMM Workshop on Networking, Systems, Applications on
Mobile Handhelds, August, 2009.
paper.
-
Nickolai Zeldovich, Silas Boyd-Wickizer, and David Mazières.
Securing distributed systems with
information flow control.
In Proceedings of the 6th
Symposium on Networked Systems Design and
Implementation, San Francisco, CA, April 2008.
paper.
-
Steve VanDeBogart, Petros Efstathopoulos, Eddie Kohler, Maxwell Krohn,
Cliff Frey, David Ziegler, Frans Kaashoek, Robert Morris,
and David Mazières. Labels and event processes
in the Asbestos operating system.
In ACM Transactions on Computer
Systems, 25(4):11:1-43, December 2007.
paper.
A version appeared in
Proceedings of the 20th ACM Symposium
on Operating System Principles, 2005.
-
Jinyuan Li and David Mazières. Beyond
One-third Faulty Replicas in Byzantine Fault Tolerant Systems.
In Proceedings of the 4th Symposium on Networked
Systems Design and Implementation, pages 131-144,
Boston, MA, April 2007. paper.
-
Nickolai Zeldovich, Silas Boyd-Wickizer, Eddie Kohler, and David
Mazières. Making information flow explicit
in HiStar. In Proceedings of the 7th Symposium on Operating
Systems Design and Implementation, pages 263-278, Seattle, WA,
November 2006. paper.
-
Michael J. Freedman, Karthik Lakshminarayanan, and David
Mazières. OASIS: Anycast for any
service. In Proceedings of the 3rd Symposium on Networked
Systems Design and Implementation, pages 129-142, San Jose,
CA, May 2006. paper.
-
Scott Garriss, Michael Kaminsky, Michael J. Freedman, Brad Karp, David
Mazières, and Haifeng Yu. RE: Reliable email. In
Proceedings of the 3rd Symposium on Networked
Systems Design and Implementation, pages 297-310, San Jose,
CA, May 2006. paper.
-
Michael J. Freedman, Ion Stoica, David Mazières, and Scott
Shenker. Group therapy for systems: Using link
attestations to manage failures. In Proceedings of the 5th International Workshop on
Peer-to-Peer Systems, Santa Barbara, CA, February 2006. paper.
-
David Mazières. Blocking unwanted mail
with mail avenger. Virus
Bulletin, pages S2-S4, July 2005. paper.
- Maxwell Krohn, Petros Efstathopoulos, Cliff Frey, Frans Kaashoek,
Eddie Kohler, David Mazières, Robert Morris, Michelle Osborne,
Steve VanDeBogart, and David Ziegler. Make
Least Privilege a Right (Not a Privilege). In Proceedings
of the 10th Workshop
on Hot Topics in Operating Systems, Santa Fe, NM, June 2005.
paper.
- David Mazières and Eddie Kohler. Get
me off your f-----g mailing list. Submitted to the 9th World
Multi-Conference on Systemics, Cybernetics, and Informatics,
Orlando, FL, July 2005. paper.
Note: We never received official notification of
whether the paper was accepted or rejected.
- Siddhartha Annapureddy, Michael J. Freedman, and David
Mazières. Shark: Scaling file servers via
cooperative caching. In Proceedings of the 2nd Symposium on Networked
Systems Design and Implementation, pages 129-142, Boston, MA,
May 2005. paper.
- Jinyuan Li, Maxwell N. Krohn, David Mazières, and Dennis
Shasha. Secure Untrusted Data Repository
(SUNDR). In
Proceedings of the 6th Symposium on Operating
Systems Design and Implementation, pages 91-106, San
Francisco, CA, December 2004. paper.
- Michael Kaminsky, Eric Peterson, Daniel B. Giffin, Kevin Fu, David
Mazières, and M. Frans Kaashoek. REX:
Secure, extensible remote execution. In
Proceedings of the 2004 USENIX Technical
Conference, pages 199-212, Boston, MA, June-July 2004. paper.
- Maxwell N. Krohn, Michael J. Freedman, and David
Mazières. On-the-fly verification of
rateless erasure codes for efficient content distribution. In
Proceedings of the IEEE Symposium on
Security and Privacy, pages 226-240, Oakland, CA, May 2004.
paper.
- Michael J. Freedman, Eric Freudenthal, and David
Mazières. Democratizing content
publication with Coral. In
Proceedings of the 1st Symposium on Networked
Systems Design and Implementation, pages 239-252, San
Francisco, CA, March 2004. paper.
- Antonio Nicolosi and David Mazières. Secure acknowledgment of multicast messages in open
peer-to-peer networks. In Proceedings of the 3rd International Workshop on
Peer-to-Peer Systems (IPTPS '04), pages 233-248, San Diego,
CA, February 2004. paper.
- Michael Kaminsky, George Savvides, David Mazières, and
M. Frans Kaashoek. Decentralized user authentication
in a global file system. In Proceedings of the 19th ACM Symposium on
Operating Systems Principles, pages 60-73, Bolton Landing, NY,
October 2003. paper.
- Nickolai Zeldovich, Alexander Yip, Frank Dabek, Robert
T. Morris, David Mazières, and M. Frans Kaashoek. Multiprocessor support for event-driven
programs. In
Proceedings of the 2003 USENIX Technical
Conference, pages 239-252, San Antonio, TX, June 2003. paper.
- Petar Maymounkov and David Mazières. Rateless codes and big downloads. In
Proceedings of the 2nd
International Workshop on Peer-to-Peer Systems (IPTPS '03),
pages 247-255, Berkeley, CA, February 2003. paper.
- Michael Freedman and David Mazières. Sloppy hashing and self-organizing clusters.
Proceedings of the 2nd
International Workshop on Peer-to-Peer Systems (IPTPS '03),
pages 45-55, Berkeley, CA, February 2003. paper.
- Antonio Nicolosi, Maxwell Krohn, Yevgeniy Dodis, and David
Mazières. Proactive two-party signatures
for user authentication. In Proceedings of the 10th Annual Network and Distributed
System Security Symposium, pages 233-248, February 2003. paper.
- Michael Kaminsky, Eric Peterson, Kevin Fu, David Mazières,
and M. Frans Kaashoek. REX: Secure, modular
remote execution through file descriptor passing. Technical
Report MIT-LCSTR-884, MIT Laboratory for Computer Science, January
2003. report.
- Kevin Fu, Michael Kaminsky, and David Mazières. Using SFS for a secure network file system. In
;login: The
Magazine of Usenix & Sage, 27(6):6-16, December 2002. paper.
- Frank Dabek, Nickolai Zeldovich, M. Frans Kaashoek, David
Mazières, and Robert Morris. Event-driven
programming for robust software. In
Proceedings of the 10th ACM
SIGOPS European Workshop, pages 186-189, September 2002. paper.
- David Mazières and Dennis Shasha. Building secure file systems out of Byzantine
storage. In Proceedings of the Twenty-First ACM Symposium on
Principles of Distributed Computing (PODC 2002), pages
108-117, July 2002. paper.
(The full version is available
as NYU computer science department technical report TR2002-826, May
2002.)
- Petar Maymounkov and David Mazières. Kademlia: A peer-to-peer information system based on
the XOR metric. In
Proceedings of the 1st International
Workshop on Peer-to-Peer Systems (IPTPS '02), pages 53-65,
March 2002. paper. (Short
pre-proceedings version often cited, but
please read the full paper, instead.)
- Kevin Fu, M. Frans Kaashoek, and David Mazières. Fast and secure distributed read-only file
system. In ACM
Transactions on Computer Systems, 20(1):1-24, February 2002.
paper. (A version appeared in Proceedings of the
4th Symposium on
Operating Systems Design and Implementation, 2000.)
- Marc Waldman and David Mazières. Tangler: A Censorship-Resistant Publishing System Based
On Document Entanglements. In Proceedings of the 8th ACM Conference on
Computer and Communications Security, pages 126-135, November
2001. paper. PDF version with large type.
- Athicha Muthitacharoen, Benjie Chen, and David Mazières.
A low-bandwidth network file system. In
Proceedings of the 18th ACM
Symposium on Operating Systems Principles, pages 174-187,
October 2001. paper.
- David Mazières. A toolkit for
user-level file systems. In
Proceedings of the 2001
USENIX Technical Conference. pages 261-274, June, 2001. paper. (Awarded best paper!)
- David Mazières and Dennis Shasha. Don't trust your file server. In Proceedings
of the 8th
Workshop on Hot Topics in Operating Systems, pages 113-118,
May 2001. paper.
- Marc Waldman and David Mazières. Position Summary: Censorship Resistant Publishing
Through Document Entanglements. In
Proceedings of the 8th Workshop on Hot
Topics in Operating Systems, page 185, May 2001. summary.
- David Mazières. Self-certifying file
system. PhD thesis, MIT, May 2000. thesis.
- David Mazières, Michael Kaminsky, M. Frans Kaashoek,
and Emmett Witchel. Separating key management from
file system security. In
Proceedings of the 17th ACM Symposium on
Operating Systems Principles, pages 124-139, Kiawah Island,
SC, 1999. ACM. paper.
- Niels Provos and David Mazières. A
future-adaptable password scheme. In Proceedings of the 1999 USENIX
Technical Conference (the electronic version), Freenix track,
June 1999. From
http://www.usenix.org/events/usenix99/provos.html. paper.
Note: If you cite this paper, please cite it as the electronic
version and include the Usenix URL. Usenix accidentally printed our
printer test document in the proceedings.
- David Mazières and M. Frans Kaashoek. The design, implementation and operation of an email
pseudonym server. In Proceedings of the 5th ACM
Conference on Computer and Communications Security, pages
27-36, 1998. paper. PDF version with large type.
- David Mazières and M. Frans Kaashoek. Escaping the evils of centralized control with
self-certifying pathnames. In Proceedings of the 8th ACM SIGOPS
European Workshop, pages 118-125, 1998. paper.
- David Mazières. Security and
Decentralized Control in the SFS Global File System. Master's
thesis, MIT, August 1997.
thesis.
- 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, and Kenneth Mackenzie.
Application performance and flexibility on
exokernel systems. In Proceedings
of the 16th ACM
Symposium on Operating Systems Principles, pages 52-65,
Saint-Malo, France, 1997. ACM.
paper.
- David Mazières and M. Frans Kaashoek. Secure applications need flexible operating
systems. In Proceedings of the 6th Workshop on
Hot Topics in Operating Systems, pages 56-61, May 1997. paper.
- J. Bradley Chen, Yasuhiro Endo, Kee Chan, David
Mazières, Antonio Dias, Mike Smith and Margo Seltzer. The Measured Performance of Personal Computer Operating
Systems. In
ACM Transactions on Computer
Systems, 14(1):3-40, February 1996. (A version appeared in
Proceedings of the 15th
ACM Symposium on Operating Systems Principles, 1995.) paper.
- David Mazières and Michel D. Smith. Abstract execution in a multi-tasking
environment. Technical Report TR-31-94. Harvard University,
November 1994. report.
Other Writings
|