Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
41
TITLE: Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
42
TITLE: Convolutional Neural Network With Genetic Algorithm for Predicting Energy Consumption in Public Buildings
AUTHORS: Abdelaziz, Ahmed; Santos, Vitor; Dias, Miguel Sales;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
AUTHORS: Abdelaziz, Ahmed; Santos, Vitor; Dias, Miguel Sales;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
INDEXED IN: 
WOS
WOS43
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 WOS44
TITLE: CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains
AUTHORS: Augusto, Andre; Belchior, Rafael; Kocsis, Imre; Gonczy, Laszlo; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 5th IEEE International Conference on Blockchain and Cryptocurrency (ICBC) in 2023 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY, ICBC
AUTHORS: Augusto, Andre; Belchior, Rafael; Kocsis, Imre; Gonczy, Laszlo; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2023, SOURCE: 5th IEEE International Conference on Blockchain and Cryptocurrency (ICBC) in 2023 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN AND CRYPTOCURRENCY, ICBC
45
TITLE: mu Verum: Intrusion Recovery for Microservice Applications
AUTHORS: Matos, David R.; Pardal, Miguel L.; Silva, Antonio Rito; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
AUTHORS: Matos, David R.; Pardal, Miguel L.; Silva, Antonio Rito; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE ACCESS, VOLUME: 11
46
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
DBLP47
TITLE: CBDC Bridging between Hyperledger Fabric and Permissioned EVM-based Blockchains
AUTHORS: André Augusto; Rafael Belchior; Imre Kocsis; László Gönczy; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023
AUTHORS: André Augusto; Rafael Belchior; Imre Kocsis; László Gönczy; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2023, Dubai, United Arab Emirates, May 1-5, 2023
48
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
DBLP49
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
DBLP50
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
DBLP