Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 203



181
TITLE: Worm-IT - A wormhole-based intrusion-tolerant group communication system  Full Text
AUTHORS: Miguel Correia ; Nuno Ferreira Neves ; Lau Cheuk Lung; Paulo Verissimo ;
PUBLISHED: 2007, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 80, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef: 15
IN MY: ORCID | DBLP
182
TITLE: An Infrastructure for Adaptive Fault Tolerance on FT-CORBA
AUTHORS: Lau Cheuk Lung; Fábio Favarim; Giuliana Teixeira Santos; Miguel Correia ;
PUBLISHED: 2006, SOURCE: 9th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2006 in Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 24-26 April 2006, Gyeongju, Korea
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
183
TITLE: Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems
AUTHORS: Alysson Neves Bessani ; Miguel Correia ; Joni D da Silva Fraga; Lau Cheuk Lung;
PUBLISHED: 2006, SOURCE: 20th International Symposium on Distributed Computing in Distributed Computing, Proceedings, VOLUME: 4167
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
184
TITLE: CRUTIAL: The blueprint of a reference critical information infrastructure architecture  Full Text
AUTHORS: Paulo Verissimo ; Nuno Ferreira Neves ; Miguel Correia ;
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 | DBLP
185
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
186
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
187
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
188
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
189
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
190
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
Page 19 of 21. Total results: 203.

footer slogan

Useful Links

Get Help

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