Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 229



211
TITLE: CRUTIAL:: The blueprint of a reference critical information infrastructure architecture  Full Text
AUTHORS: Veríssimo, P ; Neves, NF ; Correia, M ;
PUBLISHED: 2006, SOURCE: 1st International Workshop on Critical Information Infrastructures Security in CRITICAL INFORMATION INFRASTRUCTURES SECURITY, VOLUME: 4347
INDEXED IN: Scopus WOS DBLP CrossRef: 9
IN MY: ORCID | CIÊNCIAVITAE
212
TITLE: Experimental comparison of local and shared coin randomized consensus protocols  Full Text
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLISHED: 2006, SOURCE: 25th IEEE Symposium on Reliable Distributed Systems in SRDS 2006: 25TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: ORCID | CIÊNCIAVITAE
213
TITLE: From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures
AUTHORS: Correia, M ; Neves, NF ; Veríssimo, P ;
PUBLISHED: 2006, SOURCE: COMPUTER JOURNAL, VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 90
IN MY: ORCID | CIÊNCIAVITAE
214
TITLE: Randomized intrusion-tolerant asynchronous services
AUTHORS: Moniz, H ; Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLISHED: 2006, SOURCE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
INDEXED IN: Scopus WOS DBLP CrossRef: 18
IN MY: ORCID | CIÊNCIAVITAE
215
TITLE: Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces  Full Text
AUTHORS: Bessani, AN ; Correia, M ; Da Silva Fraga, J; Lung, LC;
PUBLISHED: 2006, SOURCE: 26th IEEE Internationa26th IEEE International Conference on Distributed Computing Systems, ICDCS 2006 in ICDCS, VOLUME: 2006
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
216
TITLE: Using attack injection to discover new vulnerabilities
AUTHORS: Neves, N ; Antunes, J; Correia, M ; Veríssimo, P ; Neves, R ;
PUBLISHED: 2006, SOURCE: International Conference on Dependable Systems and Networks in DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, VOLUME: 2006
INDEXED IN: Scopus WOS DBLP CrossRef: 31
IN MY: ORCID | CIÊNCIAVITAE
217
TITLE: Low complexity Byzantine-resilient consensus  Full Text
AUTHORS: Correia, M ; Neves, NF ; Lung, LC; Veríssimo, P ;
PUBLISHED: 2005, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 34
IN MY: ORCID | CIÊNCIAVITAE
218
TITLE: Solving vector consensus with a wormhole  Full Text
AUTHORS: Neves, NF ; Correia, M ; Veríssimo, P ;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 16, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 33
IN MY: ORCID | CIÊNCIAVITAE
219
TITLE: How to tolerate half less one Byzantine nodes in practical distributed systems  Full Text
AUTHORS: Correia, M ; Neves, NF ; Veríssimo, P ;
PUBLISHED: 2004, SOURCE: 23rd IEEE International Symposium on Reliable Distributed Systems in 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef: 68
IN MY: ORCID | CIÊNCIAVITAE
220
TITLE: Intrusion-tolerant architectures: Concepts and design
AUTHORS: Verissimo, PE ; Neves, NF ; Correia, MP ;
PUBLISHED: 2003, SOURCE: ICSE 2002 Workshop on Software Architectures for Dependable Systems, WADS 2002 in ARCHITECTING DEPENDABLE SYSTEMS, VOLUME: 2677
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
Page 22 of 23. Total results: 229.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service