Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
61
TITLE: Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions
AUTHORS: Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
AUTHORS: Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
62
TITLE: A Brief History of Blockchain Interoperability
AUTHORS: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
AUTHORS: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
63
TITLE: A Brief History of Blockchain Interoperability
AUTHORS: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
AUTHORS: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
64
TITLE: A Brief History of Blockchain Interoperability
AUTHORS: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
AUTHORS: Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
65
TITLE: SoK: Security and Privacy of Blockchain Interoperability
AUTHORS: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLISHED: 2023
AUTHORS: André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono;
PUBLISHED: 2023
66
TITLE: A Survey on Blockchain Interoperability: Past, Present, and Future Trends
AUTHORS: Rafael Belchior; André Vasconcelos; Sérgio Guerreiro; Miguel Correia;
PUBLISHED: 2022, SOURCE: ACM Comput. Surv., VOLUME: 54, ISSUE: 8
AUTHORS: Rafael Belchior; André Vasconcelos; Sérgio Guerreiro; Miguel Correia;
PUBLISHED: 2022, SOURCE: ACM Comput. Surv., VOLUME: 54, ISSUE: 8
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP67
TITLE: Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages
AUTHORS: Medeiros, I; Neves, N ; Correia, M;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, ISSUE: 2
AUTHORS: Medeiros, I; Neves, N ; Correia, M;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, ISSUE: 2
68
TITLE: Hermes: Fault-tolerant middleware for blockchain interoperability
AUTHORS: Rafael Belchior; André Vasconcelos; Miguel Correia; Thomas Hardjono;
PUBLISHED: 2022, SOURCE: Future Gener. Comput. Syst., VOLUME: 129
AUTHORS: Rafael Belchior; André Vasconcelos; Miguel Correia; Thomas Hardjono;
PUBLISHED: 2022, SOURCE: Future Gener. Comput. Syst., VOLUME: 129
69
TITLE: SRX-Secure Data Backup and Recovery for SGX Applications
AUTHORS: Andrade, Daniel; Silva, Joao; Correia, Miguel;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10
AUTHORS: Andrade, Daniel; Silva, Joao; Correia, Miguel;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10
70
TITLE: FingerCI: generating specifications for critical infrastructures
AUTHORS: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022 in SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022
AUTHORS: Filipe Apolinário; Nelson Escravana; Éric Hervé; Miguel L Pardal; Miguel Correia;
PUBLISHED: 2022, SOURCE: 37th ACM/SIGAPP Symposium on Applied Computing, SAC 2022 in SAC '22: The 37th ACM/SIGAPP Symposium on Applied Computing, Virtual Event, April 25 - 29, 2022
INDEXED IN: 
Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP