Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
1
TITLE: Exploiting Liquidity Exhaustion Attacks in Intent-Based Cross-Chain Bridges
AUTHORS: André Augusto; Christof Ferreira Torres; André Vasconcelos; Miguel Correia;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2602.17805
AUTHORS: André Augusto; Christof Ferreira Torres; André Vasconcelos; Miguel Correia;
PUBLISHED: 2026, SOURCE: CoRR, VOLUME: abs/2602.17805
INDEXED IN:
DBLP
IN MY:
DBLP
2
TITLE: XChainWatcher: Identifying Anomalies in Cross-Chain Bridges
AUTHORS: Augusto, Andre; Belchior, Rafael; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 26th International Middleware Conference-MIDDLEWARE in PROCEEDINGS OF THE TWENTY-SIXTH ACM INTERNATIONAL MIDDLEWARE CONFERENCE, MIDDLEWARE 2025
AUTHORS: Augusto, Andre; Belchior, Rafael; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 26th International Middleware Conference-MIDDLEWARE in PROCEEDINGS OF THE TWENTY-SIXTH ACM INTERNATIONAL MIDDLEWARE CONFERENCE, MIDDLEWARE 2025
INDEXED IN:
WOS
DBLP
IN MY:
DBLP
3
TITLE: XChainDataGen: A Cross-Chain Dataset Generation Framework
AUTHORS: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.13637
AUTHORS: André Augusto; André Vasconcelos; Miguel Correia; Luyao Zhang;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2503.13637
INDEXED IN:
DBLP
IN MY:
DBLP
4
TITLE: SGLT2i chronic treatment reduces cardiac hypertrophy and modulates left ventricle metabolome of a HFpEF animal model
AUTHORS: Alves, M. Nuno; Morana Fernandez, S.; Rodrigues, A.; Goncalves, A.; Araujo, M.; Morais, J.; Mendes, C.; Silva, C.; Ferreira, J.; Moreira, A. Leite; Falcao Pires, I;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF HEART FAILURE, VOLUME: 27
AUTHORS: Alves, M. Nuno; Morana Fernandez, S.; Rodrigues, A.; Goncalves, A.; Araujo, M.; Morais, J.; Mendes, C.; Silva, C.; Ferreira, J.; Moreira, A. Leite; Falcao Pires, I;
PUBLISHED: 2025, SOURCE: EUROPEAN JOURNAL OF HEART FAILURE, VOLUME: 27
INDEXED IN:
WOS
5
TITLE: Blockchain Oracles for Real Estate Rental
AUTHORS: Nuno Braz; João F Santos; Tiago Dias; Miguel Correia;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.06180
AUTHORS: Nuno Braz; João F Santos; Tiago Dias; Miguel Correia;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2504.06180
INDEXED IN:
DBLP
IN MY:
DBLP
6
TITLE: Looking for Anomalies in Cross-Chain Bridges
AUTHORS: Augusto, Andre; Belchior, Rafael; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 55th International Conference on Dependable Systems and Networks Supplemental Volume-DSN-S-Annual in 2025 55TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S
AUTHORS: Augusto, Andre; Belchior, Rafael; Pfannschmidt, Jonas; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 55th International Conference on Dependable Systems and Networks Supplemental Volume-DSN-S-Annual in 2025 55TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS-SUPPLEMENTAL VOLUME, DSN-S
INDEXED IN:
Scopus
WOS
DBLP
IN MY:
DBLP
7
TITLE: Handling Assets in the Secure Asset Transfer Protocol - One Schema to Handle Them All (Position Paper)
AUTHORS: Carapau, Rodolfo; 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: Carapau, Rodolfo; 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
8
TITLE: A Decentralized Marketplace for Tokenized Real Estate
AUTHORS: Costa, Duarte; Santos, Joao; Dias, Tiago; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTHORS: Costa, Duarte; Santos, Joao; Dias, Tiago; 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
9
TITLE: Large Language Models for Explainable Threat Intelligence
AUTHORS: Dinis, Tiago; Tavares, Roger; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTHORS: Dinis, Tiago; Tavares, Roger; 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
10
TITLE: Web 3 Data Matching for Blockchain-Supported Real Estate (position paper)
AUTHORS: Lin, Henrique; Santos, Joao; Dias, Tiago; Correia, Miguel;
PUBLISHED: 2025, SOURCE: 20th European Dependable Computing Conference-EDCC-Annual in 2025 20TH EUROPEAN DEPENDABLE COMPUTING CONFERENCE COMPANION PROCEEDINGS, EDCC-C
AUTHORS: Lin, Henrique; Santos, Joao; Dias, Tiago; 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