Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
11
TÃTULO: A Brief History of Blockchain Interoperability
AUTORES: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2024
AUTORES: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2024
12
TÃTULO: SoK: Security and Privacy of Blockchain Interoperability
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2024, FONTE: IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, May 19-23, 2024
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2024, FONTE: IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, May 19-23, 2024
13
TÃTULO: SoK: Security and Privacy of Blockchain Interoperability [Extended Version]
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2024
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2024
14
TÃTULO: SoK: Security and Privacy of Blockchain Interoperability [Extended Version]
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2024
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2024
15
TÃTULO: SoK: Security and Privacy of Blockchain Interoperability [Extended Version]
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2024
AUTORES: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLICAÇÃO: 2024
16
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
17
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
18
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
19
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
WOS20
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
