Manuel Costa

According to our database, Manuel Costa authored at least 42 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Why Should I Trust Your Code?

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich

Commun. ACM, January, 2024

2023

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.

Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich

ACM Queue, 2023

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability.

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

Proc. VLDB Endow., 2023

COCOAEXPO: Confidential Containers via Attested Execution Policies.

Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa

CoRR, 2023

2022

Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement.

Alex Shamis, Peter R. Pietzuch, Antoine Delignat-Lavaud, Andrew Paverd, Manuel Costa

CoRR, 2022

IA-CCF: Individual Accountability for Permissioned Ledgers.

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

Proceedings of the 19th USENIX Symposium on Networked Systems Design and Implementation, 2022

2021

Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use.

Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia

ACM Queue, 2021

PAC: Practical Accountability for CCF.

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

CoRR, 2021

Toward confidential cloud computing.

Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia

Commun. ACM, 2021

AMP: authentication of media via provenance.

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

Proceedings of the MMSys '21: 12th ACM Multimedia Systems Conference, Istanbul, Turkey, 28 September 2021, 2021

2020

AMP: Authentication of Media via Provenance.

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

CoRR, 2020

2018

EnclaveDB: A Secure Database Using SGX.

Christian Priebe, Kapil Vaswani, Manuel Costa

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

2017

Project snowflake: non-blocking safe manual memory management in .NET.

Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind

Proc. ACM Program. Lang., 2017

Managing Spacecraft Memory Buffers with Concurrent Data Collection and Downlink.

Gregg R. Rabideau, Steve A. Chien, M. Galer, Federico Nespoli, Manuel Costa

J. Aerosp. Inf. Syst., 2017

The Pyramid Scheme: Oblivious RAM for Trusted Processors.

Manuel Costa, Lawrence Esswood, Olga Ohrimenko, Felix Schuster, Sameer Wagh

CoRR, 2017

Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory.

Daniel Gruss, Julian Lettner, Felix Schuster, Olga Ohrimenko, István Haller, Manuel Costa

Proceedings of the 26th USENIX Security Symposium, 2017

Simple, fast, and safe manual memory management.

Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Oblivious Multi-Party Machine Learning on Trusted Processors.

Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa

Proceedings of the 25th USENIX Security Symposium, 2016

A design and verification methodology for secure isolated regions.

Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2015

VC3: Trustworthy Data Analytics in the Cloud Using SGX.

Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Broom: Sweeping Out Garbage Collection from Big Data Systems.

Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard

Proceedings of the 15th Workshop on Hot Topics in Operating Systems, 2015

Observing and Preventing Leakage in MapReduce.

Olga Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Docovery: toward generic automatic document recovery.

Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2010

Dynamically checking ownership policies in concurrent c/c++ programs.

Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors.

Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand

Proceedings of the 18th USENIX Security Symposium, 2009

Fast byte-granularity software fault isolation.

Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

2008

Vigilante: End-to-end containment of Internet worm epidemics.

Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham

ACM Trans. Comput. Syst., 2008

Preventing Memory Error Exploits with WIT.

Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Better bug reporting with better privacy.

Miguel Castro, Manuel Costa, Jean-Philippe Martin

Proceedings of the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, 2008

2007

End-to-end containment of internet worm epidemics.

Manuel Costa

PhD thesis, 2007

Bouncer: securing software by blocking bad input.

Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

2006

Securing Software by Enforcing Data-flow Integrity.

Miguel Castro, Manuel Costa, Tim Harris

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2005

Vigilante: end-to-end containment of internet worms.

Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham

Proceedings of the 20th ACM Symposium on Operating Systems Principles 2005, 2005

3D environments as social learning tools: the VIRTU@LIS experience.

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

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2005

Debunking Some Myths About Structured and Unstructured Overlays.

Miguel Castro, Manuel Costa, Antony I. T. Rowstron

Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

A First Look at Peer-to-Peer Worms: Threats and Defenses.

Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien

Proceedings of the Peer-to-Peer Systems IV, 4th International Workshop, 2005

2004

Should we build Gnutella on a structured overlay?

Miguel Castro, Manuel Costa, Antony I. T. Rowstron

Comput. Commun. Rev., 2004

PIC: Practical Internet Coordinates for Distance Estimation.

Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key

Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004

Performance and Dependability of Structured Peer-to-Peer Overlays.

Miguel Castro, Manuel Costa, Antony I. T. Rowstron

Proceedings of the 2004 International Conference on Dependable Systems and Networks (DSN 2004), 28 June, 2004

2003

Mobile Augmented Reality for Environmental Management (MARE).

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

Proceedings of the 24th Annual Conference of the European Association for Computer Graphics, 2003

1996

Lightweight Logging for Lazy Release Consistent Distributed Shared Memory.

Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro

Proceedings of the Second USENIX Symposium on Operating Systems Design and Implementation (OSDI), 1996

Efficient and Flexible Object Sharing.

Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes

Proceedings of the 1996 International Conference on Parallel Processing, 1996