Search results for "Manuel Costa"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Manuel Costa, Engin Kirda (eds.)	Proceedings of the Third European Workshop on System Security, EUROSEC 2010, Paris, France, April 13, 2010	EUROSEC	2010	DBLP BibTeX RDF
1	Jean-Phillipe Martin, Michael Hicks, Manuel Costa, Periklis Akritidis, Miguel Castro	Dynamically checking ownership policies in concurrent c/c++ programs.	POPL	2010	DBLP DOI BibTeX RDF	security, testing, concurrency, debugging, tools, dynamic analysis
1	Miguel Castro, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham, Richard Black	Fast byte-granularity software fault isolation.	SOSP	2009	DBLP DOI BibTeX RDF	device drivers, isolation
1	Evangelos P. Markatos, Manuel Costa (eds.)	Proceedings of the Second European Workshop on System Security, EUROSEC 2009, Nuremburg, Germany, March 31, 2009	EUROSEC	2009	DBLP BibTeX RDF
1	Periklis Akritidis, Manuel Costa, Miguel Castro, Steven Hand	Baggy Bounds Checking: An Efficient and Backwards-Compatible Defense against Out-of-Bounds Errors.	USENIX Security Symposium	2009	DBLP BibTeX RDF
1	Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham	Vigilante: End-to-end containment of Internet worm epidemics.	ACM Trans. Comput. Syst.	2008	DBLP DOI BibTeX RDF	self-certifying alerts, vulnerability condition slicing, program analysis, dynamic data-flow analysis, Worm containment
1	Periklis Akritidis, Cristian Cadar, Costin Raiciu, Manuel Costa, Miguel Castro	Preventing Memory Error Exploits with WIT.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	static analysis, instrumentation, attack detection, memory errors
1	Miguel Castro, Manuel Costa, Jean-Philippe Martin	Better bug reporting with better privacy.	ASPLOS	2008	DBLP DOI BibTeX RDF	privacy, symbolic execution, constraint solving, bug reports
1	Manuel Costa, Miguel Castro, Lidong Zhou, Lintao Zhang, Marcus Peinado	Bouncer: securing software by blocking bad input.	SOSP	2007	DBLP DOI BibTeX RDF	precondition slicing, symbolic execution
1	Miguel Castro, Manuel Costa, Timothy L. Harris	Securing Software by Enforcing Data-flow Integrity.	OSDI	2006	DBLP BibTeX RDF
1	Miguel Castro, Manuel Costa, Antony I. T. Rowstron	Debunking Some Myths About Structured and Unstructured Overlays.	NSDI	2005	DBLP BibTeX RDF
1	Manuel Costa, Jon Crowcroft, Miguel Castro, Antony I. T. Rowstron, Lidong Zhou, Lintao Zhang, Paul Barham	Vigilante: end-to-end containment of internet worms.	SOSP	2005	DBLP DOI BibTeX RDF	self-certifying alerts, data flow analysis, control flow analysis, worm containment
1	Lidong Zhou, Lintao Zhang, Frank McSherry, Nicole Immorlica, Manuel Costa, Steve Chien	A First Look at Peer-to-Peer Worms: Threats and Defenses.	IPTPS	2005	DBLP DOI BibTeX RDF
1	Miguel Castro, Manuel Costa, Antony I. T. Rowstron	Should we build Gnutella on a structured overlay?	Computer Communication Review	2004	DBLP DOI BibTeX RDF
1	Miguel Castro, Manuel Costa, Antony I. T. Rowstron	Performance and Dependability of Structured Peer-to-Peer Overlays.	DSN	2004	DBLP DOI BibTeX RDF
1	Manuel Costa, Miguel Castro, Antony I. T. Rowstron, Peter B. Key	PIC: Practical Internet Coordinates for Distance Estimation.	ICDCS	2004	DBLP DOI BibTeX RDF
1	Manuel Costa, Paulo Guedes, Manuel Sequeira, Nuno Neves, Miguel Castro	Lightweight Logging for Lazy Release Consistent Distributed Shared Memory.	OSDI	1996	DBLP DOI BibTeX RDF
1	Miguel Castro, Manuel Sequeira, Manuel Costa, Paulo Guedes	Efficient and Flexible Object Sharing.	ICPP, Vol. 1	1996	DBLP BibTeX RDF

Publications of "Manuel Costa" ( http://dblp.L3S.de/Authors/Manuel_Costa )