Manuel Costa

Publication Activity (10 Years)

Years Active: 1996-2024
Publications (10 Years): 22

Top Venues

CoRR

ACM Queue

IEEE Symposium on Security and Privacy

USENIX Security Symposium

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
Why Should I Trust Your Code? Commun. ACM 67 (1) (2024)
Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
COCOAEXPO: Confidential Containers via Attested Execution Policies. CoRR (2023)
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
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. ACM Queue 21 (4) (2023)
Heidi Howard, Fritz Alder, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus A. Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability. CoRR (2023)
Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
IA-CCF: Individual Accountability for Permissioned Ledgers. NSDI (2022)
Alex Shamis, Peter R. Pietzuch, Antoine Delignat-Lavaud, Andrew Paverd, Manuel Costa
Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement. CoRR (2022)
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
Toward confidential cloud computing. Commun. ACM 64 (6) (2021)
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use. ACM Queue 19 (1) (2021)
Alex Shamis, Peter R. Pietzuch, Miguel Castro, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Cédric Fournet, Matthew Kerner, Julien Maffre, Manuel Costa, Mark Russinovich
PAC: Practical Accountability for CCF. CoRR (2021)
Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Rebecca Burke-Aguero, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, John Deutscher, Shabnam Erfani, Matt Gaylor, Andrew Jenks, Kevin Kane, Elissa M. Redmiles, Alex Shamis, Isha Sharma, John C. Simmons, Sam Wenker, Anika Zaman
AMP: authentication of media via provenance. MMSys (2021)
Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cédric Fournet, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Shabnam Erfani, Kevin Kane, Alex Shamis
AMP: Authentication of Media via Provenance. CoRR (2020)
Christian Priebe, Kapil Vaswani, Manuel Costa
EnclaveDB: A Secure Database Using SGX. IEEE Symposium on Security and Privacy (2018)
Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind
Project snowflake: non-blocking safe manual memory management in .NET. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein
Simple, fast, and safe manual memory management. PLDI (2017)
Daniel Gruss, Julian Lettner, Felix Schuster, Olga Ohrimenko, István Haller, Manuel Costa
Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory. USENIX Security Symposium (2017)
Gregg Rabideau, Steve A. Chien, M. Galer, Federico Nespoli, Manuel Costa
Managing Spacecraft Memory Buffers with Concurrent Data Collection and Downlink. J. Aerosp. Inf. Syst. 14 (12) (2017)
Manuel Costa, Lawrence Esswood, Olga Ohrimenko, Felix Schuster, Sameer Wagh
The Pyramid Scheme: Oblivious RAM for Trusted Processors. CoRR (2017)
Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
Oblivious Multi-Party Machine Learning on Trusted Processors. USENIX Security Symposium (2016)
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
A design and verification methodology for secure isolated regions. PLDI (2016)
Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
VC3: Trustworthy Data Analytics in the Cloud Using SGX. IEEE Symposium on Security and Privacy (2015)
Olga Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
Observing and Preventing Leakage in MapReduce. CCS (2015)
Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard
Broom: Sweeping Out Garbage Collection from Big Data Systems. HotOS (2015)
Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa
Docovery: toward generic automatic document recovery. ASE (2014)
Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro
Dynamically checking ownership policies in concurrent c/c++ programs. POPL (2010)
Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black
Fast byte-granularity software fault isolation. SOSP (2009)
Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors. USENIX Security Symposium (2009)
Miguel Castro, Manuel Costa, Jean-Philippe Martin
Better bug reporting with better privacy. ASPLOS (2008)
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham
Vigilante: End-to-end containment of Internet worm epidemics. ACM Trans. Comput. Syst. 26 (4) (2008)
Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
Preventing Memory Error Exploits with WIT. IEEE Symposium on Security and Privacy (2008)
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
Bouncer: securing software by blocking bad input. SOSP (2007)
Miguel Castro, Manuel Costa, Tim Harris
Securing Software by Enforcing Data-flow Integrity. OSDI (2006)
Miguel Castro, Manuel Costa, Antony I. T. Rowstron
Debunking Some Myths About Structured and Unstructured Overlays. NSDI (2005)
Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien
A First Look at Peer-to-Peer Worms: Threats and Defenses. IPTPS (2005)
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham
Vigilante: end-to-end containment of internet worms. SOSP (2005)
Tiago de Sousa Pedrosa, Âgela Guimarães Pereira, Nuno Cardoso, Manuel Costa, Tiago Carita, Edmundo Nobre, Pedro Pedrosa, Nuno Capeta, Sérgio Estêvão
3D environments as social learning tools: the VIRTU@LIS experience. SIGGRAPH Educators Program (2005)
Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key
PIC: Practical Internet Coordinates for Distance Estimation. ICDCS (2004)
Miguel Castro, Manuel Costa, Antony I. T. Rowstron
Performance and Dependability of Structured Peer-to-Peer Overlays. DSN (2004)
Miguel Castro, Manuel Costa, Antony I. T. Rowstron
Should we build Gnutella on a structured overlay? Comput. Commun. Rev. 34 (1) (2004)
José Danado, A. Eduardo Dias, Teresa Romão, Nuno Correia, Adelaide Trabuco, Carlos Santos, David Araújo, Pedro Duarte, Rui Rebocho, José Palmeiro, João Serpa, Manuel Costa, António S. Câmara
Mobile Augmented Reality for Environmental Management (MARE). Eurographics (Short Presentations) (2003)
Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes
Efficient and Flexible Object Sharing. ICPP, Vol. 1 (1996)
Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. OSDI (1996)

Manuel Costa.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Manuel Costa