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
NO MEU:
DBLP
12
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
NO MEU:
DBLP
13
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
NO MEU:
DBLP
14
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
NO MEU:
DBLP
15
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
NO MEU:
DBLP
16
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
17
TÃTULO: PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems
AUTORES: Cláudio Correia; Rita Prates; Miguel Correia; Luís E T Rodrigues;
PUBLICAÇÃO: 2024, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 36, NÚMERO: 4
AUTORES: Cláudio Correia; Rita Prates; Miguel Correia; Luís E T Rodrigues;
PUBLICAÇÃO: 2024, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 36, NÚMERO: 4
INDEXADO EM:
Scopus
WOS
DBLP
NO MEU:
DBLP
18
TÃTULO: Blockchain Based Residential Smart Rent
AUTORES: André S Proença; Tiago R Dias; Miguel P Correia;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2402.05737
AUTORES: André S Proença; Tiago R Dias; Miguel P Correia;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2402.05737
INDEXADO EM:
DBLP
NO MEU:
DBLP
19
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
NO MEU:
DBLP
20
TÃTULO: Computer Security. ESORICS 2023 International Workshops - CPS4CIP, ADIoT, SecAssure, WASP, TAURIN, PriST-AI, and SECAI, The Hague, The Netherlands, September 25-29, 2023, Revised Selected Papers, Part II
AUTORES: Sokratis K Katsikas; Habtamu Abie; Silvio Ranise; Luca Verderame; Enrico Cambiaso; Rita Maria Ugarelli; Isabel Praça; Wenjuan Li; Weizhi Meng; Steven Furnell; Basel Katt; Sandeep Pirbhulal; Ankur Shukla; Michele Ianni; Mila Dalla Preda; Kim Kwang Raymond Choo; Miguel Pupo Correia; Abhishta Abhishta; Giovanni Sileno; Mina Alishahi; ...Mais
PUBLICAÇÃO: 2024, FONTE: ESORICS Workshops (2), VOLUME: 14399
AUTORES: Sokratis K Katsikas; Habtamu Abie; Silvio Ranise; Luca Verderame; Enrico Cambiaso; Rita Maria Ugarelli; Isabel Praça; Wenjuan Li; Weizhi Meng; Steven Furnell; Basel Katt; Sandeep Pirbhulal; Ankur Shukla; Michele Ianni; Mila Dalla Preda; Kim Kwang Raymond Choo; Miguel Pupo Correia; Abhishta Abhishta; Giovanni Sileno; Mina Alishahi; ...Mais
PUBLICAÇÃO: 2024, FONTE: ESORICS Workshops (2), VOLUME: 14399
INDEXADO EM:
DBLP
NO MEU:
DBLP