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 |