Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
21
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
22
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
23
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
Scopus WOS DBLP NO MEU: DBLP
DBLP24
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
WOS25
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
DBLP NO MEU: DBLP
DBLP26
TÃTULO: FingerCI: Writing industrial process specifications from network traffic Full Text
AUTORES: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, VOLUME: 47
AUTORES: Apolinario, Filipe; Escravana, Nelson; Herve, Eric; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, VOLUME: 47
INDEXADO EM: Scopus WOS
Scopus WOS27
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
28
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
DBLP NO MEU: DBLP
DBLP29
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
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
