| 2008 |
| 36 | EE | Nickolai Zeldovich,
Silas Boyd-Wickizer,
David Mazières:
Securing Distributed Systems with Information Flow Control.
NSDI 2008: 293-308 |
| 2007 |
| 35 | EE | Jinyuan Li,
David Mazières:
Beyond One-Third Faulty Replicas in Byzantine Fault Tolerant Systems.
NSDI 2007 |
| 34 | EE | Steve Vandebogart,
Petros Efstathopoulos,
Eddie Kohler,
Maxwell N. Krohn,
Cliff Frey,
David Ziegler,
M. Frans Kaashoek,
Robert Morris,
David Mazières:
Labels and event processes in the Asbestos operating system.
ACM Trans. Comput. Syst. 25(4): (2007) |
| 2006 |
| 33 | EE | Michael J. Freedman,
Karthik Lakshminarayanan,
David Mazières:
OASIS: Anycast for Any Service.
NSDI 2006 |
| 32 | EE | Scott Garriss,
Michael Kaminsky,
Michael J. Freedman,
Brad Karp,
David Mazières,
Haifeng Yu:
RE: Reliable Email.
NSDI 2006 |
| 31 | EE | Nickolai Zeldovich,
Silas Boyd-Wickizer,
Eddie Kohler,
David Mazières:
Making Information Flow Explicit in HiStar.
OSDI 2006: 263-278 |
| 2005 |
| 30 | EE | Siddhartha Annapureddy,
Michael J. Freedman,
David Mazières:
Shark: Scaling File Servers via Cooperative Caching.
NSDI 2005 |
| 29 | EE | Petros Efstathopoulos,
Maxwell N. Krohn,
Steve Vandebogart,
Cliff Frey,
David Ziegler,
Eddie Kohler,
David Mazières,
M. Frans Kaashoek,
Robert Morris:
Labels and event processes in the Asbestos operating system.
SOSP 2005: 17-30 |
| 2004 |
| 28 | EE | 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: 226-240 |
| 27 | EE | Antonio Nicolosi,
David Mazières:
Secure Acknowledgment of Multicast Messages in Open Peer-to-Peer Networks.
IPTPS 2004: 259-268 |
| 26 | EE | Michael J. Freedman,
Eric Freudenthal,
David Mazières:
Democratizing Content Publication with Coral.
NSDI 2004: 239-252 |
| 25 | EE | Jinyuan Li,
Maxwell N. Krohn,
David Mazières,
Dennis Shasha:
Secure Untrusted Data Repository (SUNDR).
OSDI 2004: 121-136 |
| 24 | EE | 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: 199-212 |
| 2003 |
| 23 | EE | Petar Maymounkov,
David Mazières:
Rateless Codes and Big Downloads.
IPTPS 2003: 247-255 |
| 22 | EE | Michael J. Freedman,
David Mazières:
Sloppy Hashing and Self-Organizing Clusters.
IPTPS 2003: 45-55 |
| 21 | EE | Antonio Nicolosi,
Maxwell N. Krohn,
Yevgeniy Dodis,
David Mazières:
Proactive Two-Party Signatures for User Authentication.
NDSS 2003 |
| 20 | EE | Michael Kaminsky,
George Savvides,
David Mazières,
M. Frans Kaashoek:
Decentralized user authentication in a global file system.
SOSP 2003: 60-73 |
| 19 | EE | Nickolai Zeldovich,
Alexander Yip,
Frank Dabek,
Robert Morris,
David Mazières,
M. Frans Kaashoek:
Multiprocessor Support for Event-Driven Programs.
USENIX Annual Technical Conference, General Track 2003: 239-252 |
| 2002 |
| 18 | EE | Frank Dabek,
Nickolai Zeldovich,
M. Frans Kaashoek,
David Mazières,
Robert Morris:
Event-driven programming for robust software.
ACM SIGOPS European Workshop 2002: 186-189 |
| 17 | EE | Petar Maymounkov,
David Mazières:
Kademlia: A Peer-to-Peer Information System Based on the XOR Metric.
IPTPS 2002: 53-65 |
| 16 | EE | David Mazières,
Dennis Shasha:
Building secure file systems out of byantine storage.
PODC 2002: 108-117 |
| 15 | EE | Kevin Fu,
M. Frans Kaashoek,
David Mazières:
Fast and secure distributed read-only file system.
ACM Trans. Comput. Syst. 20(1): 1-24 (2002) |
| 2001 |
| 14 | EE | Marc Waldman,
David Mazières:
Tangler: a censorship-resistant publishing system based on document entanglements.
ACM Conference on Computer and Communications Security 2001: 126-135 |
| 13 | EE | David Mazières,
Dennis Shasha:
Don't Trust your File Server.
HotOS 2001: 113-118 |
| 12 | EE | Marc Waldman,
David Mazières:
Censorship Resistant Publishing Through Document Entanglements.
HotOS 2001: 185 |
| 11 | EE | Athicha Muthitacharoen,
Benjie Chen,
David Mazières:
A Low-Bandwidth Network File System.
SOSP 2001: 174-187 |
| 10 | EE | David Mazières:
A Toolkit for User-Level File Systems.
USENIX Annual Technical Conference, General Track 2001: 261-274 |
| 2000 |
| 9 | | Kevin Fu,
M. Frans Kaashoek,
David Mazières:
Fast and Secure Distributed Read-Only File System.
OSDI 2000: 181-196 |
| 1999 |
| 8 | EE | David Mazières,
Michael Kaminsky,
M. Frans Kaashoek,
Emmett Witchel:
Separating key management from file system security.
SOSP 1999: 124-139 |
| 7 | EE | Niels Provos,
David Mazières:
A Future-Adaptable Password Scheme.
USENIX Annual Technical Conference, FREENIX Track 1999: 81-91 |
| 1998 |
| 6 | EE | David Mazières,
M. Frans Kaashoek:
The Design, Implementation and Operation of an Email Pseudonym Server.
ACM Conference on Computer and Communications Security 1998: 27-36 |
| 5 | EE | David Mazières,
M. Frans Kaashoek:
Escaping the evils of centralized control with self-certifying pathnames.
ACM SIGOPS European Workshop 1998: 118-125 |
| 1997 |
| 4 | | 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:
Application Performance and Flexibility on Exokernel Systems.
SOSP 1997: 52-65 |
| 3 | | David Mazières,
M. Frans Kaashoek:
Secure Applications Need Flexible Operating Systems.
Workshop on Hot Topics in Operating Systems 1997: 56-61 |
| 1996 |
| 2 | EE | J. Bradley Chen,
Yasuhiro Endo,
Kee Chan,
David Mazières,
Antonio Dias,
Margo I. Seltzer,
Michael D. Smith:
The Measured Performance of Personal Computer Operating Systems.
ACM Trans. Comput. Syst. 14(1): 3-40 (1996) |
| 1995 |
| 1 | | J. Bradley Chen,
Yasuhiro Endo,
Kee Chan,
David Mazières,
Antonio Dias,
Margo I. Seltzer,
Michael D. Smith:
The Measured Performance of Personal Computer Operating Systems.
SOSP 1995: 299-313 |