Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
51
TÃTULO: MultiTLS: using multiple and diverse ciphers for stronger secure channels
AUTORES: Ricardo Moura; Ricardo Lopes; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: Comput. Secur., VOLUME: 132
AUTORES: Ricardo Moura; Ricardo Lopes; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: Comput. Secur., VOLUME: 132
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP52
TÃTULO: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version)
AUTORES: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.03402
AUTORES: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.03402
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP53
TÃTULO: In-Network ML Feature Computation for Malicious Traffic Detection
AUTORES: Amado, Joao R.; Pereira, Francisco; Signorello, Salvatore; Correia, Miguel; Ramos, Fernando M. V.;
PUBLICAÇÃO: 2023, FONTE: ACM SIGCOMM Conference (SIGCOMM) in PROCEEDINGS OF THE 2023 ACM SIGCOMM 2023 CONFERENCE, SIGCOMM 2023
AUTORES: Amado, Joao R.; Pereira, Francisco; Signorello, Salvatore; Correia, Miguel; Ramos, Fernando M. V.;
PUBLICAÇÃO: 2023, FONTE: ACM SIGCOMM Conference (SIGCOMM) in PROCEEDINGS OF THE 2023 ACM SIGCOMM 2023 CONFERENCE, SIGCOMM 2023
54
TÃTULO: Priapism Secondary to Low-Molecular-Weight Heparins: A Case Report Full Text
AUTORES: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLICAÇÃO: 2023, FONTE: ACTA MEDICA PORTUGUESA, VOLUME: 36, NÚMERO: 5
AUTORES: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLICAÇÃO: 2023, FONTE: ACTA MEDICA PORTUGUESA, VOLUME: 36, NÚMERO: 5
INDEXADO EM: 
WOS
WOS55
TÃTULO: Global and Local Explanations for Skin Cancer Diagnosis Using Prototypes
AUTORES: Santiago, Carlos; Correia, Miguel; Verdelho, Maria Rita; Bissoto, Alceu; Barata, Catarina;
PUBLICAÇÃO: 2023, FONTE: 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
AUTORES: Santiago, Carlos; Correia, Miguel; Verdelho, Maria Rita; Bissoto, Alceu; Barata, Catarina;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: 
Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP56
TÃTULO: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
AUTORES: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023
AUTORES: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, November 26-30, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP57
TÃTULO: Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols
AUTORES: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2312.05714
AUTORES: Alysson Bessani; Miguel Correia; Tobias Distler; Rüdiger Kapitza; Paulo Esteves Veríssimo; Jiangshan Yu;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2312.05714
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP58
TÃTULO: Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions
AUTORES: Belchior, Rafael; Somogyvari, Peter; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 73, NÚMERO: 2
AUTORES: Belchior, Rafael; Somogyvari, Peter; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 73, NÚMERO: 2
59
TÃTULO: I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
AUTORES: Daniel Andrade; Joao Nuno Silva; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023 in Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
AUTORES: Daniel Andrade; Joao Nuno Silva; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023 in Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
60
TÃTULO: I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
AUTORES: Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
AUTORES: Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP