Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
21
TÃTULO: Editorial: Special issue on software protection and attacks
AUTORES: Ianni, Michele; Dalla Preda, Mila; Choo, Kim Kwang Raymond; Correia, Miguel Pupo;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, VOLUME: 86
AUTORES: Ianni, Michele; Dalla Preda, Mila; Choo, Kim Kwang Raymond; Correia, Miguel Pupo;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, VOLUME: 86
INDEXADO EM:
Scopus
WOS
DBLP



NO MEU:
DBLP

22
TÃTULO: 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
AUTORES: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 67, NÚMERO: 10
AUTORES: Belchior, Rafael; Sussenguth, Jan; Feng, Qi; Hardjono, Thomas; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 67, NÚMERO: 10
INDEXADO EM:
WOS

23
TÃTULO: XChainWatcher: Monitoring and Identifying Attacks in Cross-Chain Bridges
AUTORES: André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2410.02029
AUTORES: André Augusto; Rafael Belchior; Jonas Pfannschmidt; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2410.02029
INDEXADO EM:
DBLP

NO MEU:
DBLP

24
TÃTULO: D3S: A Drone Security Scoring System Full Text
AUTORES: Branco, Bruno; Silva, Jose Silvestre; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: INFORMATION, VOLUME: 15, NÚMERO: 12
AUTORES: Branco, Bruno; Silva, Jose Silvestre; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: INFORMATION, VOLUME: 15, NÚMERO: 12
25
TÃTULO: FingerCI: Writing industrial process specifications from network traffic
AUTORES: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2024, FONTE: Int. J. Crit. Infrastructure Prot., VOLUME: 47
AUTORES: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2024, FONTE: Int. J. Crit. Infrastructure Prot., VOLUME: 47
INDEXADO EM:
DBLP

NO MEU:
DBLP

26
TÃTULO: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTORES: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, NÚMERO: 1
AUTORES: David R Matos; Miguel L Pardal; Miguel Correia;
PUBLICAÇÃO: 2023, FONTE: IEEE Trans. Dependable Secur. Comput., VOLUME: 20, NÚMERO: 1
27
TÃTULO: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTORES: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, NÚMERO: 1
AUTORES: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, NÚMERO: 1
28
TÃTULO: ComSEC: Secure Communications for Baggage Handling Systems
AUTORES: Apolinário, F; Guiomar, J; Hervé, É; Hrastnik, S; Escravana, N; Pardal, ML; Correia, M;
PUBLICAÇÃO: 2023, FONTE: International Workshops which were held in conjunction with 27th European Symposium on Research in Computer Security, ESORICS 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13785 LNCS
AUTORES: Apolinário, F; Guiomar, J; Hervé, É; Hrastnik, S; Escravana, N; Pardal, ML; Correia, M;
PUBLICAÇÃO: 2023, FONTE: International Workshops which were held in conjunction with 27th European Symposium on Research in Computer Security, ESORICS 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13785 LNCS
29
TÃTULO: Parsonage-Turner Syndrome Post-COVID-19 Oxford/AstraZeneca Vaccine Inoculation: A Case Report and Brief Literature Review
AUTORES: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLICAÇÃO: 2023, FONTE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, NÚMERO: 2
AUTORES: Meixedo, Sofia; Correia, Miguel; Lima, Ana Machado; Carneiro, Ismael;
PUBLICAÇÃO: 2023, FONTE: CUREUS JOURNAL OF MEDICAL SCIENCE, VOLUME: 15, NÚMERO: 2
INDEXADO EM:
WOS

30
TÃTULO: Sanare: Pluggable Intrusion Recovery for Web Applications
AUTORES: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, NÚMERO: 1
AUTORES: Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2023, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 20, NÚMERO: 1