Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
21
TITLE: Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
AUTHORS: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Access, VOLUME: 11
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP22
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
DBLP23
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 WOS24
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
DBLP25
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
DBLP26
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
DBLP27
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
DBLP28
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
DBLP29
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
DBLP30
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
WOS