Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
31
TITLE: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Cloud Comput., VOLUME: 11, ISSUE: 2
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Cloud Comput., VOLUME: 11, ISSUE: 2
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP32
TITLE: MULTITLS : using multiple and diverse ciphers for stronger secure channels
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
AUTHORS: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: COMPUTERS & SECURITY, VOLUME: 132
INDEXED IN: 
Scopus 
WOS
Scopus WOS33
TITLE: Automatic Generation of Distributed Algorithms with Generative AI
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP34
TITLE: Deduplication vs Privacy Tradeoffs in Cloud Storage
AUTHORS: Rodrigo Silva; Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023
AUTHORS: Rodrigo Silva; Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP35
TITLE: Poster: In-Network ML Feature Computation for Malicious Traffic Detection
AUTHORS: João Romeiras Amado; Francisco Chamiça Pereira; Salvatore Signorello; Miguel Correia; Fernando M V Ramos;
PUBLISHED: 2023, SOURCE: Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023
AUTHORS: João Romeiras Amado; Francisco Chamiça Pereira; Salvatore Signorello; Miguel Correia; Fernando M V Ramos;
PUBLISHED: 2023, SOURCE: Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP36
TITLE: μVerum: Intrusion Recovery for Microservice Applications
AUTHORS: David R Matos; Miguel L Pardal; António Rito Silva; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
AUTHORS: David R Matos; Miguel L Pardal; António Rito Silva; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP37
TITLE: MultiTLS: using multiple and diverse ciphers for stronger secure channels
AUTHORS: Ricardo Moura; Ricardo Lopes; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: Comput. Secur., VOLUME: 132
AUTHORS: Ricardo Moura; Ricardo Lopes; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: Comput. Secur., VOLUME: 132
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP38
TITLE: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version)
AUTHORS: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.03402
AUTHORS: Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2308.03402
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP39
TITLE: Priapism Secondary to Low-Molecular-Weight Heparins: A Case Report Full Text
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2023, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 36, ISSUE: 5
AUTHORS: Liz Pimenta, Joana; Dias, Nuno; Barbosa, Miguel; Sousa, Marta;
PUBLISHED: 2023, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 36, ISSUE: 5
INDEXED IN: WOS
WOS40
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
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
Scopus WOS DBLP IN MY: DBLP
DBLP