Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
11
TITLE: Visualization of Cross-Chain Transactions for Secure Blockchain Interoperability (Position Paper)
AUTHORS: Santos, Jorge; Augusto, Andre; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTHORS: Santos, Jorge; Augusto, Andre; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXED IN:
Scopus
WOS
DBLP
IN MY:
DBLP
12
TITLE: AI-Generated Distributed Algorithms: Paving the Way for More Dependable Distributed Systems
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTHORS: Vaz, Diogo; Matos, David R.; Pardal, Miguel L.; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
INDEXED IN:
Scopus
WOS
DBLP
IN MY:
DBLP
13
TITLE: XChainDataGen: A Cross-Chain Dataset From June 2024 to December 2024
AUTHORS: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLISHED: 2025
AUTHORS: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLISHED: 2025
INDEXED IN:
DBLP
IN MY:
DBLP
14
TITLE: Automatic Cross-chain Protocol Pausing with Real-time Conformance Checking
AUTHORS: Bruno Mateus; André Augusto; Rafael Belchior; André Vasconcelos; Miguel Correia;
PUBLISHED: 2025, SOURCE: 7th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2025 in BRAINS
AUTHORS: Bruno Mateus; André Augusto; Rafael Belchior; André Vasconcelos; Miguel Correia;
PUBLISHED: 2025, SOURCE: 7th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2025 in BRAINS
INDEXED IN:
Scopus
DBLP
IN MY:
DBLP
15
TITLE: Decentralised Land Registration and Transaction with Blockchain and Self-Sovereign Identity
AUTHORS: Pedro C Henriques; Miguel Correia;
PUBLISHED: 2025, SOURCE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS
AUTHORS: Pedro C Henriques; Miguel Correia;
PUBLISHED: 2025, SOURCE: 44th International Symposium on Reliable Distributed Systems, SRDS 2025 in SRDS
INDEXED IN:
Scopus
DBLP
IN MY:
DBLP
16
TITLE: Security and Privacy
AUTHORS: Miguel Correia; Luís Rodrigues;
PUBLISHED: 2024, SOURCE: Law, Governance and Technology Series, VOLUME: 58
AUTHORS: Miguel Correia; Luís Rodrigues;
PUBLISHED: 2024, SOURCE: Law, Governance and Technology Series, VOLUME: 58
INDEXED IN:
Scopus
17
TITLE: PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems
AUTHORS: Cláudio Correia; Rita Prates; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2024, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 36, ISSUE: 4
AUTHORS: Cláudio Correia; Rita Prates; Miguel Correia; Luís E T Rodrigues;
PUBLISHED: 2024, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 36, ISSUE: 4
INDEXED IN:
Scopus
WOS
DBLP
IN MY:
DBLP
18
TITLE: Blockchain Based Residential Smart Rent
AUTHORS: André S Proença; Tiago R Dias; Miguel P Correia;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.05737
AUTHORS: André S Proença; Tiago R Dias; Miguel P Correia;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2402.05737
INDEXED IN:
DBLP
IN MY:
DBLP
19
TITLE: Blockchain-based Rental Documentation Management with Audit Support
AUTHORS: Santos, Joao F.; Correia, Miguel P.; Dias, Tiago R.;
PUBLISHED: 2024, SOURCE: 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
AUTHORS: Santos, Joao F.; Correia, Miguel P.; Dias, Tiago R.;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN:
Scopus
WOS
DBLP
IN MY:
DBLP
20
TITLE: 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
AUTHORS: 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; ...More
PUBLISHED: 2024, SOURCE: ESORICS Workshops (2), VOLUME: 14399
AUTHORS: 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; ...More
PUBLISHED: 2024, SOURCE: ESORICS Workshops (2), VOLUME: 14399
INDEXED IN:
DBLP
IN MY:
DBLP