Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Publicações Confirmadas: 229



51
TÍTULO: Omega: A Secure Event Ordering Service for the Edge  Full Text
AUTORES: Correia, Claudio; Correia, Miguel ; Rodrigues, Luis ;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, NÚMERO: 5
INDEXADO EM: WOS DBLP CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
52
TÍTULO: SRX-Secure Data Backup and Recovery for SGX Applications
AUTORES: Andrade, Daniel; Silva, Joao ; Correia, Miguel ;
PUBLICAÇÃO: 2022, FONTE: IEEE ACCESS, VOLUME: 10
INDEXADO EM: WOS DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
53
TÍTULO: Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages  Full Text
AUTORES: Medeiros, I; Neves, N ; Correia, M ;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, NÚMERO: 2
INDEXADO EM: WOS DBLP CrossRef: 10
NO MEU: ORCID | CIÊNCIAVITAE
54
TÍTULO: A Survey on Blockchain Interoperability: Past, Present, and Future Trends
AUTORES: Belchior, R; Vasconcelos, A; Guerreiro, S ; Correia, M ;
PUBLICAÇÃO: 2021, FONTE: ACM COMPUTING SURVEYS, VOLUME: 54, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef: 248
NO MEU: ORCID | CIÊNCIAVITAE
55
TÍTULO: A Survey on Business Process View Integration
AUTORES: Rafael Belchior; Sérgio Guerreiro; André Vasconcelos; Miguel Correia ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2011.14465
INDEXADO EM: DBLP
56
TÍTULO: Blockchain Ecosystem for Verifiable Qualifications
AUTORES: Diogo Serranito; André Vasconcelos; Sérgio Guerreiro ; Miguel Correia ;
PUBLICAÇÃO: 2020, FONTE: BRAINS
INDEXADO EM: Scopus DBLP CrossRef: 35
NO MEU: ORCID | CIÊNCIAVITAE
57
TÍTULO: Fireplug: Efficient and Robust Geo-Replication of Graph Databases  Full Text
AUTORES: Neiheiser, R; Rech, L; Bravo, M; Rodrigues, L ; Correia, M ;
PUBLICAÇÃO: 2020, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 31, NÚMERO: 8
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
58
TÍTULO: MERLIN: Multi-Language Web Vulnerability Detection
AUTORES: Figueiredo, A; Lide, T; Matos, D; Correia, M ;
PUBLICAÇÃO: 2020, FONTE: IEEE 19th International Symposium on Network Computing and Applications (NCA) in 2020 IEEE 19TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA)
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
59
TÍTULO: MultiTLS: Secure Communication Channels with Cipher Suite Diversity  Full Text
AUTORES: Ricardo Moura; David R Matos; Miguel L Pardal; Miguel Correia ;
PUBLICAÇÃO: 2020, FONTE: SEC, VOLUME: 580 IFIP
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
60
TÍTULO: Omega: a Secure Event Ordering Service for the Edge
AUTORES: Correia, C; Correia, M ; Rodrigues, L;
PUBLICAÇÃO: 2020, FONTE: 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)
INDEXADO EM: Scopus WOS DBLP
Página 6 de 23. Total de resultados: 229.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service