Publications Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, and Miguel Castro, "Preventing memory error exploits with WIT ", IEEE Symposium on Security and Privacy, Oakland, California, USA, May 2008. [pdf]
Miguel Castro, Manuel Costa, and Jean-Philippe Martin, "Better bug reporting with better privacy ", Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'08), Seattle, WA, USA, March 2008. [pdf]
Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, and Marcus Peinado, "Bouncer: Securing Software by Blocking Bad Input ", Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP'07), Stevenson, WA, USA, October 2007. [ pdf ]
Miguel Castro, Manuel Costa, and Tim Harris, "Securing software by enforcing data-flow integrity", Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI'06), Seattle, USA, November 2006 [ pdf ] .
Manuel Costa, "End-to-End Containment of Internet Worm Epidemics", PhD Thesis, University of Cambridge, Computer Laboratory, October 2006 [ pdf ] .
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, and Paul Barham, "Stopping Internet Epidemics", Proceedings of the International Zurich Seminar on Communications (IZS'06), Zurich, Switzerland, February 2006.
Manuel Costa, Jon Crowcroft, Miguel Castro, Antony Rowstron, Lidong Zhou, Lintao Zhang, and Paul Barham, "Vigilante: End-to-End Containment of Internet Worms", Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP'05), Brighton, UK, October 2005. [ ps | pdf ] (Award paper)
Miguel Castro, Manuel Costa, and Antony Rowstron, "Debunking some myths about structured and unstructured overlays", Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI'05), Boston, MA, USA, May 2005. [ ps | pdf ]
Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, and Steve Chien, "A First Look at Peer-to-Peer Worms: Threats and Defenses", Proceedings of the 4th International Workshop on Peer-to-Peer Systems (IPTPS05), Ithaca, New York, February, 2005. [ pdf ]
Manuel Costa, Jon Crowcroft, Miguel Castro and Antony Rowstron, "Can we contain Internet worms?", Proceedings of the Third Workshop on Hot Topics in Networks (HotNets III), San Diego, California, USA, November 2004. [ ps | pdf ]
Manuel Costa, Miguel Castro, Antony Rowstron, and Peter Key, "PIC: Practical Internet Coordinates for Distance Estimation", Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04), Tokyo, Japan , March 2004. [ ps | pdf ]
Miguel Castro, Manuel Costa and Antony Rowstron, "Performance and Dependability of structured peer-to-peer overlays", Proceedings of the International Conference on Dependable Systems and Networks (DSN-2004), Florence, Italy, (June 2004) [ ps | PDF]
Miguel Castro, Manuel Costa and Antony Rowstron, "Should we build Gnutella on a structured overlay?" Proceedings of the Second Workshop on Hot Topics in Networks (HotNets-II), Cambridge, MA, USA, November 2003. [ ps | pdf ]
Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves and Miguel Castro, "Lightweight Logging for Lazy Release Consistent Distributed Shared Memory" Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (OSDI'96), Seattle, WA, USA, October 1996.
Manuel Costa and Paulo Guedes, "Two-Level Recovery For Distributed Shared Memory" Proceedings of the European Research Seminar on Advances in Distributed Systems (ERSADS'97), Zinal, Switzerland, March 1997.
Miguel Castro, Paulo Guedes, Manuel Sequeira and Manuel Costa, "Efficient and Flexible Object Sharing" Proceedings of the International Conference on Parallel Processing (ICPP'96), Chicago, USA, August 1996. |
