Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
11
TITLE: Sanare: Pluggable Intrusion Recovery for Web Applications Full Text
AUTHORS: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, ISSUE: 1
AUTHORS: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, ISSUE: 1
INDEXED IN: 
WOS
WOS12
TITLE: Do You Need a Distributed Ledger Technology Interoperability Solution?
AUTHORS: Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: Distributed Ledger Technol. Res. Pract., VOLUME: 2, ISSUE: 1
AUTHORS: Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023, SOURCE: Distributed Ledger Technol. Res. Pract., VOLUME: 2, ISSUE: 1
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP13
TITLE: Decentralised Autonomous Organisations for Public Procurement
AUTHORS: Felix Monteiro; Miguel Correia;
PUBLISHED: 2023, SOURCE: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023
AUTHORS: Felix Monteiro; Miguel Correia;
PUBLISHED: 2023, SOURCE: Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, EASE 2023, Oulu, Finland, June 14-16, 2023
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP14
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
DBLP15
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
DBLP16
TITLE: MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service Full Text
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 11, ISSUE: 2
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2023, SOURCE: IEEE TRANSACTIONS ON CLOUD COMPUTING, VOLUME: 11, ISSUE: 2
INDEXED IN: WOS
WOS17
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
WOS18
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 WOS19
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
INDEXED IN: WOS
WOS20
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
DBLP