Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publications Requiring Validation

41
TITLE: Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols
AUTHORS: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2312.05714
INDEXED IN: DBLP
IN MY: DBLP
42
TITLE: I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
AUTHORS: Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
INDEXED IN: DBLP
IN MY: DBLP
43
TITLE: Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
AUTHORS: Miguel Correia; Wellington Oliveira; José Cecílio;
PUBLISHED: 2023, SOURCE: J. Syst. Archit., VOLUME: 145
INDEXED IN: DBLP
IN MY: DBLP
44
TITLE: A Survey on Blockchain Interoperability: Past, Present, and Future Trends
AUTHORS: Rafael Belchior; André Vasconcelos; Sérgio Guerreiro; Miguel Correia;
PUBLISHED: 2022, SOURCE: ACM Comput. Surv., VOLUME: 54, ISSUE: 8
INDEXED IN: DBLP
IN MY: DBLP
45
TITLE: FingerCI: generating specifications for critical infrastructures
AUTHORS: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022 in SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022
INDEXED IN: Scopus DBLP
IN MY: DBLP
46
TITLE: SRX-Secure Data Backup and Recovery for SGX Applications
AUTHORS: Daniel Andrade; João Silva; Miguel Correia;
PUBLISHED: 2022, SOURCE: IEEE Access, VOLUME: 10
INDEXED IN: DBLP
IN MY: DBLP
47
TITLE: Anonymous Trusted Data Relocation for TEEs
AUTHORS: Vasco Guita; Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLISHED: 2022, SOURCE: 37th IFIP International Conference on ICT Systems Security and Privacy Protection, SEC 2022 in ICT Systems Security and Privacy Protection - 37th IFIP TC 11 International Conference, SEC 2022, Copenhagen, Denmark, June 13-15, 2022, Proceedings, VOLUME: 648
INDEXED IN: Scopus DBLP
IN MY: DBLP
48
TITLE: A survey on business process view integration: past, present and future applications to blockchain
AUTHORS: Rafael Belchior; Sérgio Guerreiro; André Vasconcelos; Miguel Correia;
PUBLISHED: 2022, SOURCE: Bus. Process. Manag. J., VOLUME: 28, ISSUE: 3
INDEXED IN: DBLP
IN MY: DBLP
49
TITLE: Learning to generate Reliable Broadcast Algorithms
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2208.00525
INDEXED IN: DBLP
IN MY: DBLP
50
TITLE: Assessing the use of pre-trained transformers to classify customer reviews
AUTHORS: Alves, MD; Lobo, AG; Reis, AM;
PUBLISHED: 2022, SOURCE: 5th International Conference on Quality Engineering and Management: A Better World with Quality! Quality in the Digital Transformation, ICQEM 2022 in International Conference on Quality Engineering and Management
INDEXED IN: Scopus
Page 5 of 10. Total results: 91.

footer slogan

Useful Links

Get Help

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