Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
21
TITLE: A deep dive into blockchain interoperability: why it is needed, progress that has been made over the past decade, how it is currently deployed and used, and likely paths of future development Full Text
AUTHORS: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2024, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 67, ISSUE: 10
AUTHORS: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2024, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 67, ISSUE: 10
INDEXED IN: 
WOS
WOS22
TITLE: XChainWatcher: Monitoring and Identifying Attacks in Cross-Chain Bridges
AUTHORS: André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos; Miguel Correia;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2410.02029
AUTHORS: André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos; Miguel Correia;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2410.02029
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP23
TITLE: FingerCI: Writing industrial process specifications from network traffic Full Text
AUTHORS: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, VOLUME: 47
AUTHORS: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, VOLUME: 47
INDEXED IN: 
Scopus WOS
Scopus WOS24
TITLE: FingerCI: Writing industrial process specifications from network traffic
AUTHORS: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2024, SOURCE: Int. J. Crit. Infrastructure Prot., VOLUME: 47
AUTHORS: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2024, SOURCE: Int. J. Crit. Infrastructure Prot., VOLUME: 47
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP25
TITLE: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTHORS: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, ISSUE: 1
AUTHORS: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2023, SOURCE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, ISSUE: 1
26
TITLE: Parsonage-Turner Syndrome Post-COVID-19 Oxford/AstraZeneca Vaccine Inoculation: A Case Report and Brief Literature Review
AUTHORS: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLISHED: 2023, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, ISSUE: 2
AUTHORS: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLISHED: 2023, SOURCE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, ISSUE: 2
INDEXED IN: WOS
WOS27
TITLE: Sanare: Pluggable Intrusion Recovery for Web Applications
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
28
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
DBLP29
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
DBLP30
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
DBLP