default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manuel Costa
@article{DBLP:journals/cacm/DelignatLavaudFVCRCR24,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Kapil Vaswani and
Sylvan Clebsch and
Maik Riechert and
Manuel Costa and
Mark Russinovich},
title = {Why Should {I} Trust Your Code?},
journal = {Commun. {ACM}},
volume = {67},
number = {1},
pages = {68--76},
year = {2024},
url = {https://doi.org/10.1145/3624578},
doi = {10.1145/3624578},
timestamp = {Sun, 28 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/DelignatLavaudFVCRCR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/JohnsonVGAWCSC24,
author = {Matthew A. Johnson and
Stavros Volos and
Ken Gordon and
Sean T. Allen and
Christoph M. Wintersteiger and
Sylvan Clebsch and
John Starks and
Manuel Costa},
title = {Confidential Container Groups: Implementing confidential computing
on Azure container instances},
journal = {{ACM} Queue},
volume = {22},
number = {2},
year = {2024},
url = {https://doi.org/10.1145/3664293},
doi = {10.1145/3664293},
timestamp = {Tue, 10 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/JohnsonVGAWCSC24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pvldb/HowardAACCCDFJK23,
author = {Heidi Howard and
Fritz Alder and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Manuel Costa and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Andrew Jeffery and
Matthew Kerner and
Fotios Kounelis and
Markus A. Kuppe and
Julien Maffre and
Mark Russinovich and
Christoph M. Wintersteiger},
title = {Confidential Consortium Framework: Secure Multiparty Applications
with Confidentiality, Integrity, and High Availability},
journal = {Proc. {VLDB} Endow.},
volume = {17},
number = {2},
pages = {225--240},
year = {2023},
url = {https://www.vldb.org/pvldb/vol17/p225-howard.pdf},
timestamp = {Fri, 08 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pvldb/HowardAACCCDFJK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/DelignatLavaudFVCRCR23,
author = {Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Kapil Vaswani and
Sylvan Clebsch and
Maik Riechert and
Manuel Costa and
Mark Russinovich},
title = {Why Should {I} Trust Your Code?: Confidential computing enables users
to authenticate code running in TEEs, but users also need evidence
this code is trustworthy},
journal = {{ACM} Queue},
volume = {21},
number = {4},
pages = {94--122},
year = {2023},
url = {https://doi.org/10.1145/3623460},
doi = {10.1145/3623460},
timestamp = {Thu, 26 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/DelignatLavaudFVCRCR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2302-03976,
author = {Matthew A. Johnson and
Stavros Volos and
Ken Gordon and
Sean T. Allen and
Christoph M. Wintersteiger and
Sylvan Clebsch and
John Starks and
Manuel Costa},
title = {{COCOAEXPO:} Confidential Containers via Attested Execution Policies},
journal = {CoRR},
volume = {abs/2302.03976},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2302.03976},
doi = {10.48550/ARXIV.2302.03976},
eprinttype = {arXiv},
eprint = {2302.03976},
timestamp = {Tue, 10 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2302-03976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-11559,
author = {Heidi Howard and
Fritz Alder and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Manuel Costa and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Andrew Jeffery and
Matthew Kerner and
Fotios Kounelis and
Markus A. Kuppe and
Julien Maffre and
Mark Russinovich and
Christoph M. Wintersteiger},
title = {Confidential Consortium Framework: Secure Multiparty Applications
with Confidentiality, Integrity, and High Availability},
journal = {CoRR},
volume = {abs/2310.11559},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.11559},
doi = {10.48550/ARXIV.2310.11559},
eprinttype = {arXiv},
eprint = {2310.11559},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-11559.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/ShamisPC0FACCDK22,
author = {Alex Shamis and
Peter R. Pietzuch and
Burcu Canakci and
Miguel Castro and
C{\'{e}}dric Fournet and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Antoine Delignat{-}Lavaud and
Matthew Kerner and
Julien Maffre and
Olga Vrousgou and
Christoph M. Wintersteiger and
Manuel Costa and
Mark Russinovich},
editor = {Amar Phanishayee and
Vyas Sekar},
title = {{IA-CCF:} Individual Accountability for Permissioned Ledgers},
booktitle = {19th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 2022, Renton, WA, USA, April 4-6, 2022},
pages = {467--491},
publisher = {{USENIX} Association},
year = {2022},
url = {https://www.usenix.org/conference/nsdi22/presentation/shamis},
timestamp = {Wed, 06 Jul 2022 16:57:28 +0200},
biburl = {https://dblp.org/rec/conf/nsdi/ShamisPC0FACCDK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15757,
author = {Alex Shamis and
Peter R. Pietzuch and
Antoine Delignat{-}Lavaud and
Andrew Paverd and
Manuel Costa},
title = {Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine
Model Agreement},
journal = {CoRR},
volume = {abs/2205.15757},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15757},
doi = {10.48550/ARXIV.2205.15757},
eprinttype = {arXiv},
eprint = {2205.15757},
timestamp = {Wed, 06 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15757.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/RussinovichCFCD21,
author = {Mark Russinovich and
Manuel Costa and
C{\'{e}}dric Fournet and
David Chisnall and
Antoine Delignat{-}Lavaud and
Sylvan Clebsch and
Kapil Vaswani and
Vikas Bhatia},
title = {Toward confidential cloud computing},
journal = {Commun. {ACM}},
volume = {64},
number = {6},
pages = {54--61},
year = {2021},
url = {https://doi.org/10.1145/3453930},
doi = {10.1145/3453930},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cacm/RussinovichCFCD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/queue/RussinovichCFCD21,
author = {Mark Russinovich and
Manuel Costa and
C{\'{e}}dric Fournet and
David Chisnall and
Antoine Delignat{-}Lavaud and
Sylvan Clebsch and
Kapil Vaswani and
Vikas Bhatia},
title = {Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic
protection to data while in use},
journal = {{ACM} Queue},
volume = {19},
number = {1},
pages = {49--76},
year = {2021},
url = {https://doi.org/10.1145/3454122.3456125},
doi = {10.1145/3454122.3456125},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/queue/RussinovichCFCD21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mmsys/EnglandMHSFBCCC21,
author = {Paul England and
Henrique S. Malvar and
Eric Horvitz and
Jack W. Stokes and
C{\'{e}}dric Fournet and
Rebecca Burke{-}Aguero and
Amaury Chamayou and
Sylvan Clebsch and
Manuel Costa and
John Deutscher and
Shabnam Erfani and
Matt Gaylor and
Andrew Jenks and
Kevin Kane and
Elissa M. Redmiles and
Alex Shamis and
Isha Sharma and
John C. Simmons and
Sam Wenker and
Anika Zaman},
editor = {{\"{O}}zg{\"{u}} Alay and
Cheng{-}Hsin Hsu and
Ali C. Begen},
title = {{AMP:} authentication of media via provenance},
booktitle = {MMSys '21: 12th {ACM} Multimedia Systems Conference, Istanbul, Turkey,
28 September 2021 - 1 October 2021},
pages = {108--121},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3458305.3459599},
doi = {10.1145/3458305.3459599},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mmsys/EnglandMHSFBCCC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-13116,
author = {Alex Shamis and
Peter R. Pietzuch and
Miguel Castro and
Edward Ashton and
Amaury Chamayou and
Sylvan Clebsch and
Antoine Delignat{-}Lavaud and
C{\'{e}}dric Fournet and
Matthew Kerner and
Julien Maffre and
Manuel Costa and
Mark Russinovich},
title = {{PAC:} Practical Accountability for {CCF}},
journal = {CoRR},
volume = {abs/2105.13116},
year = {2021},
url = {https://arxiv.org/abs/2105.13116},
eprinttype = {arXiv},
eprint = {2105.13116},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-13116.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07886,
author = {Paul England and
Henrique S. Malvar and
Eric Horvitz and
Jack W. Stokes and
C{\'{e}}dric Fournet and
Amaury Chamayou and
Sylvan Clebsch and
Manuel Costa and
Shabnam Erfani and
Kevin Kane and
Alex Shamis},
title = {{AMP:} Authentication of Media via Provenance},
journal = {CoRR},
volume = {abs/2001.07886},
year = {2020},
url = {https://arxiv.org/abs/2001.07886},
eprinttype = {arXiv},
eprint = {2001.07886},
timestamp = {Fri, 24 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07886.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/PriebeVC18,
author = {Christian Priebe and
Kapil Vaswani and
Manuel Costa},
title = {EnclaveDB: {A} Secure Database Using {SGX}},
booktitle = {2018 {IEEE} Symposium on Security and Privacy, {SP} 2018, Proceedings,
21-23 May 2018, San Francisco, California, {USA}},
pages = {264--278},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/SP.2018.00025},
doi = {10.1109/SP.2018.00025},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/PriebeVC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacic/RabideauCGNC17,
author = {Gregg R. Rabideau and
Steve A. Chien and
M. Galer and
Federico Nespoli and
Manuel Costa},
title = {Managing Spacecraft Memory Buffers with Concurrent Data Collection
and Downlink},
journal = {J. Aerosp. Inf. Syst.},
volume = {14},
number = {12},
pages = {637--651},
year = {2017},
url = {https://doi.org/10.2514/1.I010544},
doi = {10.2514/1.I010544},
timestamp = {Tue, 01 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jacic/RabideauCGNC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ParkinsonVVCDMB17,
author = {Matthew J. Parkinson and
Dimitrios Vytiniotis and
Kapil Vaswani and
Manuel Costa and
Pantazis Deligiannis and
Dylan McDermott and
Aaron Blankstein and
Jonathan Balkind},
title = {Project snowflake: non-blocking safe manual memory management in .NET},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {95:1--95:25},
year = {2017},
url = {https://doi.org/10.1145/3141879},
doi = {10.1145/3141879},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ParkinsonVVCDMB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KediaCPVVB17,
author = {Piyus Kedia and
Manuel Costa and
Matthew J. Parkinson and
Kapil Vaswani and
Dimitrios Vytiniotis and
Aaron Blankstein},
editor = {Albert Cohen and
Martin T. Vechev},
title = {Simple, fast, and safe manual memory management},
booktitle = {Proceedings of the 38th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2017, Barcelona, Spain,
June 18-23, 2017},
pages = {233--247},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3062341.3062376},
doi = {10.1145/3062341.3062376},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KediaCPVVB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/GrussLSOHC17,
author = {Daniel Gruss and
Julian Lettner and
Felix Schuster and
Olga Ohrimenko and
Istv{\'{a}}n Haller and
Manuel Costa},
editor = {Engin Kirda and
Thomas Ristenpart},
title = {Strong and Efficient Cache Side-Channel Protection using Hardware
Transactional Memory},
booktitle = {26th {USENIX} Security Symposium, {USENIX} Security 2017, Vancouver,
BC, Canada, August 16-18, 2017},
pages = {217--233},
publisher = {{USENIX} Association},
year = {2017},
url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/gruss},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uss/GrussLSOHC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-07882,
author = {Manuel Costa and
Lawrence Esswood and
Olga Ohrimenko and
Felix Schuster and
Sameer Wagh},
title = {The Pyramid Scheme: Oblivious {RAM} for Trusted Processors},
journal = {CoRR},
volume = {abs/1712.07882},
year = {2017},
url = {http://arxiv.org/abs/1712.07882},
eprinttype = {arXiv},
eprint = {1712.07882},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-07882.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0001CLLRSV16,
author = {Rohit Sinha and
Manuel Costa and
Akash Lal and
Nuno P. Lopes and
Sriram K. Rajamani and
Sanjit A. Seshia and
Kapil Vaswani},
editor = {Chandra Krintz and
Emery D. Berger},
title = {A design and verification methodology for secure isolated regions},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {665--681},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908113},
doi = {10.1145/2908080.2908113},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0001CLLRSV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/OhrimenkoSFMNVC16,
author = {Olga Ohrimenko and
Felix Schuster and
C{\'{e}}dric Fournet and
Aastha Mehta and
Sebastian Nowozin and
Kapil Vaswani and
Manuel Costa},
editor = {Thorsten Holz and
Stefan Savage},
title = {Oblivious Multi-Party Machine Learning on Trusted Processors},
booktitle = {25th {USENIX} Security Symposium, {USENIX} Security 16, Austin, TX,
USA, August 10-12, 2016},
pages = {619--636},
publisher = {{USENIX} Association},
year = {2016},
url = {https://www.usenix.org/conference/usenixsecurity16/technical-sessions/presentation/ohrimenko},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/uss/OhrimenkoSFMNVC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/OhrimenkoCFGKS15,
author = {Olga Ohrimenko and
Manuel Costa and
C{\'{e}}dric Fournet and
Christos Gkantsidis and
Markulf Kohlweiss and
Divya Sharma},
editor = {Indrajit Ray and
Ninghui Li and
Christopher Kruegel},
title = {Observing and Preventing Leakage in MapReduce},
booktitle = {Proceedings of the 22nd {ACM} {SIGSAC} Conference on Computer and
Communications Security, Denver, CO, USA, October 12-16, 2015},
pages = {1570--1581},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2810103.2813695},
doi = {10.1145/2810103.2813695},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/OhrimenkoCFGKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/GogGSVVRCMHI15,
author = {Ionel Gog and
Jana Giceva and
Malte Schwarzkopf and
Kapil Vaswani and
Dimitrios Vytiniotis and
Ganesan Ramalingam and
Manuel Costa and
Derek Gordon Murray and
Steven Hand and
Michael Isard},
editor = {George Candea},
title = {Broom: Sweeping Out Garbage Collection from Big Data Systems},
booktitle = {15th Workshop on Hot Topics in Operating Systems, HotOS XV, Kartause
Ittingen, Switzerland, May 18-20, 2015},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/hotos15/workshop-program/presentation/gog},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/GogGSVVRCMHI15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/SchusterCFGPMR15,
author = {Felix Schuster and
Manuel Costa and
C{\'{e}}dric Fournet and
Christos Gkantsidis and
Marcus Peinado and
Gloria Mainar{-}Ruiz and
Mark Russinovich},
title = {{VC3:} Trustworthy Data Analytics in the Cloud Using {SGX}},
booktitle = {2015 {IEEE} Symposium on Security and Privacy, {SP} 2015, San Jose,
CA, USA, May 17-21, 2015},
pages = {38--54},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SP.2015.10},
doi = {10.1109/SP.2015.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/SchusterCFGPMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/KuchtaCCC14,
author = {Tomasz Kuchta and
Cristian Cadar and
Miguel Castro and
Manuel Costa},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Docovery: toward generic automatic document recovery},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {563--574},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2643004},
doi = {10.1145/2642937.2643004},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kbse/KuchtaCCC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MartinHCAC10,
author = {Jean{-}Phillipe Martin and
Michael Hicks and
Manuel Costa and
Periklis Akritidis and
Miguel Castro},
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Dynamically checking ownership policies in concurrent c/c++ programs},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
pages = {457--470},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299.1706351},
doi = {10.1145/1706299.1706351},
timestamp = {Tue, 22 Jun 2021 17:10:57 +0200},
biburl = {https://dblp.org/rec/conf/popl/MartinHCAC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosec/2010,
editor = {Manuel Costa and
Engin Kirda},
title = {Proceedings of the Third European Workshop on System Security, {EUROSEC}
2010, Paris, France, April 13, 2010},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-4503-0059-9},
timestamp = {Tue, 13 Apr 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosec/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CastroCMPADBB09,
author = {Miguel Castro and
Manuel Costa and
Jean{-}Philippe Martin and
Marcus Peinado and
Periklis Akritidis and
Austin Donnelly and
Paul Barham and
Richard Black},
editor = {Jeanna Neefe Matthews and
Thomas E. Anderson},
title = {Fast byte-granularity software fault isolation},
booktitle = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
pages = {45--58},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629575.1629581},
doi = {10.1145/1629575.1629581},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/CastroCMPADBB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/AkritidisCCH09,
author = {Periklis Akritidis and
Manuel Costa and
Miguel Castro and
Steven Hand},
editor = {Fabian Monrose},
title = {Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense
against Out-of-Bounds Errors},
booktitle = {18th {USENIX} Security Symposium, Montreal, Canada, August 10-14,
2009, Proceedings},
pages = {51--66},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/sec09/tech/full\_papers/akritidis.pdf},
timestamp = {Tue, 20 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/uss/AkritidisCCH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosec/2009,
editor = {Evangelos P. Markatos and
Manuel Costa},
title = {Proceedings of the Second European Workshop on System Security, {EUROSEC}
2009, Nuremburg, Germany, March 31, 2009},
publisher = {{ACM}},
year = {2009},
isbn = {978-1-60558-472-0},
timestamp = {Tue, 13 Apr 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurosec/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/CostaCCRZZB08,
author = {Manuel Costa and
Jon Crowcroft and
Miguel Castro and
Antony I. T. Rowstron and
Lidong Zhou and
Lintao Zhang and
Paul Barham},
title = {Vigilante: End-to-end containment of Internet worm epidemics},
journal = {{ACM} Trans. Comput. Syst.},
volume = {26},
number = {4},
pages = {9:1--9:68},
year = {2008},
url = {https://doi.org/10.1145/1455258.1455259},
doi = {10.1145/1455258.1455259},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/CostaCCRZZB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/CastroCM08,
author = {Miguel Castro and
Manuel Costa and
Jean{-}Philippe Martin},
editor = {Susan J. Eggers and
James R. Larus},
title = {Better bug reporting with better privacy},
booktitle = {Proceedings of the 13th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2008, Seattle, WA, USA, March 1-5, 2008},
pages = {319--328},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1346281.1346322},
doi = {10.1145/1346281.1346322},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/CastroCM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/AkritidisCRCC08,
author = {Periklis Akritidis and
Cristian Cadar and
Costin Raiciu and
Manuel Costa and
Miguel Castro},
title = {Preventing Memory Error Exploits with {WIT}},
booktitle = {2008 {IEEE} Symposium on Security and Privacy {(SP} 2008), 18-21 May
2008, Oakland, California, {USA}},
pages = {263--277},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SP.2008.30},
doi = {10.1109/SP.2008.30},
timestamp = {Thu, 21 Sep 2023 16:14:16 +0200},
biburl = {https://dblp.org/rec/conf/sp/AkritidisCRCC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Costa07,
author = {Manuel Costa},
title = {End-to-end containment of internet worm epidemics},
school = {University of Cambridge, {UK}},
year = {2007},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.598013},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Costa07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CostaCZZP07,
author = {Manuel Costa and
Miguel Castro and
Lidong Zhou and
Lintao Zhang and
Marcus Peinado},
editor = {Thomas C. Bressoud and
M. Frans Kaashoek},
title = {Bouncer: securing software by blocking bad input},
booktitle = {Proceedings of the 21st {ACM} Symposium on Operating Systems Principles
2007, {SOSP} 2007, Stevenson, Washington, USA, October 14-17, 2007},
pages = {117--130},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294261.1294274},
doi = {10.1145/1294261.1294274},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CostaCZZP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/CastroCH06,
author = {Miguel Castro and
Manuel Costa and
Tim Harris},
editor = {Brian N. Bershad and
Jeffrey C. Mogul},
title = {Securing Software by Enforcing Data-flow Integrity},
booktitle = {7th Symposium on Operating Systems Design and Implementation {(OSDI}
'06), November 6-8, Seattle, WA, {USA}},
pages = {147--160},
publisher = {{USENIX} Association},
year = {2006},
url = {http://www.usenix.org/events/osdi06/tech/castro.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/CastroCH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptps/ZhouZMICC05,
author = {Lidong Zhou and
Lintao Zhang and
Frank McSherry and
Nicole Immorlica and
Manuel Costa and
Steve Chien},
editor = {Miguel Castro and
Robbert van Renesse},
title = {A First Look at Peer-to-Peer Worms: Threats and Defenses},
booktitle = {Peer-to-Peer Systems IV, 4th International Workshop, {IPTPS} 2005,
Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3640},
pages = {24--35},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11558989\_3},
doi = {10.1007/11558989\_3},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/iptps/ZhouZMICC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/CastroCR05,
author = {Miguel Castro and
Manuel Costa and
Antony I. T. Rowstron},
editor = {Amin Vahdat and
David Wetherall},
title = {Debunking Some Myths About Structured and Unstructured Overlays},
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/castro.html},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/CastroCR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/siggraph/PedrosaPCCCNPCE05,
author = {Tiago de Sousa Pedrosa and
{\^{A}}gela Guimar{\~{a}}es Pereira and
Nuno Cardoso and
Manuel Costa and
Tiago Carita and
Edmundo Nobre and
Pedro Pedrosa and
Nuno Capeta and
S{\'{e}}rgio Est{\^{e}}v{\~{a}}o},
editor = {Patricia Beckmann{-}Wells},
title = {3D environments as social learning tools: the VIRTU@LIS experience},
booktitle = {International Conference on Computer Graphics and Interactive Techniques,
{SIGGRAPH} 2005, Los Angeles, California, USA, July 31 - August 4,
2005, Educators Program},
pages = {1},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1187358.1187360},
doi = {10.1145/1187358.1187360},
timestamp = {Fri, 12 Mar 2021 11:32:12 +0100},
biburl = {https://dblp.org/rec/conf/siggraph/PedrosaPCCCNPCE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CostaCCRZZB05,
author = {Manuel Costa and
Jon Crowcroft and
Miguel Castro and
Antony I. T. Rowstron and
Lidong Zhou and
Lintao Zhang and
Paul Barham},
editor = {Andrew Herbert and
Kenneth P. Birman},
title = {Vigilante: end-to-end containment of internet worms},
booktitle = {Proceedings of the 20th {ACM} Symposium on Operating Systems Principles
2005, {SOSP} 2005, Brighton, UK, October 23-26, 2005},
pages = {133--147},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1095810.1095824},
doi = {10.1145/1095810.1095824},
timestamp = {Thu, 07 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CostaCCRZZB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ccr/CastroCR04,
author = {Miguel Castro and
Manuel Costa and
Antony I. T. Rowstron},
title = {Should we build Gnutella on a structured overlay?},
journal = {Comput. Commun. Rev.},
volume = {34},
number = {1},
pages = {131--136},
year = {2004},
url = {https://doi.org/10.1145/972374.972397},
doi = {10.1145/972374.972397},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ccr/CastroCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/CastroCR04,
author = {Miguel Castro and
Manuel Costa and
Antony I. T. Rowstron},
title = {Performance and Dependability of Structured Peer-to-Peer Overlays},
booktitle = {2004 International Conference on Dependable Systems and Networks {(DSN}
2004), 28 June - 1 July 2004, Florence, Italy, Proceedings},
pages = {9--18},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/DSN.2004.1311872},
doi = {10.1109/DSN.2004.1311872},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/CastroCR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/CostaCRK04,
author = {Manuel Costa and
Miguel Castro and
Antony I. T. Rowstron and
Peter B. Key},
title = {{PIC:} Practical Internet Coordinates for Distance Estimation},
booktitle = {24th International Conference on Distributed Computing Systems {(ICDCS}
2004), 24-26 March 2004, Hachioji, Tokyo, Japan},
pages = {178--187},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICDCS.2004.1281582},
doi = {10.1109/ICDCS.2004.1281582},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/CostaCRK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurographics/DanadoDRCT0ADRP03,
author = {Jos{\'{e}} Danado and
A. Eduardo Dias and
Teresa Rom{\~{a}}o and
Nuno Correia and
Adelaide Trabuco and
Carlos Santos and
David Ara{\'{u}}jo and
Pedro Duarte and
Rui Rebocho and
Jos{\'{e}} Palmeiro and
Jo{\~{a}}o Serpa and
Manuel Costa and
Ant{\'{o}}nio S. C{\^{a}}mara},
editor = {Miguel Chover and
Hans Hagen and
Daniela Tost},
title = {Mobile Augmented Reality for Environmental Management {(MARE)}},
booktitle = {24th Annual Conference of the European Association for Computer Graphics,
Eurographics 2003 - Short Presentations, Granada, Spain, September
1-5, 2003},
publisher = {Eurographics Association},
year = {2003},
url = {https://doi.org/10.2312/egs.20031075},
doi = {10.2312/EGS.20031075},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurographics/DanadoDRCT0ADRP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/CastroSCG96,
author = {Miguel Castro and
Manuel Sequeira and
Manuel Costa and
Paulo Guedes},
editor = {Anthony P. Reeves},
title = {Efficient and Flexible Object Sharing},
booktitle = {Proceedings of the 1996 International Conference on Parallel Processing,
{ICCP} 1996, Bloomingdale, IL, USA, August 12-16, 1996. Volume 1:
Architecture},
pages = {128--137},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICPP.1996.537153},
doi = {10.1109/ICPP.1996.537153},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpp/CastroSCG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/CostaGSNC96,
author = {Manuel Costa and
Paulo Guedes and
Manuel Sequeira and
Nuno Neves and
Miguel Castro},
editor = {Karin Petersen and
Willy Zwaenepoel},
title = {Lightweight Logging for Lazy Release Consistent Distributed Shared
Memory},
booktitle = {Proceedings of the Second {USENIX} Symposium on Operating Systems
Design and Implementation (OSDI), Seattle, Washington, USA, October
28-31, 1996},
pages = {59--73},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/238721.238762},
doi = {10.1145/238721.238762},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/CostaGSNC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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-09-12 02:31 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:
