Manuel Costa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
14
Active years
1996–2022
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | NSDI | IA-CCF: Individual Accountability for Permissioned Ledgers. | Alex Shamis, Peter R. Pietzuch, Burcu Canakci, Miguel Castro, Cdric Fournet, Edward Ashton, Amaury Chamayou, Sylvan Clebsch, Antoine Delignat-Lavaud, Matthew Kerner, Julien Maffre, Olga Vrousgou, Christoph M. Wintersteiger, Manuel Costa, Mark Russinovich |
| 2021 | MMSys | AMP: authentication of media via provenance. | Paul England, Henrique S. Malvar, Eric Horvitz, Jack W. Stokes, Cdric 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 |
| 2018 | SP | EnclaveDB: A Secure Database Using SGX. | Christian Priebe, Kapil Vaswani, Manuel Costa |
| 2017 | PLDI | Simple, fast, and safe manual memory management. | Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein |
| 2016 | PLDI | 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 |
| 2015 | CCS | Observing and Preventing Leakage in MapReduce. | Olga Ohrimenko, Manuel Costa, Cdric Fournet, Christos Gkantsidis, Markulf Kohlweiss, Divya Sharma |
| 2015 | HotOS | 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 |
| 2015 | SP | VC3: Trustworthy Data Analytics in the Cloud Using SGX. | Felix Schuster, Manuel Costa, Cdric Fournet, Christos Gkantsidis, Marcus Peinado, Gloria Mainar-Ruiz, Mark Russinovich |
| 2010 | POPL | Dynamically checking ownership policies in concurrent c/c++ programs. | Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro |
| 2009 | SOSP | Fast byte-granularity software fault isolation. | Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black |
| 2008 | ASPLOS | Better bug reporting with better privacy. | Miguel Castro, Manuel Costa, Jean-Philippe Martin |
| 2008 | SP | Preventing Memory Error Exploits with WIT. | Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro |
| 2007 | SOSP | Bouncer: securing software by blocking bad input. | Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado |
| 2006 | OSDI | Securing Software by Enforcing Data-flow Integrity. | Miguel Castro, Manuel Costa, Tim Harris |
| 2005 | NSDI | Debunking Some Myths About Structured and Unstructured Overlays. | Miguel Castro, Manuel Costa, Antony I. T. Rowstron |
| 2005 | SIGGRAPH | 3D environments as social learning tools: the VIRTU@LIS experience. | Tiago de Sousa Pedrosa, gela Guimares Pereira, Nuno Cardoso, Manuel Costa, Tiago Carita, Edmundo Nobre, Pedro Pedrosa, Nuno Capeta, Srgio Estvo |
| 2005 | SOSP | Vigilante: end-to-end containment of internet worms. | Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham |
| 2004 | DSN | Performance and Dependability of Structured Peer-to-Peer Overlays. | Miguel Castro, Manuel Costa, Antony I. T. Rowstron |
| 2004 | ICDCS | PIC: Practical Internet Coordinates for Distance Estimation. | Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key |
| 1996 | ICPP | Efficient and Flexible Object Sharing. | Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes |
| 1996 | OSDI | Lightweight Logging for Lazy Release Consistent Distributed Shared Memory. | Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro |