Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
21
TÃTULO: Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Access, VOLUME: 11
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Access, VOLUME: 11
INDEXADO EM:
DBLP

NO MEU:
DBLP

22
TÃTULO: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Cloud Comput., VOLUME: 11, NÚMERO: 2
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Cloud Comput., VOLUME: 11, NÚMERO: 2
INDEXADO EM:
DBLP

NO MEU:
DBLP

23
TÃTULO: MULTITLS : using multiple and diverse ciphers for stronger secure channels
AUTORES: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & SECURITY, VOLUME: 132
AUTORES: Moura, Ricardo; Lopes, Ricardo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & SECURITY, VOLUME: 132
INDEXADO EM:
Scopus
WOS


24
TÃTULO: Automatic Generation of Distributed Algorithms with Generative AI
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
AUTORES: Diogo Vaz; David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2023 - Supplemental Volume, Porto, Portugal, June 27-30, 2023
INDEXADO EM:
DBLP

NO MEU:
DBLP

25
TÃTULO: Deduplication vs Privacy Tradeoffs in Cloud Storage
AUTORES: Rodrigo Silva; Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023
AUTORES: Rodrigo Silva; Cláudio Correia; Miguel Correia; Luís E T Rodrigues;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023
INDEXADO EM:
DBLP

NO MEU:
DBLP

26
TÃTULO: Poster: In-Network ML Feature Computation for Malicious Traffic Detection
AUTORES: João Romeiras Amado; Francisco Chamiça Pereira; Salvatore Signorello; Miguel Correia; Fernando M V Ramos;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023
AUTORES: João Romeiras Amado; Francisco Chamiça Pereira; Salvatore Signorello; Miguel Correia; Fernando M V Ramos;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the ACM SIGCOMM 2023 Conference, ACM SIGCOMM 2023, New York, NY, USA, 10-14 September 2023
INDEXADO EM:
DBLP

NO MEU:
DBLP

27
TÃTULO: μVerum: Intrusion Recovery for Microservice Applications
AUTORES: David R Matos; Miguel L Pardal; António Rito Silva; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Access, VOLUME: 11
AUTORES: David R Matos; Miguel L Pardal; António Rito Silva; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Access, VOLUME: 11
INDEXADO EM:
DBLP

NO MEU:
DBLP

28
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

NO MEU:
DBLP

29
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

NO MEU:
DBLP

30
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
