Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 229



51
TITLE: Omega: A Secure Event Ordering Service for the Edge  Full Text
AUTHORS: Correia, Claudio; Correia, Miguel ; Rodrigues, Luis ;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, ISSUE: 5
INDEXED IN: WOS DBLP CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
52
TITLE: SRX-Secure Data Backup and Recovery for SGX Applications
AUTHORS: Andrade, Daniel; Silva, Joao ; Correia, Miguel ;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10
INDEXED IN: WOS DBLP CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
53
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
INDEXED IN: WOS DBLP CrossRef: 10
IN MY: ORCID | CIÊNCIAVITAE
54
TITLE: A Survey on Blockchain Interoperability: Past, Present, and Future Trends
AUTHORS: Belchior, R; Vasconcelos, A; Guerreiro, S ; Correia, M ;
PUBLISHED: 2021, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 54, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef: 248
IN MY: ORCID | CIÊNCIAVITAE
55
TITLE: A Survey on Business Process View Integration
AUTHORS: Rafael Belchior; Sérgio Guerreiro; André Vasconcelos; Miguel Correia ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2011.14465
INDEXED IN: DBLP
56
TITLE: Blockchain Ecosystem for Verifiable Qualifications
AUTHORS: Diogo Serranito; André Vasconcelos; Sérgio Guerreiro ; Miguel Correia ;
PUBLISHED: 2020, SOURCE: BRAINS
INDEXED IN: Scopus DBLP CrossRef: 35
IN MY: ORCID | CIÊNCIAVITAE
57
TITLE: Fireplug: Efficient and Robust Geo-Replication of Graph Databases  Full Text
AUTHORS: Neiheiser, R; Rech, L; Bravo, M; Rodrigues, L ; Correia, M ;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 31, ISSUE: 8
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
58
TITLE: MERLIN: Multi-Language Web Vulnerability Detection
AUTHORS: Figueiredo, A; Lide, T; Matos, D; Correia, M ;
PUBLISHED: 2020, SOURCE: IEEE 19th International Symposium on Network Computing and Applications (NCA) in 2020 IEEE 19TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
59
TITLE: MultiTLS: Secure Communication Channels with Cipher Suite Diversity  Full Text
AUTHORS: Ricardo Moura; David R Matos; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2020, SOURCE: SEC, VOLUME: 580 IFIP
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | CIÊNCIAVITAE
60
TITLE: Omega: a Secure Event Ordering Service for the Edge
AUTHORS: Correia, C; Correia, M ; Rodrigues, L;
PUBLISHED: 2020, SOURCE: 50th IEEE/IFIP Annual International Conference on Dependable Systems and Networks (DSN) in 2020 50TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN 2020)
INDEXED IN: Scopus WOS DBLP
Page 6 of 23. Total results: 229.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service