Bio
Mazieres investigates ways to improve the security of operating systems, file systems, and distributed systems. In addition, he has worked on large-scale peer-to-peer systems and e-mail privacy.
Honors & Awards
-
Alfred P. Sloan Research Fellow, Alfred P. Sloan Research Foundation (2002)
-
CAREER Award, National Science Foundation (2001)
-
MIT George R. Sprowls award for best thesis in computer science, Massachusetts Institute of Technology (2000)
Professional Education
-
PhD, MIT, Computer Science (2000)
2024-25 Courses
- Operating Systems and Systems Programming
CS 212 (Spr) - Operating systems kernel implementation project
CS 112 (Spr) -
Independent Studies (12)
- Advanced Reading and Research
CS 499 (Aut, Win, Spr, Sum) - Advanced Reading and Research
CS 499P (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390A (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390B (Aut, Win, Spr, Sum) - Curricular Practical Training
CS 390C (Aut, Win, Spr, Sum) - Independent Project
CS 399 (Aut, Win, Spr, Sum) - Independent Project
CS 399P (Aut, Win, Spr, Sum) - Independent Work
CS 199 (Aut, Win, Spr, Sum) - Independent Work
CS 199P (Aut, Win, Spr, Sum) - Part-time Curricular Practical Training
CS 390D (Aut, Win, Spr, Sum) - Senior Project
CS 191 (Aut, Win, Spr, Sum) - Writing Intensive Senior Research Project
CS 191W (Aut, Win, Spr)
- Advanced Reading and Research
-
Prior Year Courses
2023-24 Courses
- Blockchain Governance
CS 352B (Spr) - Blockchain Governance
LAW 1078 (Spr) - Distributed Systems
CS 244B (Spr) - Operating Systems and Systems Programming
CS 212 (Win) - Operating systems kernel implementation project
CS 112 (Win)
2022-23 Courses
- Advanced Topics in Operating Systems
CS 240 (Spr) - Operating Systems and Systems Programming
CS 212 (Win) - Operating systems kernel implementation project
CS 112 (Win)
2021-22 Courses
- Distributed Systems
CS 244B (Spr) - Operating Systems and Systems Programming
CS 140 (Win) - Operating Systems and Systems Programming
CS 212 (Win) - Operating systems kernel implementation project
CS 112 (Win)
- Blockchain Governance
Stanford Advisees
-
Doctoral Dissertation Reader (AC)
Mohak Goyal, Joachim Neu, Ertem Tas -
Master's Program Advisor
Vladimir Gonzalez Migal, Donovan Jasper, Chris Kay, Gavin Li, Brandon Lou, Aaron Reed, Noah Schechter, Jitong Zhou -
Doctoral Dissertation Co-Advisor (AC)
Gina Yuan -
Doctoral (Program)
Paul Crews, Evan Laufer, Zachary Yedidia
All Publications
-
Shinjuku: Preemptive Scheduling for mu second-scale Tail Latency
USENIX ASSOC. 2019: 345–59
View details for Web of Science ID 000474428400023
-
Towards Practical Default-On Multi-Core Record/Replay
ACM SIGPLAN NOTICES
2017; 52 (4): 693-708
View details for DOI 10.1145/3037697.3037751
View details for Web of Science ID 000401540000049
-
Flexible dynamic information flow control in the presence of exceptions
JOURNAL OF FUNCTIONAL PROGRAMMING
2017; 27
View details for DOI 10.1017/S0956796816000241
View details for Web of Science ID 000393984200001
-
The Case For Secure Delegation
ASSOC COMPUTING MACHINERY. 2017: 15–21
View details for DOI 10.1145/3152434.3152444
View details for Web of Science ID 000440700800003
-
Hails: Protecting data privacy in untrusted web applications
JOURNAL OF COMPUTER SECURITY
2017; 25 (4-5): 427–61
View details for DOI 10.3233/JCS-15801
View details for Web of Science ID 000405374600004
-
Building Secure Systems with LIO (Demo)
ACM SIGPLAN NOTICES
2014; 49 (12): 93-94
View details for DOI 10.1145/2633357.2633371
View details for Web of Science ID 000358311500011
-
Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility
SIGCOMM Conference
ASSOC COMPUTING MACHINERY. 2014: 3–14
View details for DOI 10.1145/2619239.2626292
View details for Web of Science ID 000350564600002
-
A Brief Overview of the NEBULA Future Internet Architecture
ACM SIGCOMM COMPUTER COMMUNICATION REVIEW
2014; 44 (3): 81-86
View details for DOI 10.1145/2656877.2656889
View details for Web of Science ID 000341236800011
-
Dynamic Space Limits for Haskell
35th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
ASSOC COMPUTING MACHINERY. 2014: 588–98
View details for DOI 10.1145/2594291.2594341
View details for Web of Science ID 000344455800059
- Toward principled browser security. 2013
- Replication, History, and Grafting in the Ori File System. 2013
- EyeQ: Practical network performance isolation at the edge. 2013
- Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. 2013
-
Safe Haskell
ACM SIGPLAN NOTICES
2012; 47 (12): 137-148
View details for DOI 10.1145/2430532.2364524
View details for Web of Science ID 000313911300013
-
Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems
ACM SIGPLAN NOTICES
2012; 47 (9): 201-213
View details for DOI 10.1145/2398856.2364557
View details for Web of Science ID 000311296000020
-
Disjunction Category Labels
16th Nordic Conference on Secure IT-Systems (NordSec)
SPRINGER-VERLAG BERLIN. 2012: 223–239
View details for Web of Science ID 000310342000016
- Where is the debugger for my Software-Defined Network? 2012
- Hails: Protecting data privacy in untrusted web applications. 2012
- Dune: Safe user-level access to privileged CPU features. 2012
- EyeQ: Practical Network Performance Isolation for the Multi-tenant Cloud. 2012
-
Flexible Dynamic Information Flow Control in Haskell
ACM SIGPLAN NOTICES
2011; 46 (12): 95-106
View details for DOI 10.1145/2096148.2034688
View details for Web of Science ID 000299326600009
-
Making Information Flow Explicit in HiStar
COMMUNICATIONS OF THE ACM
2011; 54 (11): 93-101
View details for DOI 10.1145/2018396.2018419
View details for Web of Science ID 000297052600026
-
The Case for RAMCloud
COMMUNICATIONS OF THE ACM
2011; 54 (7): 121-130
View details for DOI 10.1145/1965724.1965751
View details for Web of Science ID 000293277800033
-
Energy Management in Mobile Devices with the Cinder Operating System
6th ACM EuroSys Conference on Computer Systems (EuroSys 2011)
ASSOC COMPUTING MACHINERY. 2011: 139–152
View details for Web of Science ID 000304280200010
- Disjunction category labels. 2011
- Verifying and enforcing network paths with ICING. 2011
- Making information flow explicit in HiStar. Communications of the ACM 2011; 11 (54): 93-101
-
Apprehending Joule Thieves with Cinder
COMPUTER COMMUNICATION REVIEW
2010; 40 (1): 106-111
View details for Web of Science ID 000273227000016
- Defining and Enforcing Transit Policies in a Future Internet. Technical Report TR-10-07 Department of Computer Sciences, The University of Texas at Austin 2010
- The case for ubiquitous transport-level encryption. 2010
-
Apprehending Joule Thieves with Cinder
1st ACM Workshop on Networking, Systems, and Applications for Mobile Handhelds
ASSOC COMPUTING MACHINERY. 2009: 49–54
View details for Web of Science ID 000282721900009
- Apprehending Joule Thieves with Cinder. 2009
- A Policy Framework for the Future Internet. 2009
-
Delegating Network Security with More Information
1st Workshop Research on Enterprise Networking
ASSOC COMPUTING MACHINERY. 2009: 19–26
View details for Web of Science ID 000282721700003
- Securing distributed systems with information flow control. 2008
-
Labels and event processes in the Asbestos operating system
ACM TRANSACTIONS ON COMPUTER SYSTEMS
2007; 25 (4)
View details for DOI 10.1145/1314299.1314302
View details for Web of Science ID 000251909000003
- Beyond One-third Faulty Replicas in Byzantine Fault Tolerant Systems. 2007
-
Making information flow explicit in HiStar
7th USENIX Symposium on Operating Systems Design and Implementation
USENIX ASSOC. 2006: 263–278
View details for Web of Science ID 000245429800019
- RE: Reliable email. 2006
- OASIS: Anycast for any service. 2006
- Making information flow explicit in HiStar. 2006
- Group therapy for systems: Using link attestations to manage failures. 2006
- Labels and event processes in the Asbestos operating system. 2005
- Shark: Scaling file servers via cooperative caching. 2005
- Make Least Privilege a Right (Not a Privilege). 2005
- Blocking unwanted mail with mail avenger. Virus Bulletin 2005: S2-S4
- REX: Secure, extensible remote execution. 2004
- Secure Untrusted Data Repository (SUNDR). 2004
- Secure acknowledgment of multicast messages in open peer-to-peer networks. 2004
- On-the-fly verification of rateless erasure codes for efficient content distribution. 2004
- Democratizing content publication with Coral. 2004
- Sloppy hashing and self-organizing clusters. 2003
- Rateless codes and big downloads. 2003
- Decentralized user authentication in a global file system. 2003
- REX: Secure, modular remote execution through file descriptor passing. Technical Report MIT-LCSTR-884, MIT Laboratory for Computer Science 2003
- Proactive two-party signatures for user authentication. 2003
-
Multiprocessor support for event-driven programs
USENIX Annual Technical Conference
USENIX ASSOC. 2003: 239–252
View details for Web of Science ID 000184644400018
- Using SFS for a secure network file system. In ;login: The Magazine of Usenix & Sage 2002; 6 (27): 6-16
- Kademlia: A peer-to-peer information system based on the XOR metric. 2002
- Event-driven programming for robust software. 2002
- Fast and secure distributed read-only file system. In ACM Transactions on Computer Systems 2002; 1 (20): 1-24
- Building secure file systems out of Byzantine storage. 2002
- A toolkit for user-level file systems. 2001
- Don't trust your file server. 2001
- A low-bandwidth network file system. 2001
- Tangler: A Censorship-Resistant Publishing System Based On Document Entanglements. 2001
- Position Summary: Censorship Resistant Publishing Through Document Entanglements. 2001
- Self-certifying file system. PhD thesis, MIT 2000
- Fast and secure distributed read-only file system. 2000
- A future-adaptable password scheme. 1999
- Separating key management from file system security. 1999
- Escaping the evils of centralized control with self-certifying pathnames. 1998
- The design, implementation and operation of an email pseudonym server. 1998
- Application performance and flexibility on exokernel systems. 1997
- Secure applications need flexible operating systems. 1997
- Security and Decentralized Control in the SFS Global File System. Master's thesis, MIT 1997
- The Measured Performance of Personal Computer Operating Systems. In ACM Transactions on Computer Systems 1996; 1 (14): 3-40
- The Measured Performance of Personal Computer Operating Systems. 1995
- Abstract execution in a multi-tasking environment. Technical Report TR-31-94. Harvard University 1994