Search results for "Nuno Ferreira Neves"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo	RITAS: Services for Randomized Intrusion Tolerance.	IEEE Trans. Dependable Sec. Comput.	2011	DBLP DOI BibTeX RDF
1	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo	Randomization can be a healer: consensus with dynamic omission failures.	Distributed Computing	2011	DBLP DOI BibTeX RDF
1	Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo	Byzantine consensus in asynchronous message-passing systems: a survey.	IJCCBS	2011	DBLP DOI BibTeX RDF
1	Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro	OS diversity for intrusion tolerance: Myth or reality?	DSN	2011	DBLP DOI BibTeX RDF
1	João Antunes, Nuno Ferreira Neves	DiveInto: Supporting Diversity in Intrusion-Tolerant Systems.	SRDS	2011	DBLP DOI BibTeX RDF
1	João Antunes, Nuno Ferreira Neves, Paulo Veríssimo	Reverse Engineering of Protocols from Network Traces.	WCRE	2011	DBLP DOI BibTeX RDF
1	João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Neves	Vulnerability Discovery with Attack Injection.	IEEE Trans. Software Eng.	2010	DBLP DOI BibTeX RDF
1	Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo	Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery.	IEEE Trans. Parallel Distrib. Syst.	2010	DBLP DOI BibTeX RDF	reactive recovery, firewall, Intrusion tolerance, proactive recovery
1	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia	Turquois: Byzantine consensus in wireless ad hoc networks.	DSN	2010	DBLP DOI BibTeX RDF
1	Paulo Sousa, Alysson Neves Bessani, Wagner Saback Dantas, Fabio Souto, Miguel Correia, Nuno Ferreira Neves	Intrusion-tolerant self-healing devices for critical infrastructure protection.	DSN	2009	DBLP DOI BibTeX RDF
1	Paulo Veríssimo, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Sousa	Designing Modular and Redundant Cyber Architectures for Process Control: Lessons learned.	HICSS	2009	DBLP DOI BibTeX RDF
1	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo	Randomization Can Be a Healer: Consensus with Dynamic Omission Failures.	DISC	2009	DBLP DOI BibTeX RDF
1	Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo	The Crutial Way of Critical Infrastructure Protection.	IEEE Security & Privacy	2008	DBLP DOI BibTeX RDF
1	João Antunes, Nuno Ferreira Neves, Paulo Veríssimo	Detection and Prediction of Resource-Exhaustion Vulnerabilities.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo	Worm-IT - A wormhole-based intrusion-tolerant group communication system.	Journal of Systems and Software	2007	DBLP DOI BibTeX RDF
1	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Veríssimo	Intrusion Tolerance in Wireless Environments: An Experimental Evaluation.	PRDC	2007	DBLP DOI BibTeX RDF
1	Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo	Resilient Intrusion Tolerance through Proactive and Reactive Recovery.	PRDC	2007	DBLP DOI BibTeX RDF
1	Manuel Mendonça, Nuno Ferreira Neves	Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities.	HASE	2007	DBLP DOI BibTeX RDF
1	Alysson Neves Bessani, Miguel Correia, Henrique Moniz, Nuno Ferreira Neves, Paulo Veríssimo	When 3f+1 Is Not Enough: Tradeoffs for Decentralized Asynchronous Byzantine Consensus.	DISC	2007	DBLP DOI BibTeX RDF
1	Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia, Yves Deswarte, Anas Abou El Kalam, Andrea Bondavalli, Alessandro Daidone	The CRUTIAL Architecture for Critical Information Infrastructures.	WADS	2007	DBLP DOI BibTeX RDF
1	Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo	From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures.	Comput. J.	2006	DBLP DOI BibTeX RDF
1	Paulo Veríssimo, Nuno Ferreira Neves, Christian Cachin, Jonathan A. Poritz, David Powell, Yves Deswarte, Robert J. Stroud, Ian Welch	Intrusion-tolerant middleware: the road to automatic security.	IEEE Security & Privacy	2006	DBLP DOI BibTeX RDF
1	Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia	CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture.	CRITIS	2006	DBLP DOI BibTeX RDF
1	Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves	Using Attack Injection to Discover New Vulnerabilities.	DSN	2006	DBLP DOI BibTeX RDF
1	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo	Randomized Intrusion-Tolerant Asynchronous Services.	DSN	2006	DBLP DOI BibTeX RDF
1	Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo, William H. Sanders	Proactive Resilience Revisited: The Delicate Balance Between Resisting Intrusions and Remaining Available.	SRDS	2006	DBLP DOI BibTeX RDF
1	Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo	Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols.	SRDS	2006	DBLP DOI BibTeX RDF
1	Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo	Proactive resilience through architectural hybridization.	SAC	2006	DBLP DOI BibTeX RDF	secret sharing, intrusion tolerance, proactive recovery
1	Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo	Solving Vector Consensus with a Wormhole.	IEEE Trans. Parallel Distrib. Syst.	2005	DBLP DOI BibTeX RDF	Byzantine asynchronous protocols, Distributed systems, consensus
1	Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo	Low complexity Byzantine-resilient consensus.	Distributed Computing	2005	DBLP DOI BibTeX RDF	distributed systems models, distributed algorithms, consensus, intrusion tolerance, Byzantine fault tolerance
1	Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo	Resilient State Machine Replication.	PRDC	2005	DBLP DOI BibTeX RDF
1	Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo	How Resilient are Distributed f Fault/Intrusion-Tolerant Systems?	DSN	2005	DBLP DOI BibTeX RDF
1	Manuel Mendonça, Nuno Ferreira Neves	Secure Application Updates on Point of Sale Devices.	ICETE	2004	DBLP BibTeX RDF
1	Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo	How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems.	SRDS	2004	DBLP DOI BibTeX RDF
1	Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo	Tolerating Intrusions in Grid Systems.	Security and Management	2004	DBLP BibTeX RDF
1	Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo	Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model.	SRDS	2002	DBLP DOI BibTeX RDF
1	Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves	The Design of a COTSReal-Time Distributed Security Kernel.	EDCC	2002	DBLP DOI BibTeX RDF
1	Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia	Intrusion-Tolerant Architectures: Concepts and Design.	WADS	2002	DBLP DOI BibTeX RDF
1	Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves	The Architecture of a Secure Group Communication System Based on Intrusion Tolerance.	ICDCS Workshops	2001	DBLP DOI BibTeX RDF

Publications of "Nuno Ferreira Neves" ( http://dblp.L3S.de/Authors/Nuno_Ferreira_Neves )