Miguel Nuno Dias Alves Pupo Correia


AuthID: R-000-DA1

Confirmed Publications: 259



51
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
INDEXED IN: WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
52
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
53
TITLE: A Survey on Blockchain Interoperability: Past, Present, and Future Trends PDF
AUTHORS: Rafael Belchior; André Vasconcelos; Sérgio Guerreiro; Miguel Correia ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2005.14282
INDEXED IN: DBLP arXiv
IN MY: DBLP
54
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
IN MY: DBLP
55
TITLE: Blockchain Ecosystem for Verifiable Qualifications
AUTHORS: Diogo Serranito; André Vasconcelos; Sérgio Guerreiro ; Miguel Correia ;
PUBLISHED: 2020, SOURCE: 2nd Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2020 in 2nd Conference on Blockchain Research & Applications for Innovative Networks and Services, BRAINS 2020, Paris, France, September 28-30, 2020
INDEXED IN: Scopus DBLP CrossRef: 27
IN MY: ORCID | DBLP | CIÊNCIAVITAE
56
TITLE: Fireplug: Efficient and Robust Geo-Replication of Graph Databases
AUTHORS: Ray Neiheiser; Luciana Rech; Manuel Bravo; Luís Rodrigues; Miguel Correia ;
PUBLISHED: 2020, SOURCE: IEEE Trans. Parallel Distrib. Syst., VOLUME: 31, ISSUE: 8
INDEXED IN: DBLP
IN MY: DBLP
57
TITLE: Fireplug: Efficient and Robust Geo-Replication of Graph Databases  Full Text
AUTHORS: Ray Neiheiser; Luciana Rech; Manuel Bravo; Luis Rodrigues ; Miguel Correia ;
PUBLISHED: 2020, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 31, ISSUE: 8
INDEXED IN: WOS 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: 19th IEEE International Symposium on Network Computing and Applications, NCA 2020 in 2020 IEEE 19th International Symposium on Network Computing and Applications, NCA 2020
INDEXED IN: Scopus CrossRef: 3
IN MY: ORCID | CIÊNCIAVITAE
59
TITLE: MultiTLS: Secure Communication Channels with Cipher Suite Diversity
AUTHORS: Moura, R; Matos, DR; Pardal, ML; Correia, M ;
PUBLISHED: 2020, SOURCE: 35th IFIP TC 11 International Conference on Information Security and Privacy Protection, SEC 2020 in IFIP Advances in Information and Communication Technology, VOLUME: 580 IFIP
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
60
TITLE: MultiTLS: Secure Communication Channels with Cipher Suite Diversity
AUTHORS: Ricardo Moura; David R Matos; Miguel L Pardal; Miguel Correia ;
PUBLISHED: 2020, SOURCE: ICT Systems Security and Privacy Protection - 35th IFIP TC 11 International Conference, SEC 2020, Maribor, Slovenia, September 21-23, 2020, Proceedings, VOLUME: 580
INDEXED IN: DBLP
IN MY: DBLP
Page 6 of 26. Total results: 259.

footer slogan

Useful Links

Get Help

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