Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David Mazières
@inproceedings{DBLP:conf/nsdi/YuanSZWMW24,
author = {Gina Yuan and
Matthew Sotoudeh and
David K. Zhang and
Michael Welzl and
David Mazi{\`{e}}res and
Keith Winstein},
editor = {Laurent Vanbever and
Irene Zhang},
title = {Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols},
booktitle = {21st {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2024, Santa Clara, CA, April 15-17, 2024},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/nsdi24/presentation/yuan},
timestamp = {Fri, 19 Apr 2024 11:29:16 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/YuanSZWMW24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/TyagiAFWBM23,
author = {Nirvan Tyagi and
Arasu Arun and
Cody Freitag and
Riad Wahby and
Joseph Bonneau and
David Mazi{\`{e}}res},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {Riggs: Decentralized Sealed-Bid Auctions},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {1227--1241},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3623182},
doi = {10.1145/3576915.3623182},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/TyagiAFWBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/RamseyerGM23,
author = {Geoffrey Ramseyer and
Ashish Goel and
David Mazi{\`{e}}res},
editor = {Mahesh Balakrishnan and
Manya Ghobadi},
title = {{SPEEDEX:} {A} Scalable, Parallelizable, and Economically Efficient
Decentralized EXchange},
booktitle = {20th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2023, Boston, MA, April 17-19, 2023},
pages = {849--875},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/nsdi23/presentation/ramseyer},
timestamp = {Thu, 11 May 2023 17:08:22 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/RamseyerGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/DautermanLCM23,
author = {Emma Dauterman and
Danny Lin and
Henry Corrigan{-}Gibbs and
David Mazi{\`{e}}res},
editor = {Roxana Geambasu and
Ed Nightingale},
title = {Accountable authentication with privacy protection: The Larch system
for universal login},
booktitle = {17th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2023, Boston, MA, USA, July 10-12, 2023},
pages = {81--98},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/osdi23/presentation/dauterman},
timestamp = {Sat, 15 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/DautermanLCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigecom/GoyalRGM23,
author = {Mohak Goyal and
Geoffrey Ramseyer and
Ashish Goel and
David Mazi{\`{e}}res},
editor = {Kevin Leyton{-}Brown and
Jason D. Hartline and
Larry Samuelson},
title = {Finding the Right Curve: Optimal Design of Constant Function Market
Makers},
booktitle = {Proceedings of the 24th {ACM} Conference on Economics and Computation,
{EC} 2023, London, United Kingdom, July 9-12, 2023},
pages = {783--812},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3580507.3597688},
doi = {10.1145/3580507.3597688},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigecom/GoyalRGM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-19241,
author = {Emma Dauterman and
Danny Lin and
Henry Corrigan{-}Gibbs and
David Mazi{\`{e}}res},
title = {Accountable authentication with privacy protection: The Larch system
for universal login},
journal = {CoRR},
volume = {abs/2305.19241},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.19241},
doi = {10.48550/ARXIV.2305.19241},
eprinttype = {arXiv},
eprint = {2305.19241},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-19241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/TyagiAFWBM23,
author = {Nirvan Tyagi and
Arasu Arun and
Cody Freitag and
Riad Wahby and
Joseph Bonneau and
David Mazi{\`{e}}res},
title = {Riggs: Decentralized Sealed-Bid Auctions},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1336},
year = {2023},
url = {https://eprint.iacr.org/2023/1336},
timestamp = {Sat, 07 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/TyagiAFWBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13737,
author = {Gina Yuan and
David Mazi{\`{e}}res and
Matei Zaharia},
title = {Extricating IoT Devices from Vendor Infrastructure with Karl},
journal = {CoRR},
volume = {abs/2204.13737},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.13737},
doi = {10.48550/ARXIV.2204.13737},
eprinttype = {arXiv},
eprint = {2204.13737},
timestamp = {Mon, 02 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13737.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-04929,
author = {Geoffrey Ramseyer and
Mohak Goyal and
Ashish Goel and
David Mazi{\`{e}}res},
title = {Batch Exchanges with Constant Function Market Makers: Axioms, Equilibria,
and Computation},
journal = {CoRR},
volume = {abs/2210.04929},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.04929},
doi = {10.48550/ARXIV.2210.04929},
eprinttype = {arXiv},
eprint = {2210.04929},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-04929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2212-03340,
author = {Mohak Goyal and
Geoffrey Ramseyer and
Ashish Goel and
David Mazi{\`{e}}res},
title = {Finding the Right Curve: Optimal Design of Constant Function Market
Makers},
journal = {CoRR},
volume = {abs/2212.03340},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2212.03340},
doi = {10.48550/ARXIV.2212.03340},
eprinttype = {arXiv},
eprint = {2212.03340},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2212-03340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/HumphriesKMK21,
author = {Jack Tigar Humphries and
Kostis Kaffes and
David Mazi{\`{e}}res and
Christos Kozyrakis},
editor = {Sebastian Angel and
Baris Kasikci and
Eddie Kohler},
title = {A case against (most) context switches},
booktitle = {HotOS '21: Workshop on Hot Topics in Operating Systems, Ann Arbor,
Michigan, USA, June, 1-3, 2021},
pages = {17--25},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3458336.3465274},
doi = {10.1145/3458336.3465274},
timestamp = {Mon, 07 Jun 2021 14:50:08 +0200},
biburl = {https://dblp.org/rec/conf/hotos/HumphriesKMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KaffesHMK21,
author = {Kostis Kaffes and
Jack Tigar Humphries and
David Mazi{\`{e}}res and
Christos Kozyrakis},
editor = {Robbert van Renesse and
Nickolai Zeldovich},
title = {Syrup: User-Defined Scheduling Across the Stack},
booktitle = {{SOSP} '21: {ACM} {SIGOPS} 28th Symposium on Operating Systems Principles,
Virtual Event / Koblenz, Germany, October 26-29, 2021},
pages = {605--620},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3477132.3483548},
doi = {10.1145/3477132.3483548},
timestamp = {Thu, 21 Oct 2021 16:30:29 +0200},
biburl = {https://dblp.org/rec/conf/sosp/KaffesHMK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-02719,
author = {Geoffrey Ramseyer and
Ashish Goel and
David Mazi{\`{e}}res},
title = {{SPEEDEX:} {A} Scalable, Parallelizable, and Economically Efficient
Digital EXchange},
journal = {CoRR},
volume = {abs/2111.02719},
year = {2021},
url = {https://arxiv.org/abs/2111.02719},
eprinttype = {arXiv},
eprint = {2111.02719},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-02719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/DautermanCM20,
author = {Emma Dauterman and
Henry Corrigan{-}Gibbs and
David Mazi{\`{e}}res},
title = {SafetyPin: Encrypted Backups with Human-Memorable Secrets},
booktitle = {14th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2020, Virtual Event, November 4-6, 2020},
pages = {1121--1138},
publisher = {{USENIX} Association},
year = {2020},
url = {https://www.usenix.org/conference/osdi20/presentation/dauterman-safetypin},
timestamp = {Tue, 02 Feb 2021 08:05:52 +0100},
biburl = {https://dblp.org/rec/conf/osdi/DautermanCM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/RamseyerGM20,
author = {Geoffrey Ramseyer and
Ashish Goel and
David Mazi{\`{e}}res},
editor = {Yennun Huang and
Irwin King and
Tie{-}Yan Liu and
Maarten van Steen},
title = {Liquidity in Credit Networks with Constrained Agents},
booktitle = {{WWW} '20: The Web Conference 2020, Taipei, Taiwan, April 20-24, 2020},
pages = {2099--2108},
publisher = {{ACM} / {IW3C2}},
year = {2020},
url = {https://doi.org/10.1145/3366423.3380276},
doi = {10.1145/3366423.3380276},
timestamp = {Fri, 25 Dec 2020 01:14:58 +0100},
biburl = {https://dblp.org/rec/conf/www/RamseyerGM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-06712,
author = {Emma Dauterman and
Henry Corrigan{-}Gibbs and
David Mazi{\`{e}}res},
title = {SafetyPin: Encrypted Backups with Human-Memorable Secrets},
journal = {CoRR},
volume = {abs/2010.06712},
year = {2020},
url = {https://arxiv.org/abs/2010.06712},
eprinttype = {arXiv},
eprint = {2010.06712},
timestamp = {Tue, 20 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-06712.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/HumphriesKMK19,
author = {Jack Tigar Humphries and
Kostis Kaffes and
David Mazi{\`{e}}res and
Christos Kozyrakis},
title = {Mind the Gap: {A} Case for Informed Request Scheduling at the {NIC}},
booktitle = {Proceedings of the 18th {ACM} Workshop on Hot Topics in Networks,
HotNets 2019, Princeton, NJ, USA, November 13-15, 2019},
pages = {60--68},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3365609.3365856},
doi = {10.1145/3365609.3365856},
timestamp = {Sun, 10 Nov 2019 16:05:28 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/HumphriesKMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/KaffesCHBMK19,
author = {Kostis Kaffes and
Timothy Chong and
Jack Tigar Humphries and
Adam Belay and
David Mazi{\`{e}}res and
Christos Kozyrakis},
editor = {Jay R. Lorch and
Minlan Yu},
title = {Shinjuku: Preemptive Scheduling for {\(\mu\)}second-scale Tail Latency},
booktitle = {16th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2019, Boston, MA, February 26-28, 2019},
pages = {345--360},
publisher = {{USENIX} Association},
year = {2019},
url = {https://www.usenix.org/conference/nsdi19/presentation/kaffes},
timestamp = {Tue, 02 Feb 2021 08:05:46 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/KaffesCHBMK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/LokhavaLMHBGJMM19,
author = {Marta Lokhava and
Giuliano Losa and
David Mazi{\`{e}}res and
Graydon Hoare and
Nicolas Barry and
Eli Gafni and
Jonathan Jove and
Rafal Malinowsky and
Jed McCaleb},
editor = {Tim Brecht and
Carey Williamson},
title = {Fast and secure global payments with Stellar},
booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
{SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {80--96},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341301.3359636},
doi = {10.1145/3341301.3359636},
timestamp = {Tue, 19 Nov 2019 12:45:13 +0100},
biburl = {https://dblp.org/rec/conf/sosp/LokhavaLMHBGJMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/DautermanCMBR19,
author = {Emma Dauterman and
Henry Corrigan{-}Gibbs and
David Mazi{\`{e}}res and
Dan Boneh and
Dominic Rizzo},
title = {True2F: Backdoor-Resistant Authentication Tokens},
booktitle = {2019 {IEEE} Symposium on Security and Privacy, {SP} 2019, San Francisco,
CA, USA, May 19-23, 2019},
pages = {398--416},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SP.2019.00048},
doi = {10.1109/SP.2019.00048},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/sp/DautermanCMBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/LosaGM19,
author = {Giuliano Losa and
Eli Gafni and
David Mazi{\`{e}}res},
editor = {Jukka Suomela},
title = {Stellar Consensus by Instantiation},
booktitle = {33rd International Symposium on Distributed Computing, {DISC} 2019,
October 14-18, 2019, Budapest, Hungary},
series = {LIPIcs},
volume = {146},
pages = {27:1--27:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.DISC.2019.27},
doi = {10.4230/LIPICS.DISC.2019.27},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/LosaGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-02194,
author = {Geoffrey Ramseyer and
Ashish Goel and
David Mazi{\`{e}}res},
title = {Constrained Credit Networks},
journal = {CoRR},
volume = {abs/1910.02194},
year = {2019},
url = {http://arxiv.org/abs/1910.02194},
eprinttype = {arXiv},
eprint = {1910.02194},
timestamp = {Wed, 09 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-02194.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc8547,
author = {Andrea Bittau and
Daniel B. Giffin and
Mark Handley and
David Mazi{\`{e}}res and
Eric W. Smith},
title = {{TCP-ENO:} Encryption Negotiation Option},
journal = {{RFC}},
volume = {8547},
pages = {1--31},
year = {2019},
url = {https://doi.org/10.17487/RFC8547},
doi = {10.17487/RFC8547},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc8547.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rfc/rfc8548,
author = {Andrea Bittau and
Daniel B. Giffin and
Mark Handley and
David Mazi{\`{e}}res and
Quinn Slack and
Eric W. Smith},
title = {Cryptographic Protection of {TCP} Streams (tcpcrypt)},
journal = {{RFC}},
volume = {8548},
pages = {1--32},
year = {2019},
url = {https://doi.org/10.17487/RFC8548},
doi = {10.17487/RFC8548},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rfc/rfc8548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-04660,
author = {Emma Dauterman and
Henry Corrigan{-}Gibbs and
David Mazi{\`{e}}res and
Dan Boneh and
Dominic Rizzo},
title = {True2F: Backdoor-resistant authentication tokens},
journal = {CoRR},
volume = {abs/1810.04660},
year = {2018},
url = {http://arxiv.org/abs/1810.04660},
eprinttype = {arXiv},
eprint = {1810.04660},
timestamp = {Tue, 30 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-04660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/GiffinLSTMMR17,
author = {Daniel B. Giffin and
Amit Levy and
Deian Stefan and
David Terei and
David Mazi{\`{e}}res and
John C. Mitchell and
Alejandro Russo},
title = {Hails: Protecting data privacy in untrusted web applications},
journal = {J. Comput. Secur.},
volume = {25},
number = {4-5},
pages = {427--461},
year = {2017},
url = {https://doi.org/10.3233/JCS-15801},
doi = {10.3233/JCS-15801},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/GiffinLSTMMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/StefanMMR17,
author = {Deian Stefan and
David Mazi{\`{e}}res and
John C. Mitchell and
Alejandro Russo},
title = {Flexible dynamic information flow control in the presence of exceptions},
journal = {J. Funct. Program.},
volume = {27},
pages = {e5},
year = {2017},
url = {https://doi.org/10.1017/S0956796816000241},
doi = {10.1017/S0956796816000241},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/StefanMMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/MashtizadehGTMR17,
author = {Ali Jos{\'{e}} Mashtizadeh and
Tal Garfinkel and
David Terei and
David Mazi{\`{e}}res and
Mendel Rosenblum},
editor = {Yunji Chen and
Olivier Temam and
John Carter},
title = {Towards Practical Default-On Multi-Core Record/Replay},
booktitle = {Proceedings of the Twenty-Second International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2017, Xi'an, China, April 8-12, 2017},
pages = {693--708},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3037697.3037751},
doi = {10.1145/3037697.3037751},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/MashtizadehGTMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/KoganSTMW17,
author = {Dmitry Kogan and
Henri Stern and
Ashley Tolbert and
David Mazi{\`{e}}res and
Keith Winstein},
editor = {Sujata Banerjee and
Brad Karp and
Michael Walfish},
title = {The Case For Secure Delegation},
booktitle = {Proceedings of the 16th {ACM} Workshop on Hot Topics in Networks,
Palo Alto, CA, USA, HotNets 2017, November 30 - December 01, 2017},
pages = {15--21},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3152434.3152444},
doi = {10.1145/3152434.3152444},
timestamp = {Tue, 06 Nov 2018 16:58:14 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/KoganSTMW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/MashtizadehBBM15,
author = {Ali Jos{\'{e}} Mashtizadeh and
Andrea Bittau and
Dan Boneh and
David Mazi{\`{e}}res},
editor = {Indrajit Ray and
Ninghui Li and
Christopher Kruegel},
title = {{CCFI:} Cryptographically Enforced Control Flow Integrity},
booktitle = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and
Communications Security, Denver, CO, USA, October 12-16, 2015},
pages = {941--951},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2810103.2813676},
doi = {10.1145/2810103.2813676},
timestamp = {Tue, 10 Nov 2020 19:58:09 +0100},
biburl = {https://dblp.org/rec/conf/ccs/MashtizadehBBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SeltzerMMZ15,
author = {Margo I. Seltzer and
Mark Miller and
David Mazi{\`{e}}res and
Yuanyuan Zhou},
title = {Is achieving security a hopeless quest?},
booktitle = {{SOSP} History Day 2015, Monterey, California, USA, October 4, 2015},
pages = {13:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2830903.2830914},
doi = {10.1145/2830903.2830914},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/SeltzerMMZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/Corrigan-GibbsB15,
author = {Henry Corrigan{-}Gibbs and
Dan Boneh and
David Mazi{\`{e}}res},
title = {Riposte: An Anonymous Messaging System Handling Millions of Users},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {321--338},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.27},
doi = {10.1109/SP.2015.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/Corrigan-GibbsB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Corrigan-GibbsB15,
author = {Henry Corrigan{-}Gibbs and
Dan Boneh and
David Mazi{\`{e}}res},
title = {Riposte: An Anonymous Messaging System Handling Millions of Users},
journal = {CoRR},
volume = {abs/1503.06115},
year = {2015},
url = {http://arxiv.org/abs/1503.06115},
eprinttype = {arXiv},
eprint = {1503.06115},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Corrigan-GibbsB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/AndersonBBCCCFHIKLLMNSSRWWY14,
author = {Tom Anderson and
Ken Birman and
Robert M. Broberg and
Matthew Caesar and
Douglas Comer and
Chase Cotton and
Michael J. Freedman and
Andreas Haeberlen and
Zachary G. Ives and
Arvind Krishnamurthy and
William H. Lehr and
Boon Thau Loo and
David Mazi{\`{e}}res and
Antonio Nicolosi and
Jonathan M. Smith and
Ion Stoica and
Robbert van Renesse and
Michael Walfish and
Hakim Weatherspoon and
Christopher S. Yoo},
title = {A brief overview of the {NEBULA} future internet architecture},
journal = {Comput. Commun. Rev.},
volume = {44},
number = {3},
pages = {81--86},
year = {2014},
url = {https://doi.org/10.1145/2656877.2656889},
doi = {10.1145/2656877.2656889},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/AndersonBBCCCFHIKLLMNSSRWWY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/StefanM14,
author = {Deian Stefan and
David Mazi{\`{e}}res},
editor = {Alejandro Russo and
Omer Tripp},
title = {Building Secure Systems with {LIO} (Demo)},
booktitle = {Proceedings of the Ninth Workshop on Programming Languages and Analysis
for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014},
pages = {25},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2637113.2637121},
doi = {10.1145/2637113.2637121},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/StefanM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/LevyTSM14,
author = {Amit A. Levy and
David Terei and
Deian Stefan and
David Mazi{\`{e}}res},
editor = {Wouter Swierstra},
title = {Demo proposal: making web applications -XSafe},
booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
Sweden, September 4-5, 2014},
pages = {91},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633357.2633373},
doi = {10.1145/2633357.2633373},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/LevyTSM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/StefanLRM14,
author = {Deian Stefan and
Amit Levy and
Alejandro Russo and
David Mazi{\`{e}}res},
editor = {Wouter Swierstra},
title = {Building secure systems with {LIO} (demo)},
booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
Sweden, September 4-5, 2014},
pages = {93--94},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633357.2633371},
doi = {10.1145/2633357.2633371},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/StefanLRM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/HandigolHJMM14,
author = {Nikhil Handigol and
Brandon Heller and
Vimalkumar Jeyakumar and
David Mazi{\`{e}}res and
Nick McKeown},
editor = {Ratul Mahajan and
Ion Stoica},
title = {I Know What Your Packet Did Last Hop: Using Packet Histories to Troubleshoot
Networks},
booktitle = {Proceedings of the 11th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2014, Seattle, WA, USA, April 2-4, 2014},
pages = {71--85},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/nsdi14/technical-sessions/presentation/handigol},
timestamp = {Tue, 02 Feb 2021 08:05:43 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/HandigolHJMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/StefanYMRHKM14,
author = {Deian Stefan and
Edward Z. Yang and
Petr Marchenko and
Alejandro Russo and
David Herman and
Brad Karp and
David Mazi{\`{e}}res},
editor = {Jason Flinn and
Hank Levy},
title = {Protecting Users by Confining JavaScript with {COWL}},
booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
pages = {131--146},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/stefan},
timestamp = {Tue, 02 Feb 2021 08:05:58 +0100},
biburl = {https://dblp.org/rec/conf/osdi/StefanYMRHKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YangM14,
author = {Edward Z. Yang and
David Mazi{\`{e}}res},
editor = {Michael F. P. O'Boyle and
Keshav Pingali},
title = {Dynamic space limits for Haskell},
booktitle = {{ACM} {SIGPLAN} Conference on Programming Language Design and Implementation,
{PLDI} '14, Edinburgh, United Kingdom - June 09 - 11, 2014},
pages = {588--598},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594291.2594341},
doi = {10.1145/2594291.2594341},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YangM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/JeyakumarAGKM14,
author = {Vimalkumar Jeyakumar and
Mohammad Alizadeh and
Yilong Geng and
Changhoon Kim and
David Mazi{\`{e}}res},
editor = {Fabi{\'{a}}n E. Bustamante and
Y. Charlie Hu and
Arvind Krishnamurthy and
Sylvia Ratnasamy},
title = {Millions of little minions: using packets for low latency network
programming and visibility},
booktitle = {{ACM} {SIGCOMM} 2014 Conference, SIGCOMM'14, Chicago, IL, USA, August
17-22, 2014},
pages = {3--14},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2619239.2626292},
doi = {10.1145/2619239.2626292},
timestamp = {Wed, 10 Mar 2021 13:04:38 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/JeyakumarAGKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/BittauBMMB14,
author = {Andrea Bittau and
Adam Belay and
Ali Jos{\'{e}} Mashtizadeh and
David Mazi{\`{e}}res and
Dan Boneh},
title = {Hacking Blind},
booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
CA, USA, May 18-21, 2014},
pages = {227--242},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SP.2014.22},
doi = {10.1109/SP.2014.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/BittauBMMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JeyakumarAGKM14,
author = {Vimalkumar Jeyakumar and
Mohammad Alizadeh and
Yilong Geng and
Changhoon Kim and
David Mazi{\`{e}}res},
title = {Millions of Little Minions: Using Packets for Low Latency Network
Programming and Visibility},
journal = {CoRR},
volume = {abs/1405.7143},
year = {2014},
url = {http://arxiv.org/abs/1405.7143},
eprinttype = {arXiv},
eprint = {1405.7143},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/JeyakumarAGKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MashtizadehBMB14,
author = {Ali Jos{\'{e}} Mashtizadeh and
Andrea Bittau and
David Mazi{\`{e}}res and
Dan Boneh},
title = {Cryptographically Enforced Control Flow Integrity},
journal = {CoRR},
volume = {abs/1408.1451},
year = {2014},
url = {http://arxiv.org/abs/1408.1451},
eprinttype = {arXiv},
eprint = {1408.1451},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MashtizadehBMB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/StefanBYLTRM13,
author = {Deian Stefan and
Pablo Buiras and
Edward Z. Yang and
Amit Levy and
David Terei and
Alejandro Russo and
David Mazi{\`{e}}res},
editor = {Jason Crampton and
Sushil Jajodia and
Keith Mayes},
title = {Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling},
booktitle = {Computer Security - {ESORICS} 2013 - 18th European Symposium on Research
in Computer Security, Egham, UK, September 9-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8134},
pages = {718--735},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40203-6\_40},
doi = {10.1007/978-3-642-40203-6\_40},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/StefanBYLTRM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fia/AndersonBBCCCFHIKLLMNSSRWWY13,
author = {Tom Anderson and
Ken Birman and
Robert M. Broberg and
Matthew Caesar and
Douglas Comer and
Chase Cotton and
Michael J. Freedman and
Andreas Haeberlen and
Zachary G. Ives and
Arvind Krishnamurthy and
William H. Lehr and
Boon Thau Loo and
David Mazi{\`{e}}res and
Antonio Nicolosi and
Jonathan M. Smith and
Ion Stoica and
Robbert van Renesse and
Michael Walfish and
Hakim Weatherspoon and
Christopher S. Yoo},
editor = {Alex Galis and
Anastasius Gavras},
title = {The {NEBULA} Future Internet Architecture},
booktitle = {The Future Internet - Future Internet Assembly 2013: Validated Results
and New Horizons},
series = {Lecture Notes in Computer Science},
volume = {7858},
pages = {16--26},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38082-2\_2},
doi = {10.1007/978-3-642-38082-2\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fia/AndersonBBCCCFHIKLLMNSSRWWY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/JeyakumarAKM13,
author = {Vimalkumar Jeyakumar and
Mohammad Alizadeh and
Changhoon Kim and
David Mazi{\`{e}}res},
editor = {Dave Levine and
Sachin Katti and
Dave Oran},
title = {Tiny packet programs for low-latency network control and monitoring},
booktitle = {Twelfth {ACM} Workshop on Hot Topics in Networks, HotNets-XII, College
Park, MD, USA, November 21-22, 2013},
pages = {8:1--8:7},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2535771.2535780},
doi = {10.1145/2535771.2535780},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/JeyakumarAKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/YangSMMMK13,
author = {Edward Z. Yang and
Deian Stefan and
John C. Mitchell and
David Mazi{\`{e}}res and
Petr Marchenko and
Brad Karp},
editor = {Petros Maniatis},
title = {Toward Principled Browser Security},
booktitle = {14th Workshop on Hot Topics in Operating Systems, HotOS XIV, Santa
Ana Pueblo, New Mexico, USA, May 13-15, 2013},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/hotos13/session/yang},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/YangSMMMK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/JeyakumarAMPGK13,
author = {Vimalkumar Jeyakumar and
Mohammad Alizadeh and
David Mazi{\`{e}}res and
Balaji Prabhakar and
Albert G. Greenberg and
Changhoon Kim},
editor = {Nick Feamster and
Jeffrey C. Mogul},
title = {EyeQ: Practical Network Performance Isolation at the Edge},
booktitle = {Proceedings of the 10th {USENIX} Symposium on Networked Systems Design
and Implementation, {NSDI} 2013, Lombard, IL, USA, April 2-5, 2013},
pages = {297--311},
publisher = {{USENIX} Association},
year = {2013},
url = {https://www.usenix.org/conference/nsdi13/technical-sessions/presentation/jeyakumar},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/JeyakumarAMPGK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/MashtizadehBHM13,
author = {Ali Jos{\'{e}} Mashtizadeh and
Andrea Bittau and
Yifeng Frank Huang and
David Mazi{\`{e}}res},
editor = {Michael Kaminsky and
Mike Dahlin},
title = {Replication, history, and grafting in the Ori file system},
booktitle = {{ACM} {SIGOPS} 24th Symposium on Operating Systems Principles, {SOSP}
'13, Farmington, PA, USA, November 3-6, 2013},
pages = {151--166},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2517349.2522721},
doi = {10.1145/2517349.2522721},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/MashtizadehBHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BuirasLSRM13,
author = {Pablo Buiras and
Amit Levy and
Deian Stefan and
Alejandro Russo and
David Mazi{\`{e}}res},
editor = {Mart{\'{\i}}n Abadi and
Alberto Lluch{-}Lafuente},
title = {A Library for Removing Cache-Based Attacks in Concurrent Information
Flow Systems},
booktitle = {Trustworthy Global Computing - 8th International Symposium, {TGC}
2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {8358},
pages = {199--216},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-05119-2\_12},
doi = {10.1007/978-3-319-05119-2\_12},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BuirasLSRM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/TereiMJM12,
author = {David Terei and
Simon Marlow and
Simon L. Peyton Jones and
David Mazi{\`{e}}res},
editor = {Janis Voigtl{\"{a}}nder},
title = {Safe haskell},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2012, Copenhagen, Denmark, 13 September 2012},
pages = {137--148},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364506.2364524},
doi = {10.1145/2364506.2364524},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/TereiMJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotcloud/JeyakumarAMPK12,
author = {Vimalkumar Jeyakumar and
Mohammad Alizadeh and
David Mazi{\`{e}}res and
Balaji Prabhakar and
Changhoon Kim},
editor = {Rodrigo Fonseca and
David A. Maltz},
title = {EyeQ: Practical Network Performance Isolation for the Multi-tenant
Cloud},
booktitle = {4th {USENIX} Workshop on Hot Topics in Cloud Computing, HotCloud'12,
Boston, MA, USA, June 12-13, 2012},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/hotcloud12/workshop-program/presentation/jeyakumar},
timestamp = {Tue, 09 Feb 2021 08:31:36 +0100},
biburl = {https://dblp.org/rec/conf/hotcloud/JeyakumarAMPK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/StefanRBLMM12,
author = {Deian Stefan and
Alejandro Russo and
Pablo Buiras and
Amit Levy and
John C. Mitchell and
David Mazi{\`{e}}res},
editor = {Peter Thiemann and
Robby Bruce Findler},
title = {Addressing covert termination and timing channels in concurrent information
flow systems},
booktitle = {{ACM} {SIGPLAN} International Conference on Functional Programming,
ICFP'12, Copenhagen, Denmark, September 9-15, 2012},
pages = {201--214},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2364527.2364557},
doi = {10.1145/2364527.2364557},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfp/StefanRBLMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/GiffinLSTMMR12,
author = {Daniel B. Giffin and
Amit Levy and
Deian Stefan and
David Terei and
David Mazi{\`{e}}res and
John C. Mitchell and
Alejandro Russo},
editor = {Chandu Thekkath and
Amin Vahdat},
title = {Hails: Protecting Data Privacy in Untrusted Web Applications},
booktitle = {10th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2012, Hollywood, CA, USA, October 8-10, 2012},
pages = {47--60},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/giffin},
timestamp = {Tue, 02 Feb 2021 08:05:55 +0100},
biburl = {https://dblp.org/rec/conf/osdi/GiffinLSTMMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/BelayBMTMK12,
author = {Adam Belay and
Andrea Bittau and
Ali Jos{\'{e}} Mashtizadeh and
David Terei and
David Mazi{\`{e}}res and
Christos Kozyrakis},
editor = {Chandu Thekkath and
Amin Vahdat},
title = {Dune: Safe User-level Access to Privileged {CPU} Features},
booktitle = {10th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2012, Hollywood, CA, USA, October 8-10, 2012},
pages = {335--348},
publisher = {{USENIX} Association},
year = {2012},
url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/belay},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/BelayBMTMK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/HandigolHJMM12,
author = {Nikhil Handigol and
Brandon Heller and
Vimalkumar Jeyakumar and
David Mazi{\`{e}}res and
Nick McKeown},
editor = {Nick Feamster and
Jennifer Rexford},
title = {Where is the debugger for my software-defined network?},
booktitle = {Proceedings of the first workshop on Hot topics in software defined
networks, HotSDN@SIGCOMM 2012, Helsinki, Finland, August 13, 2012},
pages = {55--60},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2342441.2342453},
doi = {10.1145/2342441.2342453},
timestamp = {Tue, 06 Nov 2018 11:07:12 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/HandigolHJMM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1207-1457,
author = {Deian Stefan and
Alejandro Russo and
John C. Mitchell and
David Mazi{\`{e}}res},
title = {Flexible Dynamic Information Flow Control in the Presence of Exceptions},
journal = {CoRR},
volume = {abs/1207.1457},
year = {2012},
url = {http://arxiv.org/abs/1207.1457},
eprinttype = {arXiv},
eprint = {1207.1457},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1207-1457.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tinytocs/TereiMJM12,
author = {David Terei and
Simon Marlow and
Simon L. Peyton Jones and
David Mazi{\`{e}}res},
title = {Safe Haskell},
journal = {Tiny Trans. Comput. Sci.},
volume = {1},
year = {2012},
url = {http://tinytocs.org/vol1/papers/tinytocs-v1-terei.pdf},
timestamp = {Tue, 14 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tinytocs/TereiMJM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/OusterhoutAEKLMMNOPRRSS11,
author = {John K. Ousterhout and
Parag Agrawal and
David Erickson and
Christos Kozyrakis and
Jacob Leverich and
David Mazi{\`{e}}res and
Subhasish Mitra and
Aravind Narayanan and
Diego Ongaro and
Guru M. Parulkar and
Mendel Rosenblum and
Stephen M. Rumble and
Eric Stratmann and
Ryan Stutsman},
title = {The case for RAMCloud},
journal = {Commun. {ACM}},
volume = {54},
number = {7},
pages = {121--130},
year = {2011},
url = {https://doi.org/10.1145/1965724.1965751},
doi = {10.1145/1965724.1965751},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/OusterhoutAEKLMMNOPRRSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/ZeldovichBKM11,
author = {Nickolai Zeldovich and
Silas Boyd{-}Wickizer and
Eddie Kohler and
David Mazi{\`{e}}res},
title = {Making information flow explicit in HiStar},
journal = {Commun. {ACM}},
volume = {54},
number = {11},
pages = {93--101},
year = {2011},
url = {https://doi.org/10.1145/2018396.2018419},
doi = {10.1145/2018396.2018419},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/ZeldovichBKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/NaousWNMMS11,
author = {Jad Naous and
Michael Walfish and
Antonio Nicolosi and
David Mazi{\`{e}}res and
Michael Miller and
Arun Seehra},
editor = {Kenjiro Cho and
Mark Crovella},
title = {Verifying and enforcing network paths with icing},
booktitle = {Proceedings of the 2011 Conference on Emerging Networking Experiments
and Technologies, Co-NEXT '11, Tokyo, Japan, December 6-9, 2011},
pages = {30},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2079296.2079326},
doi = {10.1145/2079296.2079326},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/conext/NaousWNMMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/RoyRSLMZ11,
author = {Arjun Roy and
Stephen M. Rumble and
Ryan Stutsman and
Philip Alexander Levis and
David Mazi{\`{e}}res and
Nickolai Zeldovich},
editor = {Christoph M. Kirsch and
Gernot Heiser},
title = {Energy management in mobile devices with the cinder operating system},
booktitle = {European Conference on Computer Systems, Proceedings of the Sixth
European conference on Computer systems, EuroSys 2011, Salzburg, Austria,
April 10-13, 2011},
pages = {139--152},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1966445.1966459},
doi = {10.1145/1966445.1966459},
timestamp = {Mon, 30 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/RoyRSLMZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/StefanRMM11,
author = {Deian Stefan and
Alejandro Russo and
John C. Mitchell and
David Mazi{\`{e}}res},
editor = {Koen Claessen},
title = {Flexible dynamic information flow control in Haskell},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2011, Tokyo, Japan, 22 September 2011},
pages = {95--106},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2034675.2034688},
doi = {10.1145/2034675.2034688},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/haskell/StefanRMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nordsec/StefanRMM11,
author = {Deian Stefan and
Alejandro Russo and
David Mazi{\`{e}}res and
John C. Mitchell},
editor = {Peeter Laud},
title = {Disjunction Category Labels},
booktitle = {Information Security Technology for Applications - 16th Nordic Conference
on Secure {IT} Systems, NordSec 2011, Tallinn, Estonia, October 26-28,
2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7161},
pages = {223--239},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29615-4\_16},
doi = {10.1007/978-3-642-29615-4\_16},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nordsec/StefanRMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/RumbleSLMZ10,
author = {Stephen M. Rumble and
Ryan Stutsman and
Philip Alexander Levis and
David Mazi{\`{e}}res and
Nickolai Zeldovich},
title = {Apprehending joule thieves with cinder},
journal = {Comput. Commun. Rev.},
volume = {40},
number = {1},
pages = {106--111},
year = {2010},
url = {https://doi.org/10.1145/1672308.1672327},
doi = {10.1145/1672308.1672327},
timestamp = {Mon, 30 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/RumbleSLMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/BittauHHMB10,
author = {Andrea Bittau and
Michael Hamburg and
Mark Handley and
David Mazi{\`{e}}res and
Dan Boneh},
title = {The Case for Ubiquitous Transport-Level Encryption},
booktitle = {19th {USENIX} Security Symposium, Washington, DC, USA, August 11-13,
2010, Proceedings},
pages = {403--418},
publisher = {{USENIX} Association},
year = {2010},
url = {http://www.usenix.org/events/sec10/tech/full\_papers/Bittau.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/BittauHHMB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/OusterhoutAEKLMMNPRRSS09,
author = {John K. Ousterhout and
Parag Agrawal and
David Erickson and
Christos Kozyrakis and
Jacob Leverich and
David Mazi{\`{e}}res and
Subhasish Mitra and
Aravind Narayanan and
Guru M. Parulkar and
Mendel Rosenblum and
Stephen M. Rumble and
Eric Stratmann and
Ryan Stutsman},
title = {The case for RAMClouds: scalable high-performance storage entirely
in {DRAM}},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {43},
number = {4},
pages = {92--105},
year = {2009},
url = {https://doi.org/10.1145/1713254.1713276},
doi = {10.1145/1713254.1713276},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/OusterhoutAEKLMMNPRRSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotnets/SeehraNWMNS09,
author = {Arun Seehra and
Jad Naous and
Michael Walfish and
David Mazi{\`{e}}res and
Antonio Nicolosi and
Scott Shenker},
editor = {Lakshminarayanan Subramanian and
Will E. Leland and
Ratul Mahajan},
title = {A Policy Framework for the Future Internet},
booktitle = {Eight {ACM} Workshop on Hot Topics in Networks (HotNets-VIII), {HOTNETS}
'09, New York City, NY, USA, October 22-23, 2009},
publisher = {{ACM} {SIGCOMM}},
year = {2009},
url = {http://conferences.sigcomm.org/hotnets/2009/papers/hotnets2009-final57.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotnets/SeehraNWMNS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/NaousSMMZ09,
author = {Jad Naous and
Ryan Stutsman and
David Mazi{\`{e}}res and
Nick McKeown and
Nickolai Zeldovich},
editor = {Jeffrey C. Mogul},
title = {Delegating network security with more information},
booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} 2009 Workshop on Research on
Enterprise Networking, {WREN} 2009, Barcelona, Spain, August 21, 2009},
pages = {19--26},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1592681.1592685},
doi = {10.1145/1592681.1592685},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigcomm/NaousSMMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcomm/RumbleSLMZ09,
author = {Stephen M. Rumble and
Ryan Stutsman and
Philip Alexander Levis and
David Mazi{\`{e}}res and
Nickolai Zeldovich},
editor = {Suman Banerjee},
title = {Apprehending joule thieves with cinder},
booktitle = {Proceedings of the 1st {ACM} {SIGCOMM} Workshop on Networking, Systems,
and Applications for Mobile Handhelds, MobiHeld 2009, Barcelona, Spain,
August 17, 2009},
pages = {49--54},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1592606.1592618},
doi = {10.1145/1592606.1592618},
timestamp = {Thu, 27 Apr 2023 08:33:19 +0200},
biburl = {https://dblp.org/rec/conf/sigcomm/RumbleSLMZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/ZeldovichBM08,
author = {Nickolai Zeldovich and
Silas Boyd{-}Wickizer and
David Mazi{\`{e}}res},
editor = {Jon Crowcroft and
Michael Dahlin},
title = {Securing Distributed Systems with Information Flow Control},
booktitle = {5th {USENIX} Symposium on Networked Systems Design {\&} Implementation,
{NSDI} 2008, April 16-18, 2008, San Francisco, CA, USA, Proceedings},
pages = {293--308},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/nsdi08/tech/full\_papers/zeldovich/zeldovich.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/ZeldovichBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/VandebogartEKKFZKMM07,
author = {Steve Vandebogart and
Petros Efstathopoulos and
Eddie Kohler and
Maxwell N. Krohn and
Cliff Frey and
David Ziegler and
M. Frans Kaashoek and
Robert Tappan Morris and
David Mazi{\`{e}}res},
title = {Labels and event processes in the Asbestos operating system},
journal = {{ACM} Trans. Comput. Syst.},
volume = {25},
number = {4},
pages = {11},
year = {2007},
url = {https://doi.org/10.1145/1314299.1314302},
doi = {10.1145/1314299.1314302},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/VandebogartEKKFZKMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/LiM07,
author = {Jinyuan Li and
David Mazi{\`{e}}res},
editor = {Hari Balakrishnan and
Peter Druschel},
title = {Beyond One-Third Faulty Replicas in Byzantine Fault Tolerant Systems},
booktitle = {4th Symposium on Networked Systems Design and Implementation {(NSDI}
2007), April 11-13, 2007, Cambridge, Massachusetts, USA, Proceedings},
publisher = {{USENIX}},
year = {2007},
url = {http://www.usenix.org/events/nsdi07/tech/li.html},
timestamp = {Tue, 02 Feb 2021 08:05:05 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/LiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/FreedmanSMS06,
author = {Michael J. Freedman and
Ion Stoica and
David Mazi{\`{e}}res and
Scott Shenker},
editor = {Emin G{\"{u}}n Sirer and
Ben Y. Zhao},
title = {Group Therapy for Systems: Using Link Attestations to Manage Failures},
booktitle = {5th International workshop on Peer-To-Peer Systems, {IPTPS} 2006,
Santa Barbara, CA, USA, February 27-28, 2006},
year = {2006},
url = {http://www.iptps.org/papers-2006/Freedman-lagroups06.pdf},
timestamp = {Thu, 14 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iptps/FreedmanSMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/FreedmanLM06,
author = {Michael J. Freedman and
Karthik Lakshminarayanan and
David Mazi{\`{e}}res},
editor = {Larry L. Peterson and
Timothy Roscoe},
title = {{OASIS:} Anycast for Any Service},
booktitle = {3rd Symposium on Networked Systems Design and Implementation {(NSDI}
2006), May 8-10, 2007, San Jose, California, USA, Proceedings},
publisher = {{USENIX}},
year = {2006},
url = {http://www.usenix.org/events/nsdi06/tech/freedman.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/FreedmanLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/GarrissKFKMY06,
author = {Scott Garriss and
Michael Kaminsky and
Michael J. Freedman and
Brad Karp and
David Mazi{\`{e}}res and
Haifeng Yu},
editor = {Larry L. Peterson and
Timothy Roscoe},
title = {{RE:} Reliable Email},
booktitle = {3rd Symposium on Networked Systems Design and Implementation {(NSDI}
2006), May 8-10, 2007, San Jose, California, USA, Proceedings},
publisher = {{USENIX}},
year = {2006},
url = {http://www.usenix.org/events/nsdi06/tech/garriss.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/GarrissKFKMY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/ZeldovichBKM06,
author = {Nickolai Zeldovich and
Silas Boyd{-}Wickizer and
Eddie Kohler and
David Mazi{\`{e}}res},
editor = {Brian N. Bershad and
Jeffrey C. Mogul},
title = {Making Information Flow Explicit in HiStar},
booktitle = {7th Symposium on Operating Systems Design and Implementation {(OSDI}
'06), November 6-8, Seattle, WA, {USA}},
pages = {263--278},
publisher = {{USENIX} Association},
year = {2006},
url = {http://www.usenix.org/events/osdi06/tech/zeldovich.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/ZeldovichBKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/KrohnEFKKMMOVZ05,
author = {Maxwell N. Krohn and
Petros Efstathopoulos and
Cliff Frey and
M. Frans Kaashoek and
Eddie Kohler and
David Mazi{\`{e}}res and
Robert Tappan Morris and
Michelle Osborne and
Steve Vandebogart and
David Ziegler},
title = {Make Least Privilege a Right (Not a Privilege)},
booktitle = {Proceedings of HotOS'05: 10th Workshop on Hot Topics in Operating
Systems, June 12-15, 2005, Santa Fe, New Mexico, {USA}},
publisher = {{USENIX} Association},
year = {2005},
url = {http://www.usenix.org/events/hotos05/final\_papers/full\_papers/krohn/krohn.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/KrohnEFKKMMOVZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/AnnapureddyFM05,
author = {Siddhartha Annapureddy and
Michael J. Freedman and
David Mazi{\`{e}}res},
editor = {Amin Vahdat and
David Wetherall},
title = {Shark: Scaling File Servers via Cooperative Caching},
booktitle = {2nd Symposium on Networked Systems Design and Implementation {(NSDI}
2005), May 2-4, 2005, Boston, Massachusetts, USA, Proceedings},
publisher = {{USENIX}},
year = {2005},
url = {http://www.usenix.org/events/nsdi05/tech/annapureddy.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/AnnapureddyFM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/EfstathopoulosKVFZKMKM05,
author = {Petros Efstathopoulos and
Maxwell N. Krohn and
Steve Vandebogart and
Cliff Frey and
David Ziegler and
Eddie Kohler and
David Mazi{\`{e}}res and
M. Frans Kaashoek and
Robert Tappan Morris},
editor = {Andrew Herbert and
Kenneth P. Birman},
title = {Labels and event processes in the Asbestos operating system},
booktitle = {Proceedings of the 20th {ACM} Symposium on Operating Systems Principles
2005, {SOSP} 2005, Brighton, UK, October 23-26, 2005},
pages = {17--30},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1095810.1095813},
doi = {10.1145/1095810.1095813},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/EfstathopoulosKVFZKMKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/NicolosiM04,
author = {Antonio Nicolosi and
David Mazi{\`{e}}res},
editor = {Geoffrey M. Voelker and
Scott Shenker},
title = {Secure Acknowledgment of Multicast Messages in Open Peer-to-Peer Networks},
booktitle = {Peer-to-Peer Systems III, Third International Workshop, {IPTPS} 2004,
La Jolla, CA, USA, February 26-27, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3279},
pages = {259--268},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30183-7\_25},
doi = {10.1007/978-3-540-30183-7\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iptps/NicolosiM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/FreedmanFM04,
author = {Michael J. Freedman and
Eric Freudenthal and
David Mazi{\`{e}}res},
editor = {Robert Tappan Morris and
Stefan Savage},
title = {Democratizing Content Publication with Coral},
booktitle = {1st Symposium on Networked Systems Design and Implementation {(NSDI}
2004), March 29-31, 2004, San Francisco, California, USA, Proceedings},
pages = {239--252},
publisher = {{USENIX}},
year = {2004},
url = {http://www.usenix.org/events/nsdi04/tech/freedman.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/FreedmanFM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/LiKMS04,
author = {Jinyuan Li and
Maxwell N. Krohn and
David Mazi{\`{e}}res and
Dennis E. Shasha},
editor = {Eric A. Brewer and
Peter Chen},
title = {Secure Untrusted Data Repository {(SUNDR)}},
booktitle = {6th Symposium on Operating System Design and Implementation {(OSDI}
2004), San Francisco, California, USA, December 6-8, 2004},
pages = {121--136},
publisher = {{USENIX} Association},
year = {2004},
url = {http://www.usenix.org/events/osdi04/tech/li\_j.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/LiKMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/KrohnFM04,
author = {Maxwell N. Krohn and
Michael J. Freedman and
David Mazi{\`{e}}res},
title = {On-the-Fly Verification of Rateless Erasure Codes for Efficient Content
Distribution},
booktitle = {2004 {IEEE} Symposium on Security and Privacy (S{\&}P 2004), 9-12
May 2004, Berkeley, CA, {USA}},
pages = {226--240},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/SECPRI.2004.1301326},
doi = {10.1109/SECPRI.2004.1301326},
timestamp = {Thu, 21 Sep 2023 15:57:30 +0200},
biburl = {https://dblp.org/rec/conf/sp/KrohnFM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/KaminskyPGFMK04,
author = {Michael Kaminsky and
Eric Peterson and
Daniel B. Giffin and
Kevin Fu and
David Mazi{\`{e}}res and
M. Frans Kaashoek},
title = {{REX:} Secure, Extensible Remote Execution},
booktitle = {Proceedings of the General Track: 2004 {USENIX} Annual Technical Conference,
June 27 - July 2, 2004, Boston Marriott Copley Place, Boston, MA,
{USA}},
pages = {199--212},
publisher = {{USENIX}},
year = {2004},
url = {http://www.usenix.org/publications/library/proceedings/usenix04/tech/general/kaminsky.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/KaminskyPGFMK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/FreedmanM03,
author = {Michael J. Freedman and
David Mazi{\`{e}}res},
editor = {M. Frans Kaashoek and
Ion Stoica},
title = {Sloppy Hashing and Self-Organizing Clusters},
booktitle = {Peer-to-Peer Systems II, Second International Workshop, {IPTPS} 2003,
Berkeley, CA, USA, February 21-22,2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2735},
pages = {45--55},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45172-3\_4},
doi = {10.1007/978-3-540-45172-3\_4},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iptps/FreedmanM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/MaymounkovM03,
author = {Petar Maymounkov and
David Mazi{\`{e}}res},
editor = {M. Frans Kaashoek and
Ion Stoica},
title = {Rateless Codes and Big Downloads},
booktitle = {Peer-to-Peer Systems II, Second International Workshop, {IPTPS} 2003,
Berkeley, CA, USA, February 21-22,2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2735},
pages = {247--255},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45172-3\_23},
doi = {10.1007/978-3-540-45172-3\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iptps/MaymounkovM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/NicolosiKDM03,
author = {Antonio Nicolosi and
Maxwell N. Krohn and
Yevgeniy Dodis and
David Mazi{\`{e}}res},
title = {Proactive Two-Party Signatures for User Authentication},
booktitle = {Proceedings of the Network and Distributed System Security Symposium,
{NDSS} 2003, San Diego, California, {USA}},
publisher = {The Internet Society},
year = {2003},
url = {https://www.ndss-symposium.org/ndss2003/proactive-two-party-signatures-user-authentication/},
timestamp = {Mon, 01 Feb 2021 08:42:24 +0100},
biburl = {https://dblp.org/rec/conf/ndss/NicolosiKDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KaminskySMK03,
author = {Michael Kaminsky and
George Savvides and
David Mazi{\`{e}}res and
M. Frans Kaashoek},
editor = {Michael L. Scott and
Larry L. Peterson},
title = {Decentralized user authentication in a global file system},
booktitle = {Proceedings of the 19th {ACM} Symposium on Operating Systems Principles
2003, {SOSP} 2003, Bolton Landing, NY, USA, October 19-22, 2003},
pages = {60--73},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/945445.945452},
doi = {10.1145/945445.945452},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KaminskySMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/ZeldovichYDMMK03,
author = {Nickolai Zeldovich and
Alexander Yip and
Frank Dabek and
Robert Tappan Morris and
David Mazi{\`{e}}res and
M. Frans Kaashoek},
title = {Multiprocessor Support for Event-Driven Programs},
booktitle = {Proceedings of the General Track: 2003 {USENIX} Annual Technical Conference,
June 9-14, 2003, San Antonio, Texas, {USA}},
pages = {239--252},
publisher = {{USENIX}},
year = {2003},
url = {http://www.usenix.org/events/usenix03/tech/zeldovich.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/ZeldovichYDMMK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/FuKM02,
author = {Kevin Fu and
M. Frans Kaashoek and
David Mazi{\`{e}}res},
title = {Fast and secure distributed read-only file system},
journal = {{ACM} Trans. Comput. Syst.},
volume = {20},
number = {1},
pages = {1--24},
year = {2002},
url = {https://doi.org/10.1145/505452.505453},
doi = {10.1145/505452.505453},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/FuKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/usenix-login/FuKM02,
author = {Kevin Fu and
Michael Kaminsky and
David Mazi{\`{e}}res},
title = {Using {SFS} for a Secure Network File System},
journal = {login Usenix Mag.},
volume = {27},
number = {6},
year = {2002},
url = {https://www.usenix.org/publications/login/december-2002-volume-27-number-6/using-sfs-secure-network-file-system},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/usenix-login/FuKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/MaymounkovM02,
author = {Petar Maymounkov and
David Mazi{\`{e}}res},
editor = {Peter Druschel and
M. Frans Kaashoek and
Antony I. T. Rowstron},
title = {Kademlia: {A} Peer-to-Peer Information System Based on the {XOR} Metric},
booktitle = {Peer-to-Peer Systems, First International Workshop, {IPTPS} 2002,
Cambridge, MA, USA, March 7-8, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2429},
pages = {53--65},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45748-8\_5},
doi = {10.1007/3-540-45748-8\_5},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iptps/MaymounkovM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MazieresS02,
author = {David Mazi{\`{e}}res and
Dennis E. Shasha},
editor = {Aleta Ricciardi},
title = {Building secure file systems out of Byzantine storage},
booktitle = {Proceedings of the Twenty-First Annual {ACM} Symposium on Principles
of Distributed Computing, {PODC} 2002, Monterey, California, USA,
July 21-24, 2002},
pages = {108--117},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/571825.571840},
doi = {10.1145/571825.571840},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/podc/MazieresS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/DabekZKMM02,
author = {Frank Dabek and
Nickolai Zeldovich and
M. Frans Kaashoek and
David Mazi{\`{e}}res and
Robert Tappan Morris},
editor = {Gilles Muller and
Eric Jul},
title = {Event-driven programming for robust software},
booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
France, July 1, 2002},
pages = {186--189},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1133373.1133410},
doi = {10.1145/1133373.1133410},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/DabekZKMM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/WaldmanM01,
author = {Marc Waldman and
David Mazi{\`{e}}res},
editor = {Michael K. Reiter and
Pierangela Samarati},
title = {Tangler: a censorship-resistant publishing system based on document
entanglements},
booktitle = {{CCS} 2001, Proceedings of the 8th {ACM} Conference on Computer and
Communications Security, Philadelphia, Pennsylvania, USA, November
6-8, 2001},
pages = {126--135},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/501983.502002},
doi = {10.1145/501983.502002},
timestamp = {Tue, 10 Nov 2020 20:00:35 +0100},
biburl = {https://dblp.org/rec/conf/ccs/WaldmanM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/MazieresS01,
author = {David Mazi{\`{e}}res and
Dennis E. Shasha},
title = {Don't Trust your File Server},
booktitle = {Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating
Systems, May 20-23, 2001, Elmau/Oberbayern, Germany},
pages = {113--118},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HOTOS.2001.990070},
doi = {10.1109/HOTOS.2001.990070},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/MazieresS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/WaldmanM01,
author = {Marc Waldman and
David Mazi{\`{e}}res},
title = {Censorship Resistant Publishing Through Document Entanglements},
booktitle = {Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating
Systems, May 20-23, 2001, Elmau/Oberbayern, Germany},
pages = {185},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HOTOS.2001.990101},
doi = {10.1109/HOTOS.2001.990101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/WaldmanM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/MuthitacharoenCM01,
author = {Athicha Muthitacharoen and
Benjie Chen and
David Mazi{\`{e}}res},
editor = {Keith Marzullo and
Mahadev Satyanarayanan},
title = {A Low-Bandwidth Network File System},
booktitle = {Proceedings of the 18th {ACM} Symposium on Operating System Principles,
{SOSP} 2001, Chateau Lake Louise, Banff, Alberta, Canada, October
21-24, 2001},
pages = {174--187},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/502034.502052},
doi = {10.1145/502034.502052},
timestamp = {Thu, 11 Jul 2019 14:55:12 +0200},
biburl = {https://dblp.org/rec/conf/sosp/MuthitacharoenCM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/Mazieres01,
author = {David Mazi{\`{e}}res},
editor = {Yoonho Park},
title = {A Toolkit for User-Level File Systems},
booktitle = {Proceedings of the General Track: 2001 {USENIX} Annual Technical Conference,
June 25-30, 2001, Boston, Massachusetts, {USA}},
pages = {261--274},
publisher = {{USENIX}},
year = {2001},
url = {http://www.usenix.org/publications/library/proceedings/usenix01/mazieres.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/Mazieres01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ndltd/Mazieres00,
author = {David Mazi{\`{e}}res},
title = {Self-certifying file system},
school = {Massachusetts Institute of Technology, Cambridge, MA, {USA}},
year = {2000},
url = {https://hdl.handle.net/1721.1/86610},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ndltd/Mazieres00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/FuKM00,
author = {Kevin Fu and
M. Frans Kaashoek and
David Mazi{\`{e}}res},
editor = {Michael B. Jones and
M. Frans Kaashoek},
title = {Fast and Secure Distributed Read-Only File System},
booktitle = {4th Symposium on Operating System Design and Implementation {(OSDI}
2000), San Diego, California, USA, October 23-25, 2000},
pages = {181--196},
publisher = {{USENIX} Association},
year = {2000},
url = {http://dl.acm.org/citation.cfm?id=1251242},
timestamp = {Wed, 04 Jul 2018 13:06:35 +0200},
biburl = {https://dblp.org/rec/conf/osdi/FuKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/MazieresKKW99,
author = {David Mazi{\`{e}}res and
Michael Kaminsky and
M. Frans Kaashoek and
Emmett Witchel},
editor = {David Kotz and
John Wilkes},
title = {Separating key management from file system security},
booktitle = {Proceedings of the 17th {ACM} Symposium on Operating System Principles,
{SOSP} 1999, Kiawah Island Resort, near Charleston, South Carolina,
USA, December 12-15, 1999},
pages = {124--139},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/319151.319160},
doi = {10.1145/319151.319160},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/MazieresKKW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/ProvosM99,
author = {Niels Provos and
David Mazi{\`{e}}res},
title = {A Future-Adaptable Password Scheme},
booktitle = {Proceedings of the {FREENIX} Track: 1999 {USENIX} Annual Technical
Conference, June 6-11, 1999, Monterey, California, {USA}},
pages = {81--91},
publisher = {{USENIX}},
year = {1999},
url = {http://www.usenix.org/events/usenix99/provos.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/ProvosM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/MazieresK98,
author = {David Mazi{\`{e}}res and
M. Frans Kaashoek},
editor = {Li Gong and
Michael K. Reiter},
title = {The Design, Implementation and Operation of an Email Pseudonym Server},
booktitle = {{CCS} '98, Proceedings of the 5th {ACM} Conference on Computer and
Communications Security, San Francisco, CA, USA, November 3-5, 1998},
pages = {27--36},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/288090.288098},
doi = {10.1145/288090.288098},
timestamp = {Tue, 10 Nov 2020 20:00:11 +0100},
biburl = {https://dblp.org/rec/conf/ccs/MazieresK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/MazieresK98,
author = {David Mazi{\`{e}}res and
M. Frans Kaashoek},
editor = {Paulo Guedes and
Jean Bacon},
title = {Escaping the evils of centralized control with self-certifying pathnames},
booktitle = {Proceedings of the 8th {ACM} {SIGOPS} European Workshop: Support for
Composing Distributed Applications, Sintra, Portugal, 7-10 September
1998},
pages = {118--125},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/319195.319213},
doi = {10.1145/319195.319213},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/MazieresK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/MazieresK97,
author = {David Mazi{\`{e}}res and
M. Frans Kaashoek},
title = {Secure Applications Need Flexible Operating Systems},
booktitle = {Proceedings of The Sixth Workshop on Hot Topics in Operating Systems,
HotOS-VI, Cape Cod, Massachusetts, USA, May 5-6, 1997},
pages = {56--61},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/HOTOS.1997.595183},
doi = {10.1109/HOTOS.1997.595183},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/MazieresK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/KaashoekEGBHMPGM97,
author = {M. Frans Kaashoek and
Dawson R. Engler and
Gregory R. Ganger and
H{\'{e}}ctor M. Brice{\~{n}}o and
Russell Hunt and
David Mazi{\`{e}}res and
Thomas Pinckney and
Robert Grimm and
John Jannotti and
Kenneth Mackenzie},
editor = {Michel Ban{\^{a}}tre and
Henry M. Levy and
William M. Waite},
title = {Application Performance and Flexibility on Exokernel Systems},
booktitle = {Proceedings of the Sixteenth {ACM} Symposium on Operating System Principles,
{SOSP} 1997, St. Malo, France, October 5-8, 1997},
pages = {52--65},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/268998.266644},
doi = {10.1145/268998.266644},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/KaashoekEGBHMPGM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/ChenECMDSS96,
author = {J. Bradley Chen and
Yasuhiro Endo and
Kee Chan and
David Mazi{\`{e}}res and
Antonio Dias and
Margo I. Seltzer and
Michael D. Smith},
title = {The Measured Performance of Personal Computer Operating Systems},
journal = {{ACM} Trans. Comput. Syst.},
volume = {14},
number = {1},
pages = {3--40},
year = {1996},
url = {https://doi.org/10.1145/225535.225536},
doi = {10.1145/225535.225536},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/ChenECMDSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/ChenECMDSS95,
author = {J. Bradley Chen and
Yasuhiro Endo and
Kee Chan and
David Mazi{\`{e}}res and
Antonio Dias and
Margo I. Seltzer and
Michael D. Smith},
editor = {Michael B. Jones},
title = {The Measured Performance of Personal Computer Operating Systems},
booktitle = {Proceedings of the Fifteenth {ACM} Symposium on Operating System Principles,
{SOSP} 1995, Copper Mountain Resort, Colorado, USA, December 3-6,
1995},
pages = {299--313},
publisher = {{ACM}},
year = {1995},
url = {https://doi.org/10.1145/224056.224079},
doi = {10.1145/224056.224079},
timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
biburl = {https://dblp.org/rec/conf/sosp/ChenECMDSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-20 23:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
