Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
21
TITLE: SoK: Security and Privacy of Blockchain Interoperability [Extended Version]
AUTHORS: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLISHED: 2024
AUTHORS: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLISHED: 2024
22
TITLE: SoK: Security and Privacy of Blockchain Interoperability [Extended Version]
AUTHORS: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLISHED: 2024
AUTHORS: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLISHED: 2024
23
TITLE: Editorial: Special issue on software protection and attacks
AUTHORS: Ianni, Michele; Dalla Preda, Mila; Choo, Kim Kwang Raymond; Correia, Miguel Pupo;
PUBLISHED: 2024, SOURCE: JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, VOLUME: 86
AUTHORS: Ianni, Michele; Dalla Preda, Mila; Choo, Kim Kwang Raymond; Correia, Miguel Pupo;
PUBLISHED: 2024, SOURCE: JOURNAL OF INFORMATION SECURITY AND APPLICATIONS, VOLUME: 86
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP IN MY: DBLP
DBLP24
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
WOS25
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
DBLP26
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 WOS27
TITLE: D3S: A Drone Security Scoring System Full Text
AUTHORS: Branco, Bruno; Silva, Jose Silvestre; Correia, Miguel;
PUBLISHED: 2024, SOURCE: INFORMATION, VOLUME: 15, ISSUE: 12
AUTHORS: Branco, Bruno; Silva, Jose Silvestre; Correia, Miguel;
PUBLISHED: 2024, SOURCE: INFORMATION, VOLUME: 15, ISSUE: 12
28
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
DBLP29
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
30
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
