Miguel Nuno Dias Alves Pupo Correia
AuthID: R-000-DA1
31
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
DBLP32
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: 2023, SOURCE: 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023
AUTHORS: Cláudio Correia; Rita Prates; Miguel Correia; Luís E T Rodrigues;
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
DBLP33
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
DBLP34
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
DBLP35
TITLE: Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages Full Text
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
INDEXED IN: 
WOS DBLP
WOS DBLP IN MY: DBLP
DBLP36
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
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP37
TITLE: A survey on business process view integration: past, present and future applications to blockchain
AUTHORS: Belchior, Rafael; Guerreiro, Sergio; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2022, SOURCE: BUSINESS PROCESS MANAGEMENT JOURNAL, VOLUME: 28, ISSUE: 3
AUTHORS: Belchior, Rafael; Guerreiro, Sergio; Vasconcelos, Andre; Correia, Miguel;
PUBLISHED: 2022, SOURCE: BUSINESS PROCESS MANAGEMENT JOURNAL, VOLUME: 28, ISSUE: 3
INDEXED IN: 
Scopus WOS
Scopus WOS38
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
INDEXED IN: WOS
WOS39
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
DBLP40
TITLE: SRX-Secure Data Backup and Recovery for SGX Applications
AUTHORS: Daniel Andrade; João Silva; Miguel Correia;
PUBLISHED: 2022, SOURCE: IEEE Access, VOLUME: 10
AUTHORS: Daniel Andrade; João Silva; Miguel Correia;
PUBLISHED: 2022, SOURCE: IEEE Access, VOLUME: 10
INDEXED IN: DBLP
DBLP IN MY: DBLP
DBLP