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 |