World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
45
Citations
9966
World Ranking
7120
National Ranking
14

Overview

Miguel Correia is affiliated with Instituto Superior Técnico in Portugal and focuses primarily on the field of Computer Science. Their work spans several subfields including Information Systems, Computer Networks and Communications, Artificial Intelligence, Signal Processing, and Electrical and Electronic Engineering.

The scientist's research topics cover a range of areas linked to emerging technologies and security. Notable topics include Blockchain Technology Applications and Security, IoT and Edge/Fog Computing, Cloud Computing and Resource Management, Cloud Data Security Solutions, Advanced Malware Detection Techniques, Network Security and Intrusion Detection, and Business Process Modeling and Analysis.

Frequent co-authors collaborating with Miguel Correia are Rafael Belchior, André Vasconcelos, Miguel L. Pardal, David R. Matos, and Sérgio Guerreiro, indicating active partnerships within the research community.

The publication record includes multiple papers in respected venues, with a concentration in Computer Science. Common venues for Miguel Correia's work comprise arXiv (Cornell University), IEEE Access, Annals of the Rheumatic Diseases, JEADV Clinical Practice, and Future Generation Computer Systems.

Recent papers of note feature:

  • A Survey on Blockchain Interoperability: Past, Present, and Future Trends (2021) in ACM Computing Surveys
  • Hermes: Fault-tolerant middleware for blockchain interoperability (2021) in Future Generation Computer Systems
  • Do You Need a Distributed Ledger Technology Interoperability Solution? (2022) in Distributed Ledger Technologies Research and Practice
  • A Brief History of Blockchain Interoperability (2024) in Communications of the ACM
  • A survey on business process view integration: past, present and future applications to blockchain (2022) in Business Process Management Journal

Best Publications

  • DepSky: Dependable and Secure Storage in a Cloud-of-Clouds

    Alysson Bessani;Miguel Correia;Bruno Quaresma;Fernando André

  • Black holes, gravitational waves and fundamental physics: a roadmap

    Leor Barack;Vitor Cardoso;Vitor Cardoso;Samaya Nissanke;Samaya Nissanke;Samaya Nissanke;Thomas P. Sotiriou

  • DepSky: dependable and secure storage in a cloud-of-clouds

    Alysson Bessani;Miguel Correia;Bruno Quaresma;Fernando André

  • Efficient Byzantine Fault-Tolerance

    G. S. Veronese;M. Correia;A. N. Bessani;Lau Cheuk Lung

  • Intrusion-tolerant architectures: concepts and design

    Paulo Esteves Veríssimo;Nuno Ferreira Neves;Miguel Pupo Correia

  • Black holes, gravitational waves and fundamental physics: a roadmap.

    Leor Barack;Vitor Cardoso;Samaya Nissanke;Thomas P. Sotiriou

  • Lucy in the sky without diamonds: Stealing confidential data in the cloud

    Francisco Rocha;Miguel Correia

  • Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery

    P. Sousa;A.N. Bessani;M. Correia;N.F. Neves

  • How to tolerate half less one Byzantine nodes in practical distributed systems

    M. Correia;N.F. Neves;P. Verissimo

  • Spin One's Wheels? Byzantine Fault Tolerance with a Spinning Primary

    Giuliana Santos Veronese;Miguel Correia;Alysson Neves Bessani;Lau Cheuk Lung

  • From Consensus to Atomic Broadcast: Time-Free Byzantine-Resistant Protocols without Signatures

    Miguel Correia;Nuno Ferreira Neves;Paulo Veríssimo

  • Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining

    Iberia Medeiros;Nuno Neves;Miguel Correia

  • SCFS: a shared cloud-backed file system

    Alysson Bessani;Ricardo Mendes;Tiago Oliveira;Nuno Neves

  • DepSpace: a byzantine fault-tolerant coordination service

    Alysson Neves Bessani;Eduardo Pelison Alchieri;Miguel Correia;Joni Silva Fraga

  • Automatic detection and correction of web application vulnerabilities using data mining to predict false positives

    Ibéria Medeiros;Nuno F. Neves;Miguel Correia

  • The Crutial Way of Critical Infrastructure Protection

    A.N. Bessani;P. Sousa;M. Correia;N.F. Neves

  • Byzantine consensus in asynchronous message-passing systems: a survey

    Miguel Correia;Giuliana Santos Veronese;Nuno Ferreira Neves;Paulo Verissimo

  • The Design of a COTS Real-Time Distributed Security Kernel

    Miguel Correia;Paulo Veríssimo;Nuno Ferreira Neves

  • Resilient Intrusion Tolerance through Proactive and Reactive Recovery

    P. Sousa;A.N. Bessani;M. Correia;N.F. Neves

  • EBAWA: Efficient Byzantine Agreement for Wide-Area Networks

    Giuliana Santos Veronese;Miguel Correia;Alysson Neves Bessani;Lau Cheuk Lung

Frequent Co-Authors

Nuno Neves
Nuno Neves University of Lisbon
Paulo Veríssimo
Paulo Veríssimo King Abdullah University of Science and Technology
Luís Rodrigues
Luís Rodrigues University of Lisbon
Laurie Hendren
Laurie Hendren McGill University
Andrea Bondavalli
Andrea Bondavalli University of Florence
Gerald Q. Maguire Jr.
Gerald Q. Maguire Jr. Royal Institute of Technology
Seif Haridi
Seif Haridi Royal Institute of Technology
Saurabh Bagchi
Saurabh Bagchi Purdue University West Lafayette
Christian Cachin
Christian Cachin University of Bern
João Paulo Teixeira
João Paulo Teixeira University of Porto

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

If you’re considering a career in computer science or related fields, there are a range of online degree options that suit different needs and backgrounds. Many students worry about their academic history, but there are online schools that accept low gpa, making it easier to get started even if your transcript isn’t perfect.

For those looking for a faster route, the fastest computer science degree programs help you complete your education in less time while still gaining the necessary skills for entry-level tech roles.

If you’re interested in environmental careers, there are many high-paying jobs with environmental science degree options, especially as industries prioritize sustainability and green tech. Furthermore, aspiring engineers can find environmental engineering schools online that offer affordable pathways to in-demand careers.

By exploring these related online degrees and specialties, you can tailor your education and career direction to fit your unique goals—whether that’s in computer science, engineering, or environmental fields.

Best Scientists Citing Miguel Correia

Trending Scientists

Recently Published Articles