Search results for "Miguel Castro"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Miguel Castro, Antonio J. Jara, Antonio F. Gómez-Skarmeta	Analysis of the Future Internet of Things Capabilities for Continuous Temperature Monitoring of Blood Bags in Terrestrial Logistic Systems.	ICHIT	2011	DBLP DOI 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	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	Bartlomiej Wilkowski, Óscar Narciso Mortágua Pereira, Paulo Dias, Miguel Castro, Marcin Janicki	MIAWARE Software - 3D Medical Image Analysis with Automated Reporting Engine and Ontology-based Search.	HEALTHINF	2008	DBLP BibTeX RDF
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, John Wilkes	Third Workshop on Hot Topics in System Dependability HotDep'07.	DSN	2007	DBLP DOI BibTeX RDF
1	Miguel Castro, Manuel Costa, Timothy L. Harris	Securing Software by Enforcing Data-flow Integrity.	OSDI	2006	DBLP BibTeX RDF
1	Matthew Caesar, Miguel Castro, Edmund B. Nightingale, Greg O'Shea, Antony I. T. Rowstron	Virtual ring routing: network routing inspired by DHTs.	SIGCOMM	2006	DBLP DOI BibTeX RDF	wireless, distributed hash table, network routing
1	Wenjun Hu, Miguel Castro, Jon Crowcroft, Greg O'Shea, Antony I. T. Rowstron	Network coding with traffic engineering.	CoNEXT	2006	DBLP DOI BibTeX RDF
1	Landon P. Cox, Miguel Castro, Antony I. T. Rowstron	POS: A Practical Order Statistics Service forWireless Sensor Networks.	ICDCS	2006	DBLP DOI BibTeX RDF
1	José Alí Moreno, Miguel Castro	Heuristic Algorithm for Robot Path Planning Based on a Growing Elastic Net.	EPIA	2005	DBLP DOI 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	Miguel Castro, Robbert van Renesse (eds.)	Peer-to-Peer Systems IV, 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers	IPTPS	2005	DBLP 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	Atul Singh, Miguel Castro, Peter Druschel, Antony I. T. Rowstron	Defending against eclipse attacks on overlay networks.	ACM SIGOPS European Workshop	2004	DBLP DOI BibTeX RDF
1	Yolande Berbers, Miguel Castro (eds.)	Proceedings of the 11st ACM SIGOPS European Workshop, Leuven, Belgium, September 19-22, 2004	ACM SIGOPS European Workshop	2004	DBLP 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	Miguel Castro, Rodrigo Rodrigues, Barbara Liskov	BASE: Using abstraction to improve fault tolerance.	ACM Trans. Comput. Syst.	2003	DBLP DOI BibTeX RDF	asynchronous systems, Byzantine fault tolerance, N-version programming, state machine replication, proactive recovery
1	Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh	SplitStream: high-bandwidth multicast in cooperative environments.	SOSP	2003	DBLP DOI BibTeX RDF	end-system multicast, peer-to-peer, video streaming, content distribution, application-level multicast
1	Ratul Mahajan, Miguel Castro, Antony I. T. Rowstron	Controlling the Cost of Reliability in Peer-to-Peer Overlays.	IPTPS	2003	DBLP DOI BibTeX RDF
1	Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony I. T. Rowstron, Atul Singh	SplitStream: High-Bandwidth Content Distribution in Cooperative Environments.	IPTPS	2003	DBLP DOI BibTeX RDF
1	Miguel Castro, Michael B. Jones, Anne-Marie Kermarrec, Antony I. T. Rowstron, Marvin Theimer, Helen J. Wang, Alec Wolman	An Evaluation of Scalable Application-Level Multicast Built Using Peer-To-Peer Overlays.	INFOCOM	2003	DBLP BibTeX RDF
1	Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron	Scalable Application-Level Anycast for Highly Dynamic Groups.	Networked Group Communication	2003	DBLP DOI BibTeX RDF
1	Miguel Castro, Peter Druschel, Y. Charlie Hu, Antony I. T. Rowstron	Topology-Aware Routing in Structured Peer-to-Peer Overlay Networks.	Future Directions in Distributed Computing	2003	DBLP DOI BibTeX RDF
1	Miguel Castro, Barbara Liskov	Practical byzantine fault tolerance and proactive recovery.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	state transfer, asynchronous systems, Byzantine fault tolerance, state machine replication, proactive recovery
1	Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Antony I. T. Rowstron	One ring to rule them all: service discovery and binding in structured peer-to-peer overlay networks.	ACM SIGOPS European Workshop	2002	DBLP DOI BibTeX RDF
1	Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer	FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment.	OSDI	2002	DBLP BibTeX RDF
1	Miguel Castro, Peter Druschel, Ayalvadi J. Ganesh, Antony I. T. Rowstron, Dan S. Wallach	Secure Routing for Structured Peer-to-Peer Overlay Networks.	OSDI	2002	DBLP BibTeX RDF
1	Rodrigo Rodrigues, Miguel Castro, Barbara Liskov	BASE: Using Abstraction to Improve Fault Tolerance.	SOSP	2001	DBLP DOI BibTeX RDF
1	Miguel Castro, Barbara Liskov	Byzantine Fault Tolerance Can Be Fast.	DSN	2001	DBLP DOI BibTeX RDF
1	Miguel Castro, Rodrigo Rodrigues, Barbara Liskov	Using Abstraction To Improve Fault Tolerance.	HotOS	2001	DBLP DOI BibTeX RDF
1	Antony I. T. Rowstron, Anne-Marie Kermarrec, Miguel Castro, Peter Druschel	SCRIBE: The Design of a Large-Scale Event Notification Infrastructure.	Networked Group Communication	2001	DBLP DOI BibTeX RDF
1	Isidoro García-Cruz, Miguel Castro, Annik Vivier-Bunge	DFT and MP2 molecular orbital determination of OH-toluene-O2 isomeric structures in the atmospheric oxidation of toluene.	Journal of Computational Chemistry	2000	DBLP DOI BibTeX RDF
1	Miguel Castro, Barbara Liskov	Proactive Recovery in a Byzantine-Fault-Tolerant System.	OSDI	2000	DBLP BibTeX RDF
1	Miguel Castro, Barbara Liskov	Practical Byzantine Fault Tolerance.	OSDI	1999	DBLP DOI BibTeX RDF
1	Barbara Liskov, Miguel Castro, Liuba Shrira, Atul Adya	Providing Persistent Objects in Distributed Systems.	ECOOP	1999	DBLP DOI BibTeX RDF
1	Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers	HAC: Hybrid Adaptive Caching for Distributed Storage Systems.	SOSP	1997	DBLP DOI BibTeX RDF
1	Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, Liuba Shrira	Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System.	ICDCS	1997	DBLP BibTeX RDF
1	Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya	How to scale transactional storage systems.	ACM SIGOPS European Workshop	1996	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
1	Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira	Safe and Efficient Sharing of Persistent Objects in Thor.	SIGMOD Conference	1996	DBLP DOI BibTeX RDF
1	Barbara Liskov, Atul Adya, Miguel Castro, Quinton Zondervan	Type-Safe Heterogeneous Sharing can be Fast.	POS	1996	DBLP BibTeX RDF
1	Liuba Shrira, Barbara Liskov, Miguel Castro, Atul Adya	Fragment Reconstruction: A New Cache Coherence Scheme for Split Caching Storage Systems.	POS	1996	DBLP BibTeX RDF
1	Paulo Guedes, Miguel Castro, Nuno Neves	The DiSOM Distributed Shared Object Memory.	ACM SIGOPS European Workshop	1994	DBLP BibTeX RDF
1	Nuno Neves, Miguel Castro, Paulo Guedes	A Checkpoint Protocol for an Entry Consistent Shared Memory System.	PODC	1994	DBLP DOI BibTeX RDF
1	Miguel Castro, Nuno Neves, Pedro Trancuso, Pedro Manuel Antunes Sousa	MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel.	USENIX MACH Symposium	1993	DBLP BibTeX RDF
1	Paulo Guedes, Miguel Castro	Distributed Shared Object Memory.	Workshop on Workstation Operating Systems	1993	DBLP BibTeX RDF

Publications of "Miguel Castro" ( http://dblp.L3S.de/Authors/Miguel_Castro )