Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações a aguardar confirmação

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
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
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
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
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
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
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
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
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
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; Harsha K Kalutarage; Naoto Yanai; ...Mais
PUBLICAÇÃO: 2024, FONTE: ESORICS Workshops (2), VOLUME: 14399
INDEXADO EM: DBLP
NO MEU: DBLP
Página 2 de 7. Total de resultados: 67.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service