Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 259



241
TITLE: Experimental comparison of local and shared coin randomized consensus protocols  Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
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: 11
IN MY: ORCID | DBLP | CIÊNCIAVITAE
242
TITLE: From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures
AUTHORS: Correia, M ; Neves, NF ; Verissimo, P ;
PUBLISHED: 2006, SOURCE: COMPUTER JOURNAL, VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 71
IN MY: ORCID | DBLP | CIÊNCIAVITAE
243
TITLE: Randomized intrusion-tolerant asynchronous services
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
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: 15
IN MY: ORCID | DBLP | CIÊNCIAVITAE
244
TITLE: Sharing memory between Byzantine processes using policy-enforced tuple spaces
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 Proceedings - International Conference on Distributed Computing Systems, VOLUME: 2006
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
245
TITLE: Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces
AUTHORS: Alysson Neves Bessani ; Joni da Silva Fraga; Miguel Correia ; Lau Cheuk Lung;
PUBLISHED: 2006, SOURCE: 26th IEEE International Conference on Distributed Computing Systems (ICDCS 2006), 4-7 July 2006, Lisboa, Portugal
INDEXED IN: DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
246
TITLE: Using attack injection to discover new vulnerabilities
AUTHORS: Nuno Neves ; Joao Antunes; Miguel Correia ; Paulo Verissimo ; Rui Neves ;
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: 29
IN MY: ORCID | DBLP | CIÊNCIAVITAE
247
TITLE: Low complexity Byzantine-resilient consensus  Full Text
AUTHORS: Correia, M ; Neves, NF ; Lung, LC; Verissimo, P ;
PUBLISHED: 2005, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 17, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 29
IN MY: ORCID | DBLP | CIÊNCIAVITAE
248
TITLE: Solving vector consensus with a wormhole  Full Text
AUTHORS: Neves, NF ; Correia, M ; Verissimo, P ;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 16, ISSUE: 12
INDEXED IN: Scopus WOS DBLP CrossRef: 23
IN MY: ORCID | DBLP | CIÊNCIAVITAE
249
TITLE: How to tolerate half less one Byzantine nodes in practical distributed systems  Full Text
AUTHORS: Correia, M ; Neves, NF ; Verissimo, 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: 58
IN MY: ORCID | DBLP | CIÊNCIAVITAE
250
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 25 of 26. Total results: 259.

footer slogan

Useful Links

Get Help

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