Manuel Costa - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 35 from 35

2024

Why Should I Trust Your Code?Antoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich. CACM, 67(1):68-76, January 2024. [doi]

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 trustworthyAntoine Delignat-Lavaud, Cédric Fournet, Kapil Vaswani, Sylvan Clebsch, Maik Riechert, Manuel Costa, Mark Russinovich. queue, 21(4):94-122, 2023. [doi]

2022

IA-CCF: Individual Accountability for Permissioned LedgersAlex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro 0001, 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. NSDI 2022: 467-491 [doi]

2021

Toward confidential cloud computingMark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia. CACM, 64(6):54-61, 2021. [doi]

Toward Confidential Cloud Computing: Extending hardware-enforced cryptographic protection to data while in useMark Russinovich, Manuel Costa, Cédric Fournet, David Chisnall, Antoine Delignat-Lavaud, Sylvan Clebsch, Kapil Vaswani, Vikas Bhatia. queue, 19(1):49-76, 2021. [doi]

2018

EnclaveDB: A Secure Database Using SGXChristian Priebe, Kapil Vaswani, Manuel Costa. sp 2018: 264-278 [doi]

2017

2016

2015

2014

Docovery: toward generic automatic document recoveryTomasz Kuchta, Cristian Cadar, Miguel Castro, Manuel Costa. ASE 2014: 563-574 [doi]

2010

Dynamically checking ownership policies in concurrent c/c++ programsJean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro. POPL 2010: 457-470 [doi]

2009

Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds ErrorsPeriklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand. uss 2009: 51-66 [doi]

Fast byte-granularity software fault isolationMiguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black. sosp 2009: 45-58 [doi]

2008

2007

Bouncer: securing software by blocking bad inputManuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado. sosp 2007: 117-130 [doi]

2006

Securing Software by Enforcing Data-flow IntegrityMiguel Castro, Manuel Costa, Tim Harris. osdi 2006: 147-160 [doi]

2005

2004

Should we build Gnutella on a structured overlay?Miguel Castro, Manuel Costa, Antony I. T. Rowstron. ccr, 34(1):131-136, 2004. [doi]

Performance and Dependability of Structured Peer-to-Peer OverlaysMiguel Castro, Manuel Costa, Antony I. T. Rowstron. dsn 2004: 9-18 [doi]

PIC: Practical Internet Coordinates for Distance EstimationManuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key. icdcs 2004: 178-187 [doi]

2003

Mobile Augmented Reality for Environmental Management (MARE)José Danado, A. Eduardo Dias, Teresa Romão, Nuno Correia 0001, Adelaide Trabuco, Carlos Santos 0001, David Araújo, Pedro Duarte, Rui Rebocho, Jose Palmeiro, Joao Serpa, Manuel Costa, António S. Câmara. eurographics 2003: [doi]

1996

Efficient and Flexible Object SharingMiguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes. icpp 1996: 128-137

Lightweight Logging for Lazy Release Consistent Distributed Shared MemoryManuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro. osdi 1996: 59-73

Sign in or sign up to see more results.

runs on WebDSL