Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 259



181
TITLE: Byzantine Fault-Tolerant Transaction Processing for Replicated Databases
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ;
PUBLISHED: 2011, SOURCE: 10th IEEE International Symposium on Network Computing and Applications (NCA) in 2011 10TH IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
182
TITLE: DepSky. dependable and secure storage in a cloud-of-clouds
AUTHORS: Alysson Bessani ; Miguel Correia ; Bruno Quaresma; Fernando André; Paulo Sousa;
PUBLISHED: 2011, SOURCE: Proceedings of the sixth conference on Computer systems - EuroSys '11
INDEXED IN: CrossRef: 166
IN MY: ORCID | CIÊNCIAVITAE
183
TITLE: DEPSKY: Dependable and Secure Storage in a Cloud-of-Clouds
AUTHORS: Alysson Bessani ; Miguel Correia ; Bruno Quaresma; Fernando Andre; Paulo Sousa;
PUBLISHED: 2011, SOURCE: 6th ACM EuroSys Conference on Computer Systems (EuroSys 2011) in EUROSYS 11: PROCEEDINGS OF THE EUROSYS 2011 CONFERENCE
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
184
TITLE: Intrusion Tolerant Services Through Virtualization: a Shared Memory Approach
AUTHORS: Valdir Stumm Junior; Lau Cheuk Lung; Miguel Correia ; Joni da Silva Fraga; Jim Lau;
PUBLISHED: 2011, SOURCE: 24th IEEE International Conference on Advanced Information Networking and Applications (AINA) in 2010 24TH IEEE INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS (AINA)
INDEXED IN: Scopus WOS
IN MY: ORCID | CIÊNCIAVITAE
185
TITLE: Lucy in the sky without diamonds: Stealing confidential data in the cloud
AUTHORS: Francisco Rocha; Miguel Correia ;
PUBLISHED: 2011, SOURCE: 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops, DSN-W 2011 in IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W 2011), Hong Kong, China, June 27-30, 2011.
INDEXED IN: Scopus DBLP CrossRef: 82
IN MY: ORCID | DBLP | CIÊNCIAVITAE
186
TITLE: N-party BAR Transfer  Full Text
AUTHORS: Xavier Vilaca; Joao Leitao ; Miguel Correia ; Luis Rodrigues ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Principles of Distributed Systems (OPODIS 2011) in PRINCIPLES OF DISTRIBUTED SYSTEMS, VOLUME: 7109
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
187
TITLE: Randomization can be a healer: consensus with dynamic omission failures  Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, ISSUE: 3-4
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
188
TITLE: RITAS: Services for Randomized Intrusion Tolerance  Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 24
IN MY: ORCID | DBLP | CIÊNCIAVITAE
189
TITLE: The Final Frontier: Confidentiality and Privacy in the Cloud  Full Text
AUTHORS: Francisco Rocha; Salvador Abreu ; Miguel Correia ;
PUBLISHED: 2011, SOURCE: COMPUTER, VOLUME: 44, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 29
IN MY: ORCID | DBLP
190
TITLE: 4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010
AUTHORS: Correia, M ; Pal, P;
PUBLISHED: 2010, SOURCE: 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2010 in Proceedings of the International Conference on Dependable Systems and Networks
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 19 of 26. Total results: 259.

footer slogan

Useful Links

Get Help

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