Papers by David Mazières

A note from the author:

"Hi! I'm David, and I care about your security. That's why I build cutting-edge technology into practical, new computer systems you can use. On this page, you'll find articles on a wide range of important and timely topics in computer systems. I hope you enjoy this fine selection of papers. Many of them come from the very highest quality computer conferences in the world!"

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 Laskhminarayanan, 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

The documents distributed by this server have been provided as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that the works are offered here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be distributed without the explicit permission of the copyright holder.