Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publications Requiring Validation

31
TITLE: Global and Local Explanations for Skin Cancer Diagnosis Using Prototypes
AUTHORS: Santiago, Carlos; Correia, Miguel; Verdelho, Maria Rita; Bissoto, Alceu; Barata, Catarina;
PUBLISHED: 2023, SOURCE: 26th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI) / 8th ISIC Workshop / 1st Care-AI Workshop / 1st MedAGI Workshop / 4th DeCaF Workshop in MEDICAL IMAGE COMPUTING AND COMPUTER ASSISTED INTERVENTION, MICCAI 2023 WORKSHOPS, VOLUME: 14393
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
32
TITLE: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
AUTHORS: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023
INDEXED IN: DBLP
IN MY: DBLP
33
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
34
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
35
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
36
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
37
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
38
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
39
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
40
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
Page 4 of 9. Total results: 83.

footer slogan

Useful Links

Get Help

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