Manuel Costa

52 papers A* 18A 4Misc 2Journal 21Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Optimizing Agent Planning for Security and Autonomy.
CoRR
Aashish Kolluri, Rishi Sharma, Manuel Costa, Boris Köpf, Tobias Nießen, Mark Russinovich, Shruti Tople, Santiago Zanella-Béguelin
2025 J jnl
Securing AI Agents with Information-Flow Control.
CoRR
Manuel Costa, Boris Köpf, Aashish Kolluri, Andrew Paverd, Mark Russinovich, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
2025 A* conf
Transparent Attested DNS for Confidential Computing Services.
USENIX Security Symposium
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Manuel Costa, Sylvan Clebsch, Christoph M. Wintersteiger
2025 J jnl
Transparent Attested DNS for Confidential Computing Services.
CoRR
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Manuel Costa, Sylvan Clebsch, Christoph M. Wintersteiger
2024 J jnl
Confidential Computing Proofs: An alternative to cryptographic zero-knowledge.
ACM Queue
Mark Russinovich, Cédric Fournet, Greg Zaverucha, Josh Benaloh, Brandon Murdoch, Manuel Costa
2024 J jnl
Confidential Container Groups.
Commun. ACM
Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
2024 J jnl
Confidential Container Groups: Implementing confidential computing on Azure container instances.
ACM Queue
Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
2024 J jnl
Why Should I Trust Your Code?
Commun. ACM
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
2023 J jnl
COCOAEXPO: Confidential Containers via Attested Execution Policies.
CoRR
Matthew A. Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Christoph M. Wintersteiger, Sylvan Clebsch, John Starks, Manuel Costa
2023 J jnl
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability.
CoRR
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
2023 J jnl
Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability.
Proc. VLDB Endow.
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
2023 J jnl
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
Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich
2022 J jnl
Dropbear: Machine Learning Marketplaces made Trustworthy with Byzantine Model Agreement.
CoRR
Alex Shamis, Peter R. Pietzuch, Antoine Delignat-Lavaud, Andrew Paverd, Manuel Costa
2022 Misc conf
IA-CCF: Individual Accountability for Permissioned Ledgers.
NSDI
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
2021 A conf
AMP: authentication of media via provenance.
MMSys
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
2021 J jnl
PAC: Practical Accountability for CCF.
CoRR
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
2021 J jnl
Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in use.
ACM Queue
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
2021 J jnl
Toward confidential cloud computing.
Commun. ACM
Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
2020 J jnl
AMP: Authentication of Media via Provenance.
CoRR
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
2018 A* conf
EnclaveDB: A Secure Database Using SGX.
IEEE Symposium on Security and Privacy
Christian Priebe, Kapil Vaswani, Manuel Costa
2017 J jnl
Managing Spacecraft Memory Buffers with Concurrent Data Collection and Downlink.
J. Aerosp. Inf. Syst.
Gregg R. Rabideau, Steve A. Chien, M. Galer, Federico Nespoli, Manuel Costa
2017 J jnl
Project snowflake: non-blocking safe manual memory management in .NET.
Proc. ACM Program. Lang.
Matthew J. Parkinson, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa, Pantazis Deligiannis, Dylan McDermott, Aaron Blankstein, Jonathan Balkind
2017 A* conf
Simple, fast, and safe manual memory management.
PLDI
Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein
2017 A* conf
Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory.
USENIX Security Symposium
Daniel Gruss, Julian Lettner, Felix Schuster, Olga Ohrimenko, István Haller, Manuel Costa
2017 J jnl
The Pyramid Scheme: Oblivious RAM for Trusted Processors.
CoRR
Manuel Costa, Lawrence Esswood, Olga Ohrimenko, Felix Schuster, Sameer Wagh
2016 A* conf
A design and verification methodology for secure isolated regions.
PLDI
Rohit Sinha, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani
2016 A* conf
Oblivious Multi-Party Machine Learning on Trusted Processors.
USENIX Security Symposium
Olga Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
2015 A conf
Broom: Sweeping Out Garbage Collection from Big Data Systems.
HotOS
Ionel Gog, Jana Giceva, Malte Schwarzkopf, Kapil Vaswani, Dimitrios Vytiniotis, Ganesan Ramalingam, Manuel Costa, Derek Gordon Murray, Steven Hand, Michael Isard
2015 A* conf
Observing and Preventing Leakage in MapReduce.
CCS
Olga Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
2015 A* conf
VC3: Trustworthy Data Analytics in the Cloud Using SGX.
IEEE Symposium on Security and Privacy
Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
2014 A* conf
Docovery: toward generic automatic document recovery.
ASE
Tomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa
2010 A* conf
Dynamically checking ownership policies in concurrent c/c++ programs.
POPL
Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro
2010 — ed.
Proceedings of the Third European Workshop on System Security, EUROSEC 2010, Paris, France, April 13, 2010
EUROSEC
Manuel Costa, Engin Kirda
2009 A* conf
Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors.
USENIX Security Symposium
Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
2009 A* conf
Fast byte-granularity software fault isolation.
SOSP
Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black
2009 — ed.
Proceedings of the Second European Workshop on System Security, EUROSEC 2009, Nuremburg, Germany, March 31, 2009
EUROSEC
Evangelos P. Markatos, Manuel Costa
2008 A* conf
Better bug reporting with better privacy.
ASPLOS
Miguel Castro, Manuel Costa, Jean-Philippe Martin
2008 A* conf
Preventing Memory Error Exploits with WIT.
SP
Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
2008 J jnl
Vigilante: End-to-end containment of Internet worm epidemics.
ACM Trans. Comput. Syst.
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham
2007 A* conf
Bouncer: securing software by blocking bad input.
SOSP
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
2007 — —
End-to-end containment of internet worm epidemics.
Manuel Costa
2006 A* conf
Securing Software by Enforcing Data-flow Integrity.
OSDI
Miguel Castro, Manuel Costa, Tim Harris
2005 — conf
3D environments as social learning tools: the VIRTU@LIS experience.
SIGGRAPH Educators Program
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
2005 — conf
A First Look at Peer-to-Peer Worms: Threats and Defenses.
IPTPS
Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien
2005 Misc conf
Debunking Some Myths About Structured and Unstructured Overlays.
NSDI
Miguel Castro, Manuel Costa, Antony I. T. Rowstron
2005 A* conf
Vigilante: end-to-end containment of internet worms.
SOSP
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham
2004 A conf
PIC: Practical Internet Coordinates for Distance Estimation.
ICDCS
Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key
2004 A conf
Performance and Dependability of Structured Peer-to-Peer Overlays.
DSN
Miguel Castro, Manuel Costa, Antony I. T. Rowstron
2004 J jnl
Should we build Gnutella on a structured overlay?
Comput. Commun. Rev.
Miguel Castro, Manuel Costa, Antony I. T. Rowstron
2003 — conf
Mobile Augmented Reality for Environmental Management (MARE).
Eurographics (Short Presentations)
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
1996 — conf
Efficient and Flexible Object Sharing.
ICPP, Vol. 1
Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes
1996 A* conf
Lightweight Logging for Lazy Release Consistent Distributed Shared Memory.
OSDI
Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro