Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
11
TÃTULO: Visualization of Cross-Chain Transactions for Secure Blockchain Interoperability (Position Paper)
AUTORES: Santos, Jorge; Augusto, Andre; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTORES: Santos, Jorge; Augusto, Andre; Vasconcelos, Andre; Correia, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP12
TÃTULO: AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems
AUTORES: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTORES: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLICAÇÃO: 2025, FONTE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP13
TÃTULO: XChainDataGen: A Cross-Chain Dataset From June 2024 to December 2024
AUTORES: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLICAÇÃO: 2025
AUTORES: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLICAÇÃO: 2025
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP14
TÃTULO: Automatic Cross-chain Protocol Pausing with Real-time Conformance Checking
AUTORES: Bruno Mateus; André Augusto; Rafael Belchior; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2025, FONTE: 7th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2025 in BRAINS
AUTORES: Bruno Mateus; André Augusto; Rafael Belchior; André Vasconcelos; Miguel Correia;
PUBLICAÇÃO: 2025, FONTE: 7th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2025 in BRAINS
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP15
TÃTULO: Decentralised Land Registration and Transaction with Blockchain and Self-Sovereign Identity
AUTORES: Pedro C Henriques; Miguel Correia;
PUBLICAÇÃO: 2025, FONTE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS
AUTORES: Pedro C Henriques; Miguel Correia;
PUBLICAÇÃO: 2025, FONTE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP16
TÃTULO: Security and Privacy
AUTORES: Miguel Correia; Luís Rodrigues;
PUBLICAÇÃO: 2024, FONTE: Law, Governance and Technology Series, VOLUME: 58
AUTORES: Miguel Correia; Luís Rodrigues;
PUBLICAÇÃO: 2024, FONTE: Law, Governance and Technology Series, VOLUME: 58
INDEXADO EM: Scopus
Scopus17
TÃTULO: Blockchain-based Rental Documentation Management with Audit Support
AUTORES: Santos, Joao F.; Correia, Miguel P.; Dias, Tiago R.;
PUBLICAÇÃO: 2024, FONTE: 6th Conference on Blockchain Research & Applications for Innovative Networks and Services in 2024 6TH CONFERENCE ON BLOCKCHAIN RESEARCH & APPLICATIONS FOR INNOVATIVE NETWORKS AND SERVICES, BRAINS 2024
AUTORES: Santos, Joao F.; Correia, Miguel P.; Dias, Tiago R.;
PUBLICAÇÃO: 2024, FONTE: 6th Conference on Blockchain Research & Applications for Innovative Networks and Services in 2024 6TH CONFERENCE ON BLOCKCHAIN RESEARCH & APPLICATIONS FOR INNOVATIVE NETWORKS AND SERVICES, BRAINS 2024
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP18
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
DBLP19
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
WOS20
TÃTULO: FingerCI: Writing industrial process specifications from network traffic
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 DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP