Manuel Costa

VP, Distinguished Engineer

출판물

자료 보기:

- Securing AI Agents with Information-Flow Control
  
  Manuel Costa, Boris Köpf, Aashish Kolluri, Andrew Paverd, Mark Russinovich, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
  
  May 2025
  
  DOI Publication Publication 프로젝트 프로젝트
- Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Sylvan Clebsch, Christoph M. Wintersteiger, John Starks, Manuel Costa
  
  Communications of the ACM | October 2024, 제 67 권(10): pp. 40-49
  
  Publication Preprint 프로젝트
- Confidential Computing Proofs
  
  Mark Russinovich, Cédric Fournet, Greg Zaverucha, Josh Benaloh, Brandon Murdoch, Manuel Costa
  
  ACM Queue | August 2024, 제 22 권: pp. 73-100
  
  DOI Publication
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- Parma: Confidential Containers via Attested Execution Policies
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean Allen, Sylvan Clebsch, John Starks, Manuel Costa
  
  March 2023
  
  Preprint
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication 프로젝트
- 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, Sam Wenker, Anika Zaman
  
  12th ACM Multimedia Systems Conference | July 2021
  
  Publication Publication 프로젝트
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  Publication
- Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
  
  J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
  
  International Broadcasting Convention (IBC) | September 2020
  
  프로젝트
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- EnclaveDB – A Secure Database using SGX
  
  Christian Priebe, Kapil Vaswani, Manuel Costa
  
  To appear in the Proceedings of the IEEE Symposium on Security & Privacy, May 2018 | May 2018
  
  Publication
- Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory
  
  Daniel Gruss, Julian Lettner, Felix Schuster, Olya Ohrimenko, Istvan Haller, Manuel Costa
  
  USENIX Security Symposium 2017 | August 2017
  
  Publication Publication
- Project Snowflake: Non-blocking safe manual memory management in .NET
  
  Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Manuel Costa, Pantazis Deligiannis, Aaron Blankstein, Dylan McDermott, Jonathan Balkind
  
  MSR-TR-2017-32 | July 2017
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Simple, Fast and Safe Manual Memory Management
  
  Piyus Kedia, Manuel Costa, Dimitrios Vytiniotis, Matthew J. Parkinson, Kapil Vaswani, Aaron Blankstein
  
  Proceedings of the Conference on Programming Langauges Design and Implementation (PLDI) | June 2017
  
  Publication
- Oblivious Multi-Party Machine Learning on Trusted Processors
  
  Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
  
  The 25th USENIX Security Symposium 2016 | July 2016
  
  Publication 프로젝트 프로젝트
- A Design and Verification Methodology for Secure Isolated Regions
  
  Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
  
  Programming Languages Design and Implementation (PLDI) | June 2016
  
  Publication
- Observing and Preventing Leakage in MapReduce
  
  Olya Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
  
  MSR-TR-2015-70 | September 2015
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Secure Computation Interfaces
  
  Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado
  
  MSR-TR-2015-67 | August 2015
  
  글쓴이 Microsoft
  
  Publication
- 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
  
  36th IEEE Symposium on Security and Privacy | May 2015
  
  Publication 프로젝트
- VC3: Trustworthy Data Analytics in the Cloud
  
  Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
  
  MSR-TR-2014-39 | February 2014
  
  출판
- Dynamically Checking Ownership Policies in Concurrent C/C++ Programs
  
  Jean-Philippe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro
  
  37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) | January 2010
  
  출판
- Fast Byte-Granularity Software Fault Isolation
  
  Miguel Castro, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Manuel Costa, Paul Barham, Richard Black
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2009
  
  출판
- Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense Against Out-of-Bounds Errors
  
  Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
  
  18th USENIX Security Symposium (USENIX Security '09) | August 2009
  
  18th USENIX Security Symposium (USENIX Security '09)
  
  출판
- Vigilante: End-to-End Containment of Internet Worm Epidemics
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham, Ant Rowstron
  
  ACM Transactions on Computer Systems | December 2008
  
  출판
- Data Randomization
  
  Manuel Costa, Jean-Philippe Martin, Miguel Castro
  
  MSR-TR-2008-120 | September 2008
  
  출판
- Preventing memory error exploits with WIT
  
  Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
  
  Proceedings of the IEEE Symposium on Security and Privacy | May 2008
  
  Proceedings of the IEEE Symposium on Security and Privacy
  
  출판
- 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 | March 2008
  
  출판 출판 출판
- Bouncer: securing software by blocking bad input
  
  Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2007
  
  ACM Symposium on Operating Systems Principles (SOSP)
  
  출판
- Bouncer: Securing Software by Blocking Bad Input
  
  Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2007
  
  ISBN: 978-1-59593-591-5
  
  출판 출판
- Securing software by enforcing data-flow integrity
  
  Miguel Castro, Manuel Costa, Tim Harris
  
  Symposium on Operating Systems Design and Implementation (OSDI) | November 2006
  
  출판
- End-to-End Containment of Internet Worm Epidemics
  
  Manuel Costa
  
  October 2006
  
  박사학위논문: University of Cambridge | October 2006
  
  출판
- Vigilante: end-to-end containment of internet worms
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron, Lintao Zhang, Lidong Zhou, Paul Barham
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2005
  
  DOI PDF Publication
- Debunking some myths about structured and unstructured overlays
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI'05) | May 2005
  
  출판
- A First Look at Peer-to-Peer Worms: Threats and Defenses
  
  Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien
  
  4th International Workshop on Peer-To-Peer Systems (IPTPS '05) | February 2005
  
  4th International Workshop on Peer-To-Peer Systems (IPTPS '05)
  
  출판
- Can we contain Internet worms?
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron
  
  Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III) | November 2004
  
  Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III)
  
  출판
- Can we contain Internet worms?
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron
  
  MSR-TR-2004-83 | August 2004
  
  출판
- Performance and Dependability of structured peer-to-peer overlays
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  Proceedings of the International Conference on Dependable Systems and Networks (DSN-2004) | June 2004
  
  ISBN: 0-7695-2052-9
  
  출판 출판
- Peer-to-peer overlays: structured, unstructured, or both?
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  MSR-TR-2004-73 | April 2004
  
  출판
- PIC: Practical Internet Coordinates for Distance Estimation
  
  Manuel Costa, Miguel Castro, Ant Rowstron, Peter Key
  
  MSR-TR-2003-53 | March 2004
  
  ICDCS
  
  출판
- PIC: Practical Internet Coordinates for Distance Estimation
  
  Manuel Costa, Miguel Castro, Ant Rowstron, Peter Key
  
  Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04) | March 2004
  
  Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
  
  출판
- Should we build Gnutella on a structured overlay?
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  Proceedings of the Second Workshop on Hot Topics in Networks (HotNets-II) | January 2004
  
  출판 출판
- Lightweight Logging for Lazy Release Consistent Distributed Shared Memory
  
  Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro
  
  Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI'96) | October 1996
  
  출판
- Efficient and Flexible Object Sharing
  
  Miguel Castro, Paulo Guedes, Manuel Sequeira, Manuel Costa
  
  Proceedings of the International Conference on Parallel Processing (ICPP'96), Proceedings of the International Conference on Parallel Processing (ICPP'96) | August 1996
  
  출판

- Securing AI Agents with Information-Flow Control
  
  Manuel Costa, Boris Köpf, Aashish Kolluri, Andrew Paverd, Mark Russinovich, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
  
  May 2025
  
  DOI Publication Publication 프로젝트 프로젝트
- Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Sylvan Clebsch, Christoph M. Wintersteiger, John Starks, Manuel Costa
  
  Communications of the ACM | October 2024, 제 67 권(10): pp. 40-49
  
  Publication Preprint 프로젝트
- Confidential Computing Proofs
  
  Mark Russinovich, Cédric Fournet, Greg Zaverucha, Josh Benaloh, Brandon Murdoch, Manuel Costa
  
  ACM Queue | August 2024, 제 22 권: pp. 73-100
  
  DOI Publication
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- Parma: Confidential Containers via Attested Execution Policies
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean Allen, Sylvan Clebsch, John Starks, Manuel Costa
  
  March 2023
  
  Preprint
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication 프로젝트
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  Publication
- Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
  
  J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
  
  International Broadcasting Convention (IBC) | September 2020
  
  프로젝트
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- EnclaveDB – A Secure Database using SGX
  
  Christian Priebe, Kapil Vaswani, Manuel Costa
  
  To appear in the Proceedings of the IEEE Symposium on Security & Privacy, May 2018 | May 2018
  
  Publication
- Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory
  
  Daniel Gruss, Julian Lettner, Felix Schuster, Olya Ohrimenko, Istvan Haller, Manuel Costa
  
  USENIX Security Symposium 2017 | August 2017
  
  Publication Publication
- Simple, Fast and Safe Manual Memory Management
  
  Piyus Kedia, Manuel Costa, Dimitrios Vytiniotis, Matthew J. Parkinson, Kapil Vaswani, Aaron Blankstein
  
  Proceedings of the Conference on Programming Langauges Design and Implementation (PLDI) | June 2017
  
  Publication
- Oblivious Multi-Party Machine Learning on Trusted Processors
  
  Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
  
  The 25th USENIX Security Symposium 2016 | July 2016
  
  Publication 프로젝트 프로젝트
- A Design and Verification Methodology for Secure Isolated Regions
  
  Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
  
  Programming Languages Design and Implementation (PLDI) | June 2016
  
  Publication
- Observing and Preventing Leakage in MapReduce
  
  Olya Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
  
  MSR-TR-2015-70 | September 2015
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Secure Computation Interfaces
  
  Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado
  
  MSR-TR-2015-67 | August 2015
  
  글쓴이 Microsoft
  
  Publication
- 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
  
  36th IEEE Symposium on Security and Privacy | May 2015
  
  Publication 프로젝트
- VC3: Trustworthy Data Analytics in the Cloud
  
  Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
  
  MSR-TR-2014-39 | February 2014
  
  출판
- Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense Against Out-of-Bounds Errors
  
  Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
  
  18th USENIX Security Symposium (USENIX Security '09) | August 2009
  
  18th USENIX Security Symposium (USENIX Security '09)
  
  출판
- Vigilante: End-to-End Containment of Internet Worm Epidemics
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham, Ant Rowstron
  
  ACM Transactions on Computer Systems | December 2008
  
  출판
- Preventing memory error exploits with WIT
  
  Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
  
  Proceedings of the IEEE Symposium on Security and Privacy | May 2008
  
  Proceedings of the IEEE Symposium on Security and Privacy
  
  출판
- Bouncer: Securing Software by Blocking Bad Input
  
  Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2007
  
  ISBN: 978-1-59593-591-5
  
  출판 출판
- Securing software by enforcing data-flow integrity
  
  Miguel Castro, Manuel Costa, Tim Harris
  
  Symposium on Operating Systems Design and Implementation (OSDI) | November 2006
  
  출판
- End-to-End Containment of Internet Worm Epidemics
  
  Manuel Costa
  
  October 2006
  
  박사학위논문: University of Cambridge | October 2006
  
  출판
- Vigilante: end-to-end containment of internet worms
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron, Lintao Zhang, Lidong Zhou, Paul Barham
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2005
  
  DOI PDF Publication
- Can we contain Internet worms?
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron
  
  Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III) | November 2004
  
  Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III)
  
  출판
- Securing AI Agents with Information-Flow Control
  
  Manuel Costa, Boris Köpf, Aashish Kolluri, Andrew Paverd, Mark Russinovich, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
  
  May 2025
  
  DOI Publication Publication 프로젝트 프로젝트
- Lightweight Logging for Lazy Release Consistent Distributed Shared Memory
  
  Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro
  
  Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI'96) | October 1996
  
  출판
- Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Sylvan Clebsch, Christoph M. Wintersteiger, John Starks, Manuel Costa
  
  Communications of the ACM | October 2024, 제 67 권(10): pp. 40-49
  
  Publication Preprint 프로젝트
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- 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, Sam Wenker, Anika Zaman
  
  12th ACM Multimedia Systems Conference | July 2021
  
  Publication Publication 프로젝트
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- VC3: Trustworthy Data Analytics in the Cloud
  
  Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
  
  MSR-TR-2014-39 | February 2014
  
  출판
- Fast Byte-Granularity Software Fault Isolation
  
  Miguel Castro, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Manuel Costa, Paul Barham, Richard Black
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2009
  
  출판
- Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense Against Out-of-Bounds Errors
  
  Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
  
  18th USENIX Security Symposium (USENIX Security '09) | August 2009
  
  18th USENIX Security Symposium (USENIX Security '09)
  
  출판
- Data Randomization
  
  Manuel Costa, Jean-Philippe Martin, Miguel Castro
  
  MSR-TR-2008-120 | September 2008
  
  출판
- Bouncer: Securing Software by Blocking Bad Input
  
  Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2007
  
  ISBN: 978-1-59593-591-5
  
  출판 출판
- End-to-End Containment of Internet Worm Epidemics
  
  Manuel Costa
  
  October 2006
  
  박사학위논문: University of Cambridge | October 2006
  
  출판
- Debunking some myths about structured and unstructured overlays
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI'05) | May 2005
  
  출판
- A First Look at Peer-to-Peer Worms: Threats and Defenses
  
  Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien
  
  4th International Workshop on Peer-To-Peer Systems (IPTPS '05) | February 2005
  
  4th International Workshop on Peer-To-Peer Systems (IPTPS '05)
  
  출판
- Can we contain Internet worms?
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron
  
  Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III) | November 2004
  
  Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III)
  
  출판
- Can we contain Internet worms?
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron
  
  MSR-TR-2004-83 | August 2004
  
  출판
- Performance and Dependability of structured peer-to-peer overlays
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  Proceedings of the International Conference on Dependable Systems and Networks (DSN-2004) | June 2004
  
  ISBN: 0-7695-2052-9
  
  출판 출판
- Peer-to-peer overlays: structured, unstructured, or both?
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  MSR-TR-2004-73 | April 2004
  
  출판
- PIC: Practical Internet Coordinates for Distance Estimation
  
  Manuel Costa, Miguel Castro, Ant Rowstron, Peter Key
  
  MSR-TR-2003-53 | March 2004
  
  ICDCS
  
  출판
- PIC: Practical Internet Coordinates for Distance Estimation
  
  Manuel Costa, Miguel Castro, Ant Rowstron, Peter Key
  
  Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04) | March 2004
  
  Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
  
  출판
- Should we build Gnutella on a structured overlay?
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  Proceedings of the Second Workshop on Hot Topics in Networks (HotNets-II) | January 2004
  
  출판 출판
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  Publication
- Project Snowflake: Non-blocking safe manual memory management in .NET
  
  Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Manuel Costa, Pantazis Deligiannis, Aaron Blankstein, Dylan McDermott, Jonathan Balkind
  
  MSR-TR-2017-32 | July 2017
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Simple, Fast and Safe Manual Memory Management
  
  Piyus Kedia, Manuel Costa, Dimitrios Vytiniotis, Matthew J. Parkinson, Kapil Vaswani, Aaron Blankstein
  
  Proceedings of the Conference on Programming Langauges Design and Implementation (PLDI) | June 2017
  
  Publication
- A Design and Verification Methodology for Secure Isolated Regions
  
  Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
  
  Programming Languages Design and Implementation (PLDI) | June 2016
  
  Publication
- Dynamically Checking Ownership Policies in Concurrent C/C++ Programs
  
  Jean-Philippe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro
  
  37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) | January 2010
  
  출판
- Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense Against Out-of-Bounds Errors
  
  Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
  
  18th USENIX Security Symposium (USENIX Security '09) | August 2009
  
  18th USENIX Security Symposium (USENIX Security '09)
  
  출판
- Lightweight Logging for Lazy Release Consistent Distributed Shared Memory
  
  Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro
  
  Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI'96) | October 1996
  
  출판
- 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 | March 2008
  
  출판 출판 출판
- Bouncer: securing software by blocking bad input
  
  Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2007
  
  ACM Symposium on Operating Systems Principles (SOSP)
  
  출판
- Efficient and Flexible Object Sharing
  
  Miguel Castro, Paulo Guedes, Manuel Sequeira, Manuel Costa
  
  Proceedings of the International Conference on Parallel Processing (ICPP'96), Proceedings of the International Conference on Parallel Processing (ICPP'96) | August 1996
  
  출판

- Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean T. Allen, Sylvan Clebsch, Christoph M. Wintersteiger, John Starks, Manuel Costa
  
  Communications of the ACM | October 2024, 제 67 권(10): pp. 40-49
  
  Publication Preprint 프로젝트
- Confidential Computing Proofs
  
  Mark Russinovich, Cédric Fournet, Greg Zaverucha, Josh Benaloh, Brandon Murdoch, Manuel Costa
  
  ACM Queue | August 2024, 제 22 권: pp. 73-100
  
  DOI Publication
- Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability
  
  Heidi Howard, Fritz Alder, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Antoine Delignat-Lavaud, Cédric Fournet, Andrew Jeffery, Matthew Kerner, Fotios Kounelis, Markus Kuppe, Julien Maffre, Mark Russinovich, Christoph M. Wintersteiger
  
  Proceedings of the VLDB Endowment | October 2023, 제 17 권(2)
  
  Nominee for Best Paper Award
  
  Publication Preprint Author's Version 프로젝트
- Vigilante: End-to-End Containment of Internet Worm Epidemics
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham, Ant Rowstron
  
  ACM Transactions on Computer Systems | December 2008
  
  출판
- Securing AI Agents with Information-Flow Control
  
  Manuel Costa, Boris Köpf, Aashish Kolluri, Andrew Paverd, Mark Russinovich, Ahmed Salem, Shruti Tople, Lukas Wutschitz, Santiago Zanella-Béguelin
  
  May 2025
  
  DOI Publication Publication 프로젝트 프로젝트
- Parma: Confidential Containers via Attested Execution Policies
  
  Matthew Johnson, Stavros Volos, Ken Gordon, Sean Allen, Sylvan Clebsch, John Starks, Manuel Costa
  
  March 2023
  
  Preprint
- Toward Confidential Cloud Computing
  
  Mark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia
  
  January 2021
  
  Publication
- Lightweight Logging for Lazy Release Consistent Distributed Shared Memory
  
  Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro
  
  Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI'96) | October 1996
  
  출판
- Efficient and Flexible Object Sharing
  
  Miguel Castro, Paulo Guedes, Manuel Sequeira, Manuel Costa
  
  Proceedings of the International Conference on Parallel Processing (ICPP'96), Proceedings of the International Conference on Parallel Processing (ICPP'96) | August 1996
  
  출판
- IA-CCF: Individual Accountability for Permissioned Ledgers
  
  Alex Shamis, Peter Pietzuch, Burcu Canakci, Miguel Castro, Cédric Fournet, Eddy Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich
  
  19th USENIX Symposium on Networked Systems Design and Implementation (NSDI 22) | April 2022
  
  Publication 프로젝트
- 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, Sam Wenker, Anika Zaman
  
  12th ACM Multimedia Systems Conference | July 2021
  
  Publication Publication 프로젝트
- Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing
  
  J. Aythora, R. Burke‐Agüero, A. Chamayou, S. Clebsch, M. Costa, N. Earnshaw, L. Ellis, P. England, C. Fournet, M. Gaylor, C. Halford, E. Horvitz, A. Jenks, K. Kane, M. Lavallee, S. Lowenstein, B. MacCormack, H. S. Malvar, S. O'Brien, J. Parnall, E. M. Redmiles, A. Shamis, I. Sharma, J. W. Stokes, S. Wenker, A. Zaman
  
  International Broadcasting Convention (IBC) | September 2020
  
  프로젝트
- EnclaveDB – A Secure Database using SGX
  
  Christian Priebe, Kapil Vaswani, Manuel Costa
  
  To appear in the Proceedings of the IEEE Symposium on Security & Privacy, May 2018 | May 2018
  
  Publication
- Strong and Efficient Cache Side-Channel Protection using Hardware Transactional Memory
  
  Daniel Gruss, Julian Lettner, Felix Schuster, Olya Ohrimenko, Istvan Haller, Manuel Costa
  
  USENIX Security Symposium 2017 | August 2017
  
  Publication Publication
- Simple, Fast and Safe Manual Memory Management
  
  Piyus Kedia, Manuel Costa, Dimitrios Vytiniotis, Matthew J. Parkinson, Kapil Vaswani, Aaron Blankstein
  
  Proceedings of the Conference on Programming Langauges Design and Implementation (PLDI) | June 2017
  
  Publication
- Oblivious Multi-Party Machine Learning on Trusted Processors
  
  Olya Ohrimenko, Felix Schuster, Cédric Fournet, Aastha Mehta, Sebastian Nowozin, Kapil Vaswani, Manuel Costa
  
  The 25th USENIX Security Symposium 2016 | July 2016
  
  Publication 프로젝트 프로젝트
- A Design and Verification Methodology for Secure Isolated Regions
  
  Sanjit Seshia, Akash Lal, Rohit Sinha, Sriram Rajamani, Manuel Costa, Kapil Vaswani
  
  Programming Languages Design and Implementation (PLDI) | June 2016
  
  Publication
- 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
  
  36th IEEE Symposium on Security and Privacy | May 2015
  
  Publication 프로젝트
- Dynamically Checking Ownership Policies in Concurrent C/C++ Programs
  
  Jean-Philippe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro
  
  37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL) | January 2010
  
  출판
- Fast Byte-Granularity Software Fault Isolation
  
  Miguel Castro, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Manuel Costa, Paul Barham, Richard Black
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2009
  
  출판
- Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense Against Out-of-Bounds Errors
  
  Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand
  
  18th USENIX Security Symposium (USENIX Security '09) | August 2009
  
  18th USENIX Security Symposium (USENIX Security '09)
  
  출판
- Preventing memory error exploits with WIT
  
  Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro
  
  Proceedings of the IEEE Symposium on Security and Privacy | May 2008
  
  Proceedings of the IEEE Symposium on Security and Privacy
  
  출판
- 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 | March 2008
  
  출판 출판 출판
- Bouncer: securing software by blocking bad input
  
  Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2007
  
  ACM Symposium on Operating Systems Principles (SOSP)
  
  출판
- Bouncer: Securing Software by Blocking Bad Input
  
  Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2007
  
  ISBN: 978-1-59593-591-5
  
  출판 출판
- Securing software by enforcing data-flow integrity
  
  Miguel Castro, Manuel Costa, Tim Harris
  
  Symposium on Operating Systems Design and Implementation (OSDI) | November 2006
  
  출판
- Vigilante: end-to-end containment of internet worms
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron, Lintao Zhang, Lidong Zhou, Paul Barham
  
  ACM Symposium on Operating Systems Principles (SOSP) | October 2005
  
  DOI PDF Publication
- Debunking some myths about structured and unstructured overlays
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI'05) | May 2005
  
  출판
- A First Look at Peer-to-Peer Worms: Threats and Defenses
  
  Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien
  
  4th International Workshop on Peer-To-Peer Systems (IPTPS '05) | February 2005
  
  4th International Workshop on Peer-To-Peer Systems (IPTPS '05)
  
  출판
- Can we contain Internet worms?
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron
  
  Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III) | November 2004
  
  Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III)
  
  출판
- Performance and Dependability of structured peer-to-peer overlays
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  Proceedings of the International Conference on Dependable Systems and Networks (DSN-2004) | June 2004
  
  ISBN: 0-7695-2052-9
  
  출판 출판
- PIC: Practical Internet Coordinates for Distance Estimation
  
  Manuel Costa, Miguel Castro, Ant Rowstron, Peter Key
  
  Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04) | March 2004
  
  Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
  
  출판
- Should we build Gnutella on a structured overlay?
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  Proceedings of the Second Workshop on Hot Topics in Networks (HotNets-II) | January 2004
  
  출판 출판
- CCF: A Framework for Building Confidential Verifiable Replicated Services
  
  Mark Russinovich, Edward Ashton, Christine Avanessians, Miguel Castro, Amaury Chamayou, Sylvan Clebsch, Manuel Costa, Cédric Fournet, Matthew Kerner, Sid Krishna, Julien Maffre, Thomas Moscibroda, Kartik Nayak, Olga Ohrimenko, Felix Schuster, Roy Schuster, Alex Shamis, Olga Vrousgou, Christoph M. Wintersteiger
  
  MSR-TR-2019-16 | April 2019
  
  글쓴이 Microsoft
  
  Publication Github 프로젝트
- Project Snowflake: Non-blocking safe manual memory management in .NET
  
  Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Manuel Costa, Pantazis Deligiannis, Aaron Blankstein, Dylan McDermott, Jonathan Balkind
  
  MSR-TR-2017-32 | July 2017
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Observing and Preventing Leakage in MapReduce
  
  Olya Ohrimenko, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma
  
  MSR-TR-2015-70 | September 2015
  
  글쓴이 Microsoft
  
  Publication 프로젝트
- Secure Computation Interfaces
  
  Manuel Costa, Sriram Rajamani, Mark Russinovich, Kapil Vaswani, Orion Hodson, Marcus Peinado
  
  MSR-TR-2015-67 | August 2015
  
  글쓴이 Microsoft
  
  Publication
- VC3: Trustworthy Data Analytics in the Cloud
  
  Felix Schuster, Manuel Costa, Cédric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich
  
  MSR-TR-2014-39 | February 2014
  
  출판
- Data Randomization
  
  Manuel Costa, Jean-Philippe Martin, Miguel Castro
  
  MSR-TR-2008-120 | September 2008
  
  출판
- Can we contain Internet worms?
  
  Manuel Costa, Jon Crowcroft, Miguel Castro, Ant Rowstron
  
  MSR-TR-2004-83 | August 2004
  
  출판
- Peer-to-peer overlays: structured, unstructured, or both?
  
  Miguel Castro, Manuel Costa, Ant Rowstron
  
  MSR-TR-2004-73 | April 2004
  
  출판
- PIC: Practical Internet Coordinates for Distance Estimation
  
  Manuel Costa, Miguel Castro, Ant Rowstron, Peter Key
  
  MSR-TR-2003-53 | March 2004
  
  ICDCS
  
  출판
- End-to-End Containment of Internet Worm Epidemics
  
  Manuel Costa
  
  October 2006
  
  박사학위논문: University of Cambridge | October 2006
  
  출판

Manuel Costa

출판물

Securing AI Agents with Information-Flow Control

Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances

Confidential Computing Proofs

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

Parma: Confidential Containers via Attested Execution Policies

IA-CCF: Individual Accountability for Permissioned Ledgers

AMP: Authentication of Media via Provenance

Toward Confidential Cloud Computing

Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing

CCF: A Framework for Building Confidential Verifiable Replicated Services

EnclaveDB – A Secure Database using SGX

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

Project Snowflake: Non-blocking safe manual memory management in .NET

Simple, Fast and Safe Manual Memory Management

Oblivious Multi-Party Machine Learning on Trusted Processors

A Design and Verification Methodology for Secure Isolated Regions

Observing and Preventing Leakage in MapReduce

Secure Computation Interfaces

VC3: Trustworthy Data Analytics in the Cloud using SGX

VC3: Trustworthy Data Analytics in the Cloud

Dynamically Checking Ownership Policies in Concurrent C/C++ Programs

Fast Byte-Granularity Software Fault Isolation

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

Vigilante: End-to-End Containment of Internet Worm Epidemics

Data Randomization

Preventing memory error exploits with WIT

Better bug reporting with better privacy

Bouncer: securing software by blocking bad input

Bouncer: Securing Software by Blocking Bad Input

Securing software by enforcing data-flow integrity

End-to-End Containment of Internet Worm Epidemics

Vigilante: end-to-end containment of internet worms

Debunking some myths about structured and unstructured overlays

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

Can we contain Internet worms?

Can we contain Internet worms?

Performance and Dependability of structured peer-to-peer overlays

Peer-to-peer overlays: structured, unstructured, or both?

PIC: Practical Internet Coordinates for Distance Estimation

PIC: Practical Internet Coordinates for Distance Estimation

Should we build Gnutella on a structured overlay?

Lightweight Logging for Lazy Release Consistent Distributed Shared Memory

Efficient and Flexible Object Sharing

Securing AI Agents with Information-Flow Control

Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances

Confidential Computing Proofs

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

Parma: Confidential Containers via Attested Execution Policies

IA-CCF: Individual Accountability for Permissioned Ledgers

Toward Confidential Cloud Computing

Multi-Stakeholder Media Provenance Management to Counter Synthetic Media Risks in News Publishing

CCF: A Framework for Building Confidential Verifiable Replicated Services

EnclaveDB – A Secure Database using SGX

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

Simple, Fast and Safe Manual Memory Management

Oblivious Multi-Party Machine Learning on Trusted Processors

A Design and Verification Methodology for Secure Isolated Regions

Observing and Preventing Leakage in MapReduce

Secure Computation Interfaces

VC3: Trustworthy Data Analytics in the Cloud using SGX

VC3: Trustworthy Data Analytics in the Cloud

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

Vigilante: End-to-End Containment of Internet Worm Epidemics

Preventing memory error exploits with WIT

Bouncer: Securing Software by Blocking Bad Input

Securing software by enforcing data-flow integrity

End-to-End Containment of Internet Worm Epidemics

Vigilante: end-to-end containment of internet worms

Can we contain Internet worms?

Securing AI Agents with Information-Flow Control

Lightweight Logging for Lazy Release Consistent Distributed Shared Memory

Confidential Container Groups: Implementing Confidential Computing on Azure Container Instances

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

AMP: Authentication of Media via Provenance

CCF: A Framework for Building Confidential Verifiable Replicated Services

VC3: Trustworthy Data Analytics in the Cloud

Fast Byte-Granularity Software Fault Isolation

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