Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
51
TITLE: I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
AUTHORS: Daniel Andrade; Joao Nuno Silva; Miguel Correia;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023 in Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
AUTHORS: Daniel Andrade; Joao Nuno Silva; Miguel Correia;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023 in Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
52
TITLE: I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX
AUTHORS: Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
AUTHORS: Daniel Andrade; João Nuno Silva; Miguel Correia;
PUBLISHED: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP53
TITLE: Monintainer: An orchestration-independent extensible container-based monitoring solution for large clusters
AUTHORS: Miguel Correia; Wellington Oliveira; José Cecílio;
PUBLISHED: 2023, SOURCE: J. Syst. Archit., VOLUME: 145
AUTHORS: Miguel Correia; Wellington Oliveira; José Cecílio;
PUBLISHED: 2023, SOURCE: J. Syst. Archit., VOLUME: 145
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP54
TITLE: Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
AUTHORS: Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLISHED: 2023, SOURCE: 30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023
AUTHORS: Correia, Claudio; Correia, Miguel; Rodrigues, Luis;
PUBLISHED: 2023, SOURCE: 30th ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in PROCEEDINGS OF THE 2023 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, CCS 2023
55
TITLE: Multi-Party Cross-Chain Asset Transfers
AUTHORS: André Augusto; Rafael Belchior; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
AUTHORS: André Augusto; Rafael Belchior; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
56
TITLE: Multi-Party Cross-Chain Asset Transfers
AUTHORS: André Augusto; Rafael Belchior; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
AUTHORS: André Augusto; Rafael Belchior; Thomas Hardjono; André Vasconcelos; Miguel Correia;
PUBLISHED: 2023
57
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
58
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
59
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
60
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
