Travelled to:1 × Canada
1 × Denmark
1 × France
2 × United Kingdom
9 × USA
Collaborated with:D.Stefan M.F.Kaashoek D.Terei A.Russo E.Z.Yang A.J.Mashtizadeh A.Levy J.C.Mitchell M.Kaminsky A.Bittau E.Kohler M.N.Krohn A.Muthitacharoen B.Chen K.Fu Y.F.Huang N.Zeldovich S.Boyd-Wickizer J.Li D.Shasha G.Savvides E.Witchel S.Marlow S.L.P.Jones A.A.Levy T.Garfinkel M.Rosenblum P.Buiras A.Belay C.Kozyrakis P.Marchenko D.Herman B.Karp D.B.Giffin J.B.Chen Y.Endo K.Chan A.Dias M.I.Seltzer M.D.Smith P.Efstathopoulos S.Vandebogart C.Frey D.Ziegler R.Morris D.R.Engler G.R.Ganger H.M.Briceño R.Hunt T.Pinckney R.Grimm J.Jannotti K.Mackenzie
Talks about:system (10) file (5) secur (4) inform (3) haskel (3) applic (3) user (3) safe (3) flow (3) untrust (2)
Person: David Mazières
DBLP: Mazi=egrave=res:David
Contributed to:
2014
2014
2013
20122012200620052004200320012000199919971995
201120122014
2017Wrote 20 papers:
- OSDI-2014-StefanYMRHKM #javascript
- Protecting Users by Confining JavaScript with COWL (DS, EZY, PM, AR, DH, BK, DM), pp. 131–146.
- PLDI-2014-YangM #haskell
- Dynamic space limits for Haskell (EZY, DM), p. 59.
- SOSP-2013-MashtizadehBHM #file system #replication
- Replication, history, and grafting in the Ori file system (AJM, AB, YFH, DM), pp. 151–166.
- ICFP-2012-StefanRBLMM #concurrent #data flow #termination
- Addressing covert termination and timing channels in concurrent information flow systems (DS, AR, PB, AL, JCM, DM), pp. 201–214.
- OSDI-2012-BelayBMTMK #cpu #named
- Dune: Safe User-level Access to Privileged CPU Features (AB, AB, AJM, DT, DM, CK), pp. 335–348.
- OSDI-2012-GiffinLSTMMR #named #privacy #web
- Hails: Protecting Data Privacy in Untrusted Web Applications (DBG, AL, DS, DT, DM, JCM, AR), pp. 47–60.
- OSDI-2006-ZeldovichBKM #data flow
- Making Information Flow Explicit in HiStar (NZ, SBW, EK, DM), pp. 263–278.
- SOSP-2005-EfstathopoulosKVFZKMKM #operating system #process
- Labels and event processes in the Asbestos operating system (PE, MNK, SV, CF, DZ, EK, DM, MFK, RM), pp. 17–30.
- OSDI-2004-LiKMS #repository
- Secure Untrusted Data Repository (SUNDR) (JL, MNK, DM, DS), pp. 121–136.
- SOSP-2003-KaminskySMK #authentication #distributed #file system
- Decentralized user authentication in a global file system (MK, GS, DM, MFK), pp. 60–73.
- SOSP-2001-MuthitacharoenCM #file system #network
- A Low-Bandwidth Network File System (AM, BC, DM), pp. 174–187.
- OSDI-2000-FuKM #distributed #file system #performance
- Fast and Secure Distributed Read-Only File System (KF, MFK, DM), pp. 181–196.
- SOSP-1999-MazieresKKW #file system #security
- Separating key management from file system security (DM, MK, MFK, EW), pp. 124–139.
- SOSP-1997-KaashoekEGBHMPGM #flexibility #kernel #performance
- Application Performance and Flexibility on Exokernel Systems (MFK, DRE, GRG, HMB, RH, DM, TP, RG, JJ, KM), pp. 52–65.
- SOSP-1995-ChenECMDSS #operating system #performance
- The Measured Performance of Personal Computer Operating Systems (JBC, YE, KC, DM, AD, MIS, MDS), pp. 299–313.
- Haskell-2011-StefanRMM #data flow #flexibility #haskell #information management
- Flexible dynamic information flow control in Haskell (DS, AR, JCM, DM), pp. 95–106.
- Haskell-2012-TereiMJM #haskell
- Safe haskell (DT, SM, SLPJ, DM), pp. 137–148.
- Haskell-2014-LevyTSM #web
- Demo proposal: making web applications -XSafe (AAL, DT, DS, DM), p. 91.
- Haskell-2014-StefanLRM
- Building secure systems with LIO (demo) (DS, AL, AR, DM), pp. 93–94.
- ASPLOS-2017-MashtizadehGTMR #manycore #towards
- Towards Practical Default-On Multi-Core Record/Replay (AJM, TG, DT, DM, MR), pp. 693–708.