Nuno Ferreira Neves

	2011
39		Miguel Garcia, Alysson Neves Bessani, Ilir Gashi, Nuno Ferreira Neves, Rafael R. Obelheiro: OS diversity for intrusion tolerance: Myth or reality? DSN 2011: 383-394
38		João Antunes, Nuno Ferreira Neves: DiveInto: Supporting Diversity in Intrusion-Tolerant Systems. SRDS 2011: 137-146
37		João Antunes, Nuno Ferreira Neves, Paulo Veríssimo: Reverse Engineering of Protocols from Network Traces. WCRE 2011: 169-178
36		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomization can be a healer: consensus with dynamic omission failures. Distributed Computing 24(3-4): 165-175 (2011)
35		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: RITAS: Services for Randomized Intrusion Tolerance. IEEE Trans. Dependable Sec. Comput. 8(1): 122-136 (2011)
34		Miguel Correia, Giuliana Santos Veronese, Nuno Ferreira Neves, Paulo Veríssimo: Byzantine consensus in asynchronous message-passing systems: a survey. IJCCBS 2(2): 141-161 (2011)
	2010
33		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia: Turquois: Byzantine consensus in wireless ad hoc networks. DSN 2010: 537-546
32		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. 21(4): 452-465 (2010)
31		João Antunes, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo, Rui Neves: Vulnerability Discovery with Attack Injection. IEEE Trans. Software Eng. 36(3): 357-370 (2010)
	2009
30		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomization Can Be a Healer: Consensus with Dynamic Omission Failures. DISC 2009: 63-77
29		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: 217-222
28		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: 1-8
	2008
27		João Antunes, Nuno Ferreira Neves, Paulo Veríssimo: Detection and Prediction of Resource-Exhaustion Vulnerabilities. ISSRE 2008: 87-96
26		Alysson Neves Bessani, Paulo Sousa, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: The Crutial Way of Critical Infrastructure Protection. IEEE Security & Privacy 6(6): 44-51 (2008)
	2007
25		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: 480-481
24		Manuel Mendonça, Nuno Ferreira Neves: Fuzzing Wi-Fi Drivers to Locate Security Vulnerabilities. HASE 2007: 379-380
23		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Antonio Casimiro, Paulo Veríssimo: Intrusion Tolerance in Wireless Environments: An Experimental Evaluation. PRDC 2007: 357-364
22		Paulo Sousa, Alysson Neves Bessani, Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: Resilient Intrusion Tolerance through Proactive and Reactive Recovery. PRDC 2007: 373-380
21		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: 1-27
20		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 80(2): 178-197 (2007)
	2006
19		Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture. CRITIS 2006: 1-14
18		Nuno Ferreira Neves, João Antunes, Miguel Correia, Paulo Veríssimo, Rui Neves: Using Attack Injection to Discover New Vulnerabilities. DSN 2006: 457-466
17		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Randomized Intrusion-Tolerant Asynchronous Services. DSN 2006: 568-577
16		Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: Proactive resilience through architectural hybridization. SAC 2006: 686-690
15		Henrique Moniz, Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols. SRDS 2006: 235-244
14		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: 71-82
13		Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures. Comput. J. 49(1): 82-96 (2006)
12		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 4(4): 54-62 (2006)
	2005
11		Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: How Resilient are Distributed f Fault/Intrusion-Tolerant Systems? DSN 2005: 98-107
10		Paulo Sousa, Nuno Ferreira Neves, Paulo Veríssimo: Resilient State Machine Replication. PRDC 2005: 305-309
9		Miguel Correia, Nuno Ferreira Neves, Lau Cheuk Lung, Paulo Veríssimo: Low complexity Byzantine-resilient consensus. Distributed Computing 17(3): 237-249 (2005)
8		Nuno Ferreira Neves, Miguel Correia, Paulo Veríssimo: Solving Vector Consensus with a Wormhole. IEEE Trans. Parallel Distrib. Syst. 16(12): 1120-1131 (2005)
	2004
7		Manuel Mendonça, Nuno Ferreira Neves: Secure Application Updates on Point of Sale Devices. ICETE (2) 2004: 38-45
6		Miguel Correia, Nuno Ferreira Neves, Paulo Veríssimo: How to Tolerate Half Less One Byzantine Nodes in Practical Distributed Systems. SRDS 2004: 174-183
5		Luis Sardinha, Nuno Ferreira Neves, Paulo Veríssimo: Tolerating Intrusions in Grid Systems. Security and Management 2004: 207-220
	2002
4		Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Design of a COTSReal-Time Distributed Security Kernel. EDCC 2002: 234-252
3		Miguel Correia, Lau Cheuk Lung, Nuno Ferreira Neves, Paulo Veríssimo: Efficient Byzantine-Resilient Reliable Multicast on a Hybrid Failure Model. SRDS 2002: 2-11
2		Paulo Veríssimo, Nuno Ferreira Neves, Miguel Correia: Intrusion-Tolerant Architectures: Concepts and Design. WADS 2002: 3-36
	2001
1		Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves: The Architecture of a Secure Group Communication System Based on Intrusion Tolerance. ICDCS Workshops 2001: 17-24

Coauthor Index

1	João Antunes	[18] [27] [31] [37] [38]
2	Alysson Neves Bessani	[22] [25] [26] [28] [29] [32] [39]
3	Andrea Bondavalli	[21]
4	Christian Cachin	[12]
5	Antonio Casimiro	[23]
6	Miguel Correia (Miguel P. Correia)	[1] [2] [3] [4] [6] [8] [9] [13] [15] [17] [18] [19] [20] [21] [22] [23] [25] [26] [28] [29] [30] [31] [32] [33] [34] [35] [36]
7	Alessandro Daidone	[21]
8	Wagner Saback Dantas	[29]
9	Yves Deswarte	[12] [21]
10	Miguel Garcia (Miguel García Pineda)	[39]
11	Ilir Gashi	[39]
12	Anas Abou El Kalam	[21]
13	Lau Cheuk Lung	[3] [9] [20]
14	Manuel Mendonça	[7] [24]
15	Henrique Moniz	[15] [17] [23] [25] [30] [33] [35] [36]
16	Rui Neves	[18] [31]
17	Rafael R. Obelheiro	[39]
18	Jonathan A. Poritz	[12]
19	David Powell	[12]
20	William H. Sanders	[14]
21	Luis Sardinha	[5]
22	Paulo Sousa (Paulo Jorge Paiva de Sousa)	[10] [11] [14] [16] [22] [26] [28] [29] [32]
23	Fabio Souto	[29]
24	Robert J. Stroud	[12]
25	Paulo Veríssimo	[1] [2] [3] [4] [5] [6] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [25] [26] [27] [28] [30] [31] [32] [34] [35] [36] [37]
26	Giuliana Santos Veronese	[34]
27	Ian Welch (Ian S. Welch)	[12]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page