???global.info.a_carregar???
Miguel Correia is a Full Professor (Professor Catedrático) at the Computer Science and Engineering Department (DEI), Instituto Superior Técnico (IST), Universidade de Lisboa (ULisboa), in Lisboa, Portugal. He is currently DEI's Head of Department. He is a member of the Board and senior researcher at INESC-ID, as well as member of the Distributed, Parallel and Secure Systems (DPSS) research area. He is national representative at the European Blockchain Partnership that is designing the European Blockchain Services Infrastructure (EBSI). He is a non-executive member of the Board of Associação .PT. He is Associate Editor for IEEE Transactions on Computers. He has a PhD in Computer Science from the Universidade de Lisboa Faculdade de Ciências. He has been involved in several international and national research projects related to cybersecurity, including the ACES, TRUSTyFOOD, DE4A, BIG, QualiChain, SPARTA, SafeCloud, PCAS, TCLOUDS, ReSIST, CRUTIAL, and MAFTIA European projects. He has more than 200 publications and is Senior Member of the IEEE. His research focuses on cybersecurity and dependability (aka fault tolerance) in distributed systems and in the context of different applications (blockchain, cloud, mobile).
Identificação

Identificação pessoal

Nome completo
Miguel Nuno Dias Alves Pupo Correia

Nomes de citação

  • Correia, Miguel

Identificadores de autor

Ciência ID
3D1F-A7CC-1320
ORCID iD
0000-0001-7873-5531

Websites

  • http://www.dpss.inesc-id.pt/~mpc/ (Profissional)

Domínios de atuação

  • Ciências da Engenharia e Tecnologias - Engenharia Eletrotécnica, Eletrónica e Informática

Idiomas

Idioma Conversação Leitura Escrita Compreensão Peer-review
Inglês Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1) Utilizador proficiente (C1)
Espanhol; Castelhano Utilizador elementar (A1) Utilizador proficiente (C1) Utilizador elementar (A1) Utilizador elementar (A1)
Formação
Grau Classificação
2018
Concluído
Agregação em Engenharia Informática e de Computadores (Título de Agregado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"From Byzantine Consensus to Blockchains" (TESE/DISSERTAÇÃO)
Aprovado por unanimidade
2003
Concluído
PhD in Informatics (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Intrusion Tolerance based on Architectural Hybridization" (TESE/DISSERTAÇÃO)
A (Aprovado com Distinção e Louvor)
1995
Concluído
MSc in Electrotechnical and Computing Engineering (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Intrinsic Multimedia Synchronization in Distributed Systems" (TESE/DISSERTAÇÃO)
A (Muito bom)
1991
Concluído
Bachelor in Electrotechnical and Computing Engineering (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Test equipment for X.25 public data networks" (TESE/DISSERTAÇÃO)
B (15)
Percurso profissional

Ciência

Categoria Profissional
Instituição de acolhimento
Empregador
2011/01/01 - Atual Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
1998/01/01 - 2010/12/31 Investigador (Investigação) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
1991/12/01 - 1997/07/31 Investigador (Investigação) Instituto de Engenharia de Sistemas e Computadores, Portugal

Docência no Ensino Superior

Categoria Profissional
Instituição de acolhimento
Empregador
2021/05/04 - Atual Professor Catedrático (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/05/01 - 2021/05/04 Professor Associado (Docente Universitário) Universidade de Lisboa Instituto Superior Técnico, Portugal
2003/12/01 - 2011/04/30 Professor Auxiliar (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal
1997/08/01 - 2003/12/01 Assistente (Docente Universitário) Universidade de Lisboa Faculdade de Ciências, Portugal

Cargos e Funções

Categoria Profissional
Instituição de acolhimento
Empregador
2023/01/01 - Atual Presidente de Unidade Orgânica Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Departamento de Engenharia Informática, Portugal
2022/01/10 - Atual Member of the board Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2018/05/01 - Atual National representative at the European Blockchain Partnership Governo da República Portuguesa Ministério da Ciência Tecnologia e Ensino Superior, Portugal
European Blockchain Partnership, Bélgica
2020/07/01 - 2021/12/31 Co-Chair of the European Blockchain Partnership Governo da República Portuguesa Ministério da Ciência Tecnologia e Ensino Superior, Portugal
European Blockchain Partnership, Bélgica

Outros

Categoria Profissional
Instituição de acolhimento
Empregador
2021/01/01 - Atual Vice Presidente do Departamento de Engenharia Informática para os Recursos Humanos Docentes Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/07/01 - Atual Coordinator of the Doctoral Program in Information Security Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/07/01 - 2021/12/31 Co-chair of the European Blockchain Partnership European Commission, Bélgica
Projetos

Bolsa

Designação Financiadores
2019/02 - 2022/02 SPARTA - Special projects for advanced research and technology in Europe European Commission
2019/01 - 2021/12 QualiChain - Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation European Commission
2018/08 - 2021/07 SEAL - SEcurity progrAmming of web appLications Fundação para a Ciência e a Tecnologia
2018/06 - 2021/05 Angainor - reproducible large-scale evaluation and fault injection Fundação para a Ciência e a Tecnologia
2018/06 - 2021/05 Cosmos - Causal Consistency on the Network Edge Fundação para a Ciência e a Tecnologia
2016/07 - 2019/06 ABYSS - Autonomic Byzantine Fault-Tolerant Systems Fundação para a Ciência e a Tecnologia
2016/07 - 2019/06 SATURN - Spatio­temporal cloud store for big­data applications Fundação para a Ciência e a Tecnologia
2015/09 - 2018/08 SafeCloud - Secure and Resilient Cloud Architecture European Commission
2013/10 - 2016/09 PCAS - Personalised Centralized Authentication System European Commission
2013/08 - 2016/07 LEAD Clouds - Large Efficient And Dependable Clouds
400511/2013-4
CAPES / CNPQ
2010/10 - 2014/03 TRONE - Trustworthy and Resilient Operations in a Network Environment Fundação para a Ciência e a Tecnologia
2011/01 - 2013/12 Resilient Computing in the Clouds - RC-Clouds Fundação para a Ciência e a Tecnologia
2010/10 - 2013/09 TCLOUDS - Trustworthy Clouds – Privacy and Resilience for Internet-scale Critical Infrastructure
257243
European Commission
2010/01 - 2012/12 Diverse - Diversity for Intrusion Tolerant Systems Fundação para a Ciência e a Tecnologia
2010/01 - 2012/12 REGENESYS - Regeneration of Replicated Systems Fundação para a Ciência e a Tecnologia
2000/01 - 2009/03 MAFTIA -- Malicious- and Accidental-Fault Tolerance for Internet Applications
11583
European Commission
2006/01 - 2008/12 ReSIST - Resilience for Survivability in IST European Commission
2006/01 - 2008/12 CRUTIAL - CRitical UTility InfrastructurAL Resilience European Commission
2005/05 - 2007/12 AJECT: Attack Injection on Software Components Fundação para a Ciência e a Tecnologia
2005/03 - 2007/12 RITAS - Randomized Intrusion Tolerance for Asynchronous Systems Fundação para a Ciência e a Tecnologia
2001/01 - 2003/12 DeFeATS -- Distributed Fault and Attack Tolerant Systems configuration
POSI/CHS/33996/1999
Fundação para a Ciência e a Tecnologia

Projeto

Designação Financiadores
2020/10/01 - Atual DE4A - Digital Europe for All
Investigador responsável
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Em curso
2020/09/01 - 2025/08/31 BIG - Enhancing the research and innovation potential of Tecnico through Blockchain technologies and design Innovation for social Good
Investigador
Universidade de Lisboa Instituto Superior Técnico, Portugal
Em curso
Produções

Publicações

Artigo em conferência
  1. Cláudio Correia; Miguel Correia; Luís Rodrigues. "Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge". 2023.
    10.1145/3576915.3623111
  2. SILVA, JOÃO NUNO; Correia, Miguel; Daniel Andrade; Hélio Sven Borges. "TrustGlass: Human-Computer Trusted Paths with Augmented Reality Smart Glasses". 2023.
    Aceite para publicação
  3. Cláudio Correia; Rita Prates; Correia, Miguel; Rodrigues, Luis. "PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems". Trabalho apresentado em Pacific Rim International Symposium on Dependable Computing (PRDC), Singapura, 2023.
    Publicado
  4. Andrade, Daniel; Silva, João Nuno; Correia, Miguel. "I Can’t Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX". 2023.
    Aceite para publicação • 10.1109/prdc59308.2023.00032
  5. João Romeiras Amado; Francisco Chamiça Pereira; Salvatore Signorello; Miguel Correia; Fernando Ramos. "Poster: In-Network ML Feature Computation for Malicious Traffic Detection". 2023.
    10.1145/3603269.3610866
  6. Felix Monteiro; Miguel Correia. "Decentralised Autonomous Organisations for Public Procurement". 2023.
    10.1145/3593434.3593519
  7. Rodrigo Silva; Cláudio Correia; Miguel Correia; Luis Rodrigues. "Deduplication vs Privacy Tradeoffs in Cloud Storage". 2023.
    10.1145/3555776.3577711
  8. Apolinário, Filipe; Escravana, Nelson; Hervé, Éric; Pardal, Miguel L.; Correia, Miguel. "FingerCI: generating specifications for critical infrastructures". Trabalho apresentado em SAC 22, 2022.
    10.1145/3477314.3507323
  9. Martins, Filipe F.; Matos, David R.; Pardal, Miguel L.; Correia, Miguel. "Recoverable Token: Recovering from Intrusions against Digital Assets in Ethereum". Trabalho apresentado em 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA), Cambridge, MA, 2020.
    Publicado • 10.1109/nca51143.2020.9306738
  10. Luís Dias; Hélder Reia; Rui Neves; Miguel Correia. "OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zooms". Trabalho apresentado em 13th International Conference on Network and System Security, 2019.
    10.1007/978-3-030-36938-5_12
  11. Erick Lavoie; Laurie J. Hendren; Frederic Desprez; Correia, Miguel. "Pando: Personal Volunteer Computing in Browsers". Trabalho apresentado em 2019 ACM/IFIP/USENIX International Middleware Conference, 2019.
  12. Correia, Cláudio; Correia, Miguel; Rodrigues, Luis. "Ordenação Segura de Eventos na Periferia da Rede". Trabalho apresentado em INForum - Simpósio de Informática, Guimarães, 2019.
    Publicado
  13. Rafael Belchior; André Vasconcelos; Correia, Miguel. "JusticeChain: Using Blockchain to Protect Justice Logs". Trabalho apresentado em 27th International Conference on Cooperative Information Systems - CoopIS 2019, 2019.
  14. Carlos Faria; Correia, Miguel. "BlockSim: Blockchain Simulator". Trabalho apresentado em IEEE Blockchain Symposium, 2019.
  15. Erick Lavoie; Laurie J. Hendren; Frederic Desprez; Correia, Miguel. "Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC". Trabalho apresentado em IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2019, 2019.
  16. David Matos; Miguel Pardal; Correia, Miguel. "RockFS: Cloud-backed File System Resilience to Client-Side Attacks". Trabalho apresentado em 2018 ACM/IFIP/USENIX International Middleware Conference, 2018.
  17. Filipe Apolinário; Miguel Pardal; Correia, Miguel. "S-Audit: Efficient Data Integrity Verification for Cloud Storage". Trabalho apresentado em Trustcom 2018, 2018.
  18. Correia, Miguel; Ray Neiheiser; Daniel Presser; Luciana Rech; Manuel Bravo; Luís Eduardo Teixeira Rodrigues. "Fireplug: Flexible and Robust N-version Geo-Replication of Graph Databases". Trabalho apresentado em Proceedings of the 32nd International Conference on Information Networking (ICOIN), 2018.
  19. Luís Sacramento; Ibéria Medeiros; João Bota; Correia, Miguel. "FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data using Network Flows". Trabalho apresentado em IEEE TrustCom, 2018.
  20. Duarte, Nuno O.; Yalew, Sileshi Demesie; Santos, Nuno; Correia, Miguel. "Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions". Trabalho apresentado em 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services - MobiQuitous '18, 2018.
    10.1145/3286978.3287015
  21. Guerra, Miguel; Taubmann, Benjamin; Reiser, Hans P.; Yalew, Sileshi; Correia, Miguel. "Introspection for ARM TrustZone with the ITZ Library". Trabalho apresentado em 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018.
    10.1109/qrs.2018.00026
  22. Netto, Hylson Vescovi; Luiz, Aldelir Fernando; Correia, Miguel; de Oliveira Rech, Luciana; Oliveira, Caio Pereira. "Koordinator: A Service Approach for Replicating Docker Containers in Kubernetes". 2018.
    10.1109/iscc.2018.8538452
  23. Matos, David R.; Pardal, Miguel L.; Adão, Pedro; Silva, António Rito; Correia, Miguel. "Securing Electronic Health Records in the Cloud". Trabalho apresentado em 1st Workshop on Privacy by Design in Distributed Systems - W-P2DS'18, 2018.
    10.1145/3195258.3195259
  24. Correia, Miguel; David Matos; Miguel Pardal. "Rectify: Black-Box Intrusion Recovery in PaaS Clouds". Trabalho apresentado em Proceedings of the 2017 ACM/IFIP/USENIX International Middleware Conference, 2017.
  25. Correia, Miguel; André Joaquim; Miguel Pardal. "Vulnerability-Tolerant Transport Layer Security". Trabalho apresentado em Proceedings of the 21st International Conference on Principles of Distributed Systems (OPODIS), 2017.
  26. Correia, Miguel. "REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks". Trabalho apresentado em 20th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2017), 2017.
  27. Correia, Miguel. "TruApp: A TrustZone-based Authenticity Detection Service for Mobile Apps". Trabalho apresentado em 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2017.
  28. Correia, Miguel. "DroidPosture: A Trusted Posture Assessment Service for Mobile Devices". Trabalho apresentado em 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2017.
  29. Correia, Miguel. "Hail to the Thief: Protecting Data from Mobile Ransomware with ransomSafeDroid". Trabalho apresentado em 16th IEEE International Symposium on Network Computing and Applications, 2017.
  30. Correia, Miguel. "On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study". Trabalho apresentado em 13th European Dependable Computing Conference (EDCC 2017), 2017.
  31. Correia, Miguel. "Xor-Based Topology Management Beyond Kademlia". Trabalho apresentado em 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2017.
  32. Correia, Miguel. "T2Droid: A TrustZone-based Dynamic Analyser for Android Applications". Trabalho apresentado em 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2017.
  33. Correia, Miguel. "A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection". Trabalho apresentado em International Work-Conference on Artificial Neural Networks (IWANN), 2017.
  34. Correia, Miguel. "PRIVO: A PRIvacy-preserVing Opportunistic routing protocol for Delay Tolerant Networks". Trabalho apresentado em IFIP Networking Conference, 2017.
  35. Ibéria Medeiros; Nuno F. Neves; Correia, Miguel. "Demonstrating a Tool for Injection Attack Prevention in MySQL". Trabalho apresentado em IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2017.
  36. Correia, Miguel. "Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce". Trabalho apresentado em 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 2017.
  37. Joaquim, Andre; Pardal, Miguel L.; Correia, Miguel. "vtTLS: A vulnerability-tolerant communication protocol". Trabalho apresentado em IEEE NCA 2016, 2016.
    10.1109/nca.2016.7778620
  38. Matos, D.; Correia, M.. "NoSQL Undo: Recovering NoSQL databases by undoing operations". Trabalho apresentado em 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778616
  39. Costa, P.A.R.S.; Bai, X.; Ramos, F.M.V.; Correia, M.. "Medusa: An Efficient Cloud Fault-Tolerant MapReduce". Trabalho apresentado em Proceedings of the 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 2016.
    10.1109/CCGrid.2016.20
  40. Filho, P.R.P.; De Oliveira Rech, L.; Lung, L.C.; Correia, M.; Camargos, L.J.. "Priority-based state machine replication with PRaxos". Trabalho apresentado em Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016.
    10.1109/AINA.2016.63
  41. Medeiros, I.; Neves, N.; Correia, M.. "Equipping WAP with WEAPONS to detect vulnerabilities: Practical experience report". 2016.
    10.1109/DSN.2016.63
  42. Medeiros, I.; Beatriz, M.; Neves, N.; Correia, M.. "Hacking the DBMS to prevent injection attacks". 2016.
    10.1145/2857705.2857723
  43. Medeiros, I.; Neves, N.; Correia, M.. "DEKANT: A static analysis tool that learns to detect web application vulnerabilities". 2016.
    10.1145/2931037.2931041
  44. Yalew, S.D.; Maguire, G.Q.; Correia, M.. "Light-SPD: A platform to prototype secure mobile applications". 2016.
    10.1145/2940343.2940349
  45. Silva, E.A.; Correia, M.. "Leveraging an homomorphic encryption library to implement a coordination service". Trabalho apresentado em 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778590
  46. Balu, K.; Pardal, M.L.; Correia, M.. "DARSHANA: Detecting route hijacking for communication confidentiality". Trabalho apresentado em Proceedings of the 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778593
  47. Raposo, D.; Pardal, M.L.; Rodrigues, L.; Correia, M.. "MACHETE: Multi-path communication for security". Trabalho apresentado em 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778594
  48. Gouveia, A.; Correia, M.. "Feature set tuning in statistical learning network intrusion detection". Trabalho apresentado em 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778595
  49. Presser, D.; Lung, L.C.; Correia, M.. "Greft: Arbitrary Fault-Tolerant Distributed Graph Processing". 2015.
    10.1109/BigDataCongress.2015.73
  50. Gonçalves, D.; Bota, J.; Correia, M.. "Big data analytics for detecting host misbehavior in large logs". 2015.
    10.1109/Trustcom.2015.380
  51. Nascimento, D.; Correia, M.. "Shuttle: Intrusion Recovery for PaaS". 2015.
    10.1109/ICDCS.2015.72
  52. Netto, H.V.; Lung, L.C.; Ribeiro, T.A.; Correia, M.; Luiz, A.F.. "Anticipating Requests to Improve Performance and Reduce Costs in Cloud Storage". 2015.
    10.1145/2847220.2847226
  53. Correia, M.; Mittal, N.. "Cloud computing dependability: Report and extended papers of the second international workshop on dependability issues in cloud computing". 2014.
    10.1145/2694737.2694739
  54. Medeiros, I.; Neves, N.F.; Correia, M.. "Automatic detection and correction of Web application vulnerabilities using data mining to predict false positives". 2014.
    10.1145/2566486.2568024
  55. Magaia, N.; Pereira, P.R.; Correia, M.P.. "Nodes' misbehavior in Vehicular Delay-Tolerant Networks". 2013.
    10.1109/CFIC.2013.6566325
  56. Medeiros, I.; Neves, N.F.; Correia, M.. "Securing energy metering software with automatic source code correction". 2013.
    10.1109/INDIN.2013.6622969
  57. Dettoni, F.; Lung, L.C.; Correia, M.; Luiz, A.F.. "Byzantine fault-tolerant state machine replication with twin virtual machines". 2013.
    10.1109/ISCC.2013.6754979
  58. Magaia, N.; Pereira, P.R.; Correia, M.P.. "Selfish and malicious behavior in delay-tolerant networks". Trabalho apresentado em Proceedings of Future Network and Mobile Summit 2013, 2013.
  59. Correia, M.P.. "Message from the program committee chair". 2012.
    10.1109/EDCC.2012.5
  60. Correia, M.. "Software execution protection in the cloud". 2012.
    10.1145/2365316.2365323
  61. Correia, M.; Costa, P.; Pasin, M.; Bessani, A.; Ramos, F.; Verissimo, P.. "On the feasibility of byzantine fault-tolerant mapreduce in clouds-of-clouds". 2012.
    10.1109/SRDS.2012.46
  62. Costa, P.; Pasin, M.; Bessani, A.N.; Correia, M.. "Byzantine fault-tolerant MapReduce: Faults are not just crashes". 2011.
    10.1109/CloudCom.2011.15
  63. Bessani, A.; Correia, M.; Quaresma, B.; André, F.; Sousa, P.. "DEPSKY: Dependable and secure storage in a cloud-of-clouds". 2011.
    10.1145/1966445.1966449
  64. Rocha, F.; Correia, M.. "Lucy in the sky without diamonds: Stealing confidential data in the cloud". 2011.
    10.1109/DSNW.2011.5958798
  65. Nascimento, G.; Correia, M.. "Anomaly-based intrusion detection in software as a service". 2011.
    10.1109/DSNW.2011.5958858
  66. Luiz, A.F.; Lung, L.C.; Correia, M.. "Byzantine fault-tolerant transaction processing for replicated databases". 2011.
    10.1109/NCA.2011.19
  67. Vilaça, X.; Leitão, J.; Correia, M.; Rodrigues, L.. "N-party BAR transfer". Trabalho apresentado em 15th International Conference On Principles of Distributed Systems (OPODIS), 2011.
    10.1007/978-3-642-25873-2_27
  68. Correia, M.; Pal, P.. "4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010". 2010.
    10.1109/DSNW.2010.5542605
  69. Stumm Júnior, V.; Lung, L.C.; Correia, M.; Da Silva Fraga, J.; Lau, J.. "Intrusion tolerant services through virtualization: A shared memory approach". 2010.
    10.1109/AINA.2010.87
  70. Correia, M.; Veronese, G.S.; Lung, L.C.. "Asynchronous Byzantine consensus with 2f+1 processes". 2010.
    10.1145/1774088.1774187
  71. Moniz, H.; Neves, N.F.; Correia, M.. "Turquois: Byzantine consensus in wireless ad hoc networks". 2010.
    10.1109/DSN.2010.5544268
  72. Correia, M.; Pal, P.. "4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010". 2010.
    10.1109/DSN.2010.5544420
  73. Veronese, G.S.; Correia, M.; Bessani, A.N.; Lung, L.C.. "EBAWA: Efficient byzantine agreement for wide-area networks". 2010.
    10.1109/HASE.2010.19
  74. Moniz, H.; Neves, N.F.; Correia, M.; Veríssimo, P.. "Randomization Can Be a Healer: Consensus with Dynamic Omission Failures - Best Student Paper Award". Trabalho apresentado em 23rd International Symposium on Distributed Computing (DISC), 2009.
    10.23919/ecc.2013.6669089
  75. Verissimo, P.; Bessani, A.N.; Correia, M.; Neves, N.F.; Sousa, P.. "Designing modular and redundant cyber architectures for process control: Lessons learned". 2009.
    10.1109/HICSS.2009.150
  76. Bagchi, S.; Correia, M.; Pal, P.. "3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009". 2009.
    10.1109/DSN.2009.5270281
  77. Sousa, P.; Bessani, A.N.; Dantas, W.S.; Souto, F.; Correia, M.; Neves, N.F.. "Intrusion-tolerant self-healing devices for critical infrastructure protection". 2009.
    10.1109/DSN.2009.5270333
  78. Veronese, G.S.; Correia, M.; Bessani, A.N.; Lung, L.C.. "Spin one's wheels? Byzantine fault tolerance with a spinning primary". 2009.
    10.1109/SRDS.2009.36
  79. Bessani, A.N.; Alchieri, E.P.; Correia, M.; Fraga, J.S.. "DepSpace: A byzantine fault-tolerant coordination service". 2008.
    10.1145/1357010.1352610
  80. Veronese, G.S.; Correia, M.; Lau, C.L.; Verissimo, P.. "Finite memory: A vulnerability of intrusion-tolerant systems". 2008.
    10.1109/NCA.2008.40
  81. Bessani, A.N.; Alchieri, E.P.; Correia, M.; Fraga, J.S.. "DepSpace: A byzantine fault-tolerant coordination service". 2008.
    10.1145/1352592.1352610
  82. Favarim, F.; Da Silva Fraga, J.; Lung, L.C.; Correia, M.; Santos, J.F.. "Exploiting tuple spaces to provide fault-tolerant scheduling on computational grids". 2007.
    10.1109/ISORC.2007.37
  83. Bessani, A.N.; Correia, M.; Da Silva Fraga, J.; Lung, L.C.. "Decoupled quorum-based byzantine-resilient coordination in open distributed systems". 2007.
    10.1109/NCA.2007.14
  84. Dantas, W.S.; Bessani, A.N.; Da Silva Fraga, J.; Correia, M.. "Evaluating Byzantine quorum systems". 2007.
    10.1109/SRDS.2007.4365701
  85. Veronese, G.S.; Correia, M.; Lung, L.C.; Verissimo, P.. "On the effects of finite memory on intrusion-tolerant systems". 2007.
    10.1109/PRDC.2007.51
  86. Favarim, F.; Da Silva Fraga, J.; Lung, L.C.; Correia, M.. "GridTS: A new approach for fault-tolerant scheduling in grid computing". 2007.
    10.1109/NCA.2007.27
  87. Moniz, H.; Neves, N.F.; Correia, M.; Casimiro, A.; Veríssimo, P.. "Intrusion tolerance in wireless environments: An experimental evaluation". 2007.
    10.1109/PRDC.2007.46
  88. Sousa, P.; Bessani, A.N.; Correia, M.; Neves, N.F.; Verissimo, P.. "Resilient intrusion tolerance through proactive and reactive recovery". 2007.
    10.1109/PRDC.2007.59
  89. Jieke, P.; Redol, J.; Correia, M.. "Specification-based intrusion detection system for carrier ethernet". Trabalho apresentado em Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings, 2007.
  90. Lung, L.C.; Favarim, F.; Santos, G.T.; Correia, M.. "An infrastructure for adaptive fault tolerance on FT-CORBA". 2006.
    10.1109/ISORC.2006.
  91. Moniz, H.; Neves, N.F.; Correia, M.; Veríssimo, P.. "Experimental comparison of local and shared coin randomized consensus protocols". 2006.
    10.1109/SRDS.2006.19
  92. Bessani, A.N.; Correia, M.; Da Silva Fraga, J.; Lung, L.C.. "Sharing memory between Byzantine processes using policy-enforced tuple spaces". 2006.
    10.1109/ICDCS.2006.76
  93. Moniz, H.; Neves, N.F.; Correia, M.; Verissimo, P.. "Randomized intrusion-tolerant asynchronous services". 2006.
    10.1109/DSN.2006.60
  94. Neves, N.; Antunes, J.; Correia, M.; Veríssimo, P.; Neves, R.. "Using attack injection to discover new vulnerabilities". 2006.
    10.1109/DSN.2006.72
  95. Bessani, A.N.; Correia, M.; Da Silva Fraga, J.; Lau, C.L.. "Brief announcement: Decoupled quorum-based byzantine-resilient coordination in open distributed systems". Trabalho apresentado em 20th International Symposium on Distributed Computing (DISC 2006), 2006.
  96. Veríssimo, P.; Neves, N.F.; Correia, M.. "CRUTIAL: The blueprint of a reference critical information infrastructure architecture". Trabalho apresentado em CRITIS'06 1st International Workshop on Critical Information Infrastructures Security, 2006.
    10.1007/11962977_1
  97. Bessani, A.N.; Correia, M.; Moniz, H.; Neves, N.F.; Verissimo, P.. "When 3f + 1 is not enough: Tradeoffs for decentralized asynchronous byzantine consensus". Trabalho apresentado em 21st International Symposium on Distributed Computing, 2005.
  98. Correia, M.; Neves, N.F.; Veríssimo, P.. "How to tolerate half less one byzantine nodes in practical distributed systems". Trabalho apresentado em Proceedings of the IEEE Symposium on Reliable Distributed Systems, 2004.
  99. Correia, M.; Veríssimo, P.; Neves, N.F.. "The design of a COTS real-time distributed security kernel". Trabalho apresentado em Fourth European Dependable Computing Conference (EDCC), 2002.
  100. Correia, M.; Lung, L.C.; Neves, N.F.; Veríssimo, P.. "Efficient Byzantine-resilient reliable multicast on a hybrid failure model". 2001.
    10.1109/RELDIS.2002.1180168
  101. Correia, M.; Veríssino, P.; Neves, N.F.. "The architecture of a secure group communication system based on intrusion tolerance". 2001.
    10.1109/CDCS.2001.918681
  102. Bom, J.; Marques, P.; Correia, M.; Pinto, P.. "Integrated dynamic QoS control for multimedia applications". 1998.
    10.1117/12.321914
  103. Correia, Miguel; Pinto, Paulo. "Low-level multimedia synchronization algorithms on broadband networks". Trabalho apresentado em Proceedings of the ACM International Multimedia Conference & Exhibition, 1995.
Artigo em revista
  1. Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia. "Do You Need a Distributed Ledger Technology Interoperability Solution?". Distributed Ledger Technologies: Research and Practice (2023): https://doi.org/10.1145/3564532.
    10.1145/3564532
  2. Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia. "MIRES: Intrusion Recovery for Applications Based on Backend-As-a-Service". IEEE Transactions on Cloud Computing (2023): https://doi.org/10.1109/TCC.2022.3178982.
    10.1109/TCC.2022.3178982
  3. David R. Matos; Miguel L. Pardal; Miguel Correia. "Sanare: Pluggable Intrusion Recovery for Web Applications". IEEE Transactions on Dependable and Secure Computing (2023): https://doi.org/10.1109/TDSC.2021.3139472.
    10.1109/TDSC.2021.3139472
  4. David R. Matos; Miguel L. Pardal; António Rito Silva; Miguel Correia. "µVerum: Intrusion Recovery for Microservice Applications". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3298113.
    10.1109/ACCESS.2023.3298113
  5. Diogo Vaz; David R. Matos; Miguel L. Pardal; Miguel Correia. "Synthesis of Fault-Tolerant Reliable Broadcast Algorithms With Reinforcement Learning". IEEE Access (2023): https://doi.org/10.1109/ACCESS.2023.3287405.
    10.1109/ACCESS.2023.3287405
  6. Rafael Belchior; Peter Somogyvari; Jonas Pfannschmidt; André Vasconcelos; Miguel Correia. "Hephaestus: Modeling, Analysis, and Performance Evaluation of Cross-Chain Transactions". IEEE Transactions on Reliability (2023): https://doi.org/10.1109/TR.2023.3336246.
    10.1109/TR.2023.3336246
  7. Sérgio Guerreiro; João F. Ferreira; Tiago Fonseca; Miguel Correia. "Integrating an academic management system with blockchain: A case study". Blockchain: Research and Applications (2022): https://doi.org/10.1016/j.bcra.2022.100099.
    10.1016/j.bcra.2022.100099
  8. Claudio Correia; Miguel Correia; Luis Rodrigues. "Omega: A Secure Event Ordering Service for the Edge". IEEE Transactions on Dependable and Secure Computing (2022): https://doi.org/10.1109/TDSC.2021.3078520.
    10.1109/TDSC.2021.3078520
  9. Iberia Medeiros; Nuno Neves; Miguel Correia. "Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages". IEEE Transactions on Reliability 71 2 (2022): 1033-1056. https://doi.org/10.1109/TR.2021.3137314.
    10.1109/TR.2021.3137314
  10. Daniel Andrade; Joao Silva; Miguel Correia. "SRX–Secure Data Backup and Recovery for SGX Applications". IEEE Access (2022): https://doi.org/10.1109/ACCESS.2022.3162489.
    10.1109/ACCESS.2022.3162489
  11. Correia, Claudio; Correia, Miguel; Rodrigues, Luis. "Omega: a Secure Event Ordering Servicefor for the Edge". IEEE Transactions on Dependable and Secure Computing (2021): 1-1. http://dx.doi.org/10.1109/tdsc.2021.3078520.
    10.1109/tdsc.2021.3078520
  12. Ray Neiheiser; Luciana Rech; Manuel Bravo; Luis Rodrigues; Miguel Correia. "Fireplug: Efficient and Robust Geo-Replication of Graph Databases". IEEE Transactions on Parallel and Distributed Systems 31 8 (2020): 1942-1953. https://doi.org/10.1109/TPDS.2020.2981019.
    10.1109/TPDS.2020.2981019
  13. Iberia Medeiros; Miguel Beatriz; Nuno Neves; Miguel Correia. "SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS". IEEE Transactions on Reliability 68 3 (2019): 1168-1188. https://doi.org/10.1109/TR.2019.2900007.
    10.1109/TR.2019.2900007
  14. Naercio Magaia; Carlos Borrego; Paulo Rogerio Pereira; Miguel Correia. "ePRIVO: An Enhanced PRIvacy-preserVing Opportunistic Routing Protocol for Vehicular Delay-Tolerant Networks". IEEE Transactions on Vehicular Technology 67 11 (2018): 11154-11168. https://doi.org/10.1109/TVT.2018.2870113.
    10.1109/TVT.2018.2870113
  15. Nunes, Paulo; Medeiros, Ibéria; Fonseca, José; Neves, Nuno; Correia, Miguel; Vieira, Marco. "An empirical study on combining diverse static analysis tools for web security vulnerabilities based on development scenarios". Computing 101 2 (2018): 161-185. http://dx.doi.org/10.1007/s00607-018-0664-z.
    10.1007/s00607-018-0664-z
  16. Paulo Nunes; Iberia Medeiros; Jose C. Fonseca; Nuno Neves; Miguel Correia; Marco Vieira. "Benchmarking Static Analysis Tools for Web Security". IEEE Transactions on Reliability 67 3 (2018): 1159-1175. https://doi.org/10.1109/TR.2018.2839339.
    10.1109/TR.2018.2839339
  17. Netto, H.V.; Lung, L.C.; Correia, M.; Luiz, A.F.; Sá de Souza, L.M.. "State machine replication in containers managed by Kubernetes". Journal of Systems Architecture 73 (2017): 53-59. http://www.scopus.com/inward/record.url?eid=2-s2.0-85009278874&partnerID=MN8TOARS.
    10.1016/j.sysarc.2016.12.007
  18. Alysson Bessani; Nuno F. Neves; Paulo Veríssimo; Wagner Dantas; Alexandre Fonseca; Rui Silva; Pedro Luz; Miguel Correia. "JITeR: Just-In-Time Application-Layer Routing". Computer Networks (2016):
    10.1016/j.comnet.2016.05.010
  19. Correia, Miguel. "A multi-objective routing algorithm for Wireless Multimedia Sensor Networks". Applied Soft Computing (2015):
    10.1016/j.asoc.2015.01.052
  20. Magaia, N.; Francisco, A.P.; Pereira, P.; Correia, M.. "Betweenness centrality in Delay Tolerant Networks: A survey". Ad Hoc Networks 33 (2015): 284-305. http://www.scopus.com/inward/record.url?eid=2-s2.0-84941878376&partnerID=MN8TOARS.
    10.1016/j.adhoc.2015.05.002
  21. Luiz, A.F.; Lung, L.C.; Correia, M.. "MITRA: Byzantine fault-tolerant middleware for transaction processing on replicated databases". SIGMOD Record 43 1 (2014): 32-38. http://www.scopus.com/inward/record.url?eid=2-s2.0-84901650281&partnerID=MN8TOARS.
    10.1145/2627692.2627699
  22. Veronese, G.S.; Correia, M.; Bessani, A.N.; Lung, L.C.; Verissimo, P.. "Efficient byzantine fault-tolerance". IEEE Transactions on Computers 62 1 (2013): 16-30. http://www.scopus.com/inward/record.url?eid=2-s2.0-84870530606&partnerID=MN8TOARS.
    10.1109/TC.2011.221
  23. Correia, M.; Neves, N.F.; Verissimo, P.. "BFT-TO: Intrusion tolerance with less replicas". Computer Journal 56 6 (2013): 693-715. http://www.scopus.com/inward/record.url?eid=2-s2.0-84878614685&partnerID=MN8TOARS.
    10.1093/comjnl/bxs148
  24. Costa, P.; Pasin, M.; Bessani, A.N.; Correia, M.P.. "On the performance of byzantine fault-tolerant mapreduce". IEEE Transactions on Dependable and Secure Computing 10 5 (2013): 301-313. http://www.scopus.com/inward/record.url?eid=2-s2.0-84883749059&partnerID=MN8TOARS.
    10.1109/TDSC.2013.7
  25. Bessani, A.; Correia, M.; Quaresma, B.; Andre, F.; Sousa, P.. "DepSky: Dependable and secure storage in a cloud-of-clouds". ACM Transactions on Storage 9 4 (2013): http://www.scopus.com/inward/record.url?eid=2-s2.0-84886483953&partnerID=MN8TOARS.
    10.1145/2535929
  26. Moniz, H.; Neves, N.F.; Correia, M.. "Byzantine fault-tolerant consensus in wireless Ad Hoc networks". IEEE Transactions on Mobile Computing 12 12 (2013): 2441-2454. http://www.scopus.com/inward/record.url?eid=2-s2.0-84887846390&partnerID=MN8TOARS.
    10.1109/TMC.2012.225
  27. Correia, M.; Veronese, G.S.; Neves, N.F.; Verissimo, P.. "Byzantine consensus in asynchronous message-passing systems: A survey". International Journal of Critical Computer-Based Systems 2 2 (2011): 141-161. http://www.scopus.com/inward/record.url?eid=2-s2.0-84862687363&partnerID=MN8TOARS.
    10.1504/IJCCBS.2011.041257
  28. Moniz, H.; Neves, N.F.; Correia, M.; Verissimo, P.. "RITAS: Services for randomized intrusion tolerance". IEEE Transactions on Dependable and Secure Computing 8 1 (2011): 122-136. http://www.scopus.com/inward/record.url?eid=2-s2.0-78649351966&partnerID=MN8TOARS.
    10.1109/TDSC.2008.76
  29. Moniz, H.; Neves, N.F.; Correia, M.; Veríssimo, P.. "Randomization can be a healer: Consensus with dynamic omission failures". Distributed Computing 24 3-4 (2011): 165-175. http://www.scopus.com/inward/record.url?eid=2-s2.0-84855549972&partnerID=MN8TOARS.
    10.1007/s00446-010-0116-2
  30. Sousa, P.; Bessani, A.N.; Correia, M.; Neves, N.F.; Verissimo, P.. "Highly available intrusion-tolerant services with proactive-reactive recovery". IEEE Transactions on Parallel and Distributed Systems 21 4 (2010): 452-465. http://www.scopus.com/inward/record.url?eid=2-s2.0-77649269780&partnerID=MN8TOARS.
    10.1109/TPDS.2009.83
  31. Antunes, J.; Neves, N.; Correia, M.; Verissimo, P.; Neves, R.. "Vulnerability discovery with attack injection". IEEE Transactions on Software Engineering 36 3 (2010): 357-370. http://www.scopus.com/inward/record.url?eid=2-s2.0-77953120554&partnerID=MN8TOARS.
    10.1109/TSE.2009.91
  32. Bessani, A.N.; Correia, M.; Fraga, J.D.S.; Lung, L.C.. "An efficient byzantine-resilient tuple space". IEEE Transactions on Computers 58 8 (2009): 1080-1095. http://www.scopus.com/inward/record.url?eid=2-s2.0-77955082441&partnerID=MN8TOARS.
    10.1109/TC.2009.71
  33. Bessani, A.N.; Correia, M.; da Silva Fraga, J.; Cheuk Lung, L.. "Sharing memory between byzantine processes using policy-enforced tuple spaces". IEEE Transactions on Parallel and Distributed Systems 20 3 (2009): 419-432. http://www.scopus.com/inward/record.url?eid=2-s2.0-60449093761&partnerID=MN8TOARS.
    10.1109/TPDS.2008.96
  34. Correia, M.; Bessani, A.N.; Veríssimo, P.. "On Byzantine generals with alternative plans". Journal of Parallel and Distributed Computing 68 9 (2008): 1291-1296. http://www.scopus.com/inward/record.url?eid=2-s2.0-48849084135&partnerID=MN8TOARS.
    10.1016/j.jpdc.2008.04.008
  35. Veríssimo, P.; Neves, N.F.; Correia, M.. "The CRUTIAL reference critical information infrastructure architecture: A blueprint". International Journal of System of Systems Engineering 1 1-2 (2008): 78-95. http://www.scopus.com/inward/record.url?eid=2-s2.0-51849150631&partnerID=MN8TOARS.
    10.1504/IJSSE.2008.018132
  36. Correia, M.; Neves, N.F.; Lung, L.C.; Veríssimo, P.. "Worm-IT - A wormhole-based intrusion-tolerant group communication system". Journal of Systems and Software 80 2 (2007): 178-197. http://www.scopus.com/inward/record.url?eid=2-s2.0-33846035707&partnerID=MN8TOARS.
    10.1016/j.jss.2006.03.034
  37. Khanna, G.; Cheng, M.Y.; Varadharajan, P.; Bagchi, S.; Correia, M.P.; Veríssimo, P.J.. "Automated rule-based diagnosis through a distributed monitor system". IEEE Transactions on Dependable and Secure Computing 4 4 (2007): 266-279. http://www.scopus.com/inward/record.url?eid=2-s2.0-36248945561&partnerID=MN8TOARS.
    10.1109/TDSC.2007.70211
  38. Correia, M.; Neves, N.F.; Veríssimo, P.. "From consensus to atomic broadcast: Time-free byzantine-resistant protocols without signatures". Computer Journal 49 1 (2006): 82-96. http://www.scopus.com/inward/record.url?eid=2-s2.0-30444456076&partnerID=MN8TOARS.
    10.1093/comjnl/bxh145
  39. Correia, M.; Neves, N.F.; Lung, L.C.; Veríssimo, P.. "Low complexity Byzantine-resilient consensus". Distributed Computing 17 3 (2005): 237-249. http://www.scopus.com/inward/record.url?eid=2-s2.0-17044416157&partnerID=MN8TOARS.
    10.1007/s00446-004-0110-7
  40. Neves, N.F.; Correia, M.; Veríssimo, P.. "Solving vector consensus with a wormhole". IEEE Transactions on Parallel and Distributed Systems 16 12 (2005): 1120-1131. http://www.scopus.com/inward/record.url?eid=2-s2.0-30344433440&partnerID=MN8TOARS.
    10.1109/TPDS.2005.153
Artigo em revista (magazine)
  1. Pedro Costa; Fernando M. V. Ramos; Correia, Miguel. "On the Design of Resilient Multicloud MapReduce", IEEE Cloud Computing, 2017
  2. Francisco Rocha; Salvador Abreu; Correia, Miguel. "The final frontier: Confidentiality and privacy in the cloud", IEEE Computer, 2011
  3. Bessani, A.N.; Sousa, P.; Correia, M.; Neves, N.F.; Verssimo, P.. "The crutial way of critical infrastructure protection", IEEE Security and Privacy, 2008, http://www.scopus.com/inward/record.url?eid=2-s2.0-58849119555&partnerID=MN8TOARS.
    10.1109/MSP.2008.158
Capítulo de livro
  1. Filipe Apolinário; João Guiomar; Éric Hervé; Sven Hrastnik; Nelson Escravana; Miguel L. Pardal; Miguel Correia. "ComSEC: Secure Communications for Baggage Handling Systems". 2023.
    10.1007/978-3-031-25460-4_19
  2. Luis Dias; Correia, Miguel. "Big Data Analytics for Intrusion Detection: An Overview". In Handbook of Research on Machine and Deep Learning Applications for Cyber Security. IGI Global, 2020.
  3. Luís Sacramento; Ibéria Medeiros; João Bota; Correia, Miguel. "Detecting Botnets and Unknown Network Attacks in Big Traffic Data". In Botnets: Architectures, Countermeasures, and Challenges. CRC Press, 2020.
  4. Tiago Rosado; André Vasconcelos; Correia, Miguel. "A Blockchain Use Case for Car Registration". In Essentials of Blockchain Technology. CRC Press, 2020.
  5. Correia, Miguel. "From Byzantine Consensus to Blockchain Consensus". In Essentials of Blockchain Technology. CRC Press, 2020.
  6. Ricardo Moura; David R. Matos; Miguel L. Pardal; Miguel Correia. "MultiTLS: Secure Communication Channels with Cipher Suite Diversity". 2020.
    10.1007/978-3-030-58201-2_5
  7. Naércio Magaia; Paulo Pereira; Correia, Miguel. "Security in Delay-Tolerant Mobile Cyber-Physical Applications". In Cyber Physical Systems: From Theory to Practice. CRC Press, 2015.
  8. Correia, M.. "Clouds-of-clouds for dependability and security: Geo-replication meets the cloud". In Euro-Par 2013: Parallel Processing Workshops. 2014.
    10.1007/978-3-642-54420-0_10
  9. Moniz, H.; Tedeschi, A.; Neves, N.F.; Correia, M.. "A distributed systems approach to airborne self-separation". In Computational Models, Software Engineering and Advanced Technologies in Air Transportation: Next Generation Applications. 2009.
    10.4018/978-1-60566-800-0.ch011
  10. Paulo Verissimo; Correia, Miguel; Nuno F. Neves; Paulo Sousa. "Intrusion-Resilient Middleware Design and Validation". In Information Assurance, Security and Privacy Services. 2009.
  11. Veríssimo, P.; Neves, N.F.; Correia, M.; Deswarte, Y.; El Kalam, A.A.; Bondavalli, A.; Daidone, A.. "The CRUTIAL architecture for critical information infrastructures". In Architecting Dependable Systems V. 2008.
    10.1007/978-3-540-85571-2_1
  12. Veríssimo, P.E.; Neves, N.F.; Correia, M.P.. "Intrusion-tolerant architectures: Concepts and design". In Lecture Notes in Computer Science, 3-36. 2003.
Edição de livro
  1. Aris Gkoulalas-Divanis; Correia, Miguel; Mirco Marchetti; Dimiter R. Avresky. Proceedings of the 2018 IEEE 17th International Symposium on Network Computing and Applications (NCA). IEEE. 2018.
  2. Aris Gkoulalas-Divanis; Correia, Miguel; Dimiter R. Avresky. Proceedings of the 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA). 2017.
  3. Correia, M.; Mittal, N.. 2nd International Workshop on Dependability Issues in Cloud Computing, DISCCO 2013. 2013.
    Editor
  4. Correia, Miguel. Proceedings Ninth European Dependable Computing Conference - EDCC 2012. IEEE. 2012.
  5. Correia, Miguel; Luis Soares Barbosa. Actas do INForum - Simpósio de Informática 2010. 2010.
  6. Correia, M.; Martin, J.-P.. WRAITS 2008 - Proceedings of the 2nd Workshop on Recent Advances on Intrusion-Tolerant Systems - In Conjunction with the European Conference on Computer Systems: Foreword. 2008.
Livro
  1. Correia, Miguel; Paulo Sousa. Segurança no Software. FCA. 2017.
  2. Francisco Rocha; Salvador Abreu; Correia, Miguel. The Next Frontier: Managing Data Confidentiality and Integrity in the Cloud. IEEE Computer Society Press. 2013.
  3. Correia, Miguel; Paulo Sousa. Segurança no Software. FCA. 2010.
  4. Moniz, H.; Neves, N.F.; Correia, M.; Veríssimo, P.. Randomization can be a healer: Consensus with dynamic omission failures. 2009.
    10.1007/978-3-642-04355-0_10
Poster em conferência
  1. Amado, Joao Romeiras; Signorello, Salvatore; Correia, Miguel; Fernando M. V. Ramos. "Poster: Speeding Up Network Intrusion Detection". 2020.
    10.1109/icnp49622.2020.9259349
Pré-impressão
  1. André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono. "SoK: Security and Privacy of Blockchain Interoperability". 2023. https://doi.org/10.36227/techrxiv.24595764.
    10.36227/techrxiv.24595764
  2. Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia. "Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions". 2023. https://doi.org/10.36227/techrxiv.20718058.
    10.36227/techrxiv.20718058
  3. Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia. "A Brief History of Blockchain Interoperability". 2023. https://doi.org/10.36227/techrxiv.23418677.
    10.36227/techrxiv.23418677
  4. André Augusto; Rafael Belchior; Thomas Hardjono; André Vasconcelos; Miguel Correia. "Multi-Party Cross-Chain Asset Transfers". 2023. https://doi.org/10.36227/techrxiv.20016815.
    10.36227/techrxiv.20016815
  5. André Augusto; Rafael Belchior; André Vasconcelos; Imre Kocsis; Gönczy László; Miguel Correia. "CBDC bridging between Hyperledger Fabric and permissioned EVM-based blockchains". 2023. https://doi.org/10.36227/techrxiv.21809430.v2.
    10.36227/techrxiv.21809430.v2
  6. André Augusto; Rafael Belchior; André Vasconcelos; Imre Kocsis; Gönczy László; Miguel Correia. "CBDC bridging between Hyperledger Fabric and permissioned EVM-based blockchains". 2023. https://doi.org/10.36227/techrxiv.21809430.
    10.36227/techrxiv.21809430
  7. Rafael Belchior; Limaris Torres; Jonas Pfannschmid; André Vasconcelos; Miguel Correia. "Can We Share the Same Perspective? Blockchain Interoperability with Views". 2022. https://doi.org/10.36227/techrxiv.20025857.
    10.36227/techrxiv.20025857
  8. Rafael Belchior; Limaris Torres; Jonas Pfannschmid; André Vasconcelos; Miguel Correia. "Is My Perspective Better Than Yours? Blockchain Interoperability with Views". 2022. https://doi.org/10.36227/techrxiv.20025857.v2.
    10.36227/techrxiv.20025857.v2
  9. Rafael Belchior; Luke Riley; Thomas Hardjono; André Vasconcelos; Miguel Correia. "Do You Need a Distributed Ledger Technology Interoperability Solution?". 2022. https://doi.org/10.36227/techrxiv.18786527.
    10.36227/techrxiv.18786527
  10. Rafael Belchior; André Vasconcelos; Miguel Correia; Thomas Hardjono. "HERMES: Fault-Tolerant Middleware for Blockchain Interoperability". 2021. https://doi.org/10.36227/techrxiv.14120291.
    10.36227/techrxiv.14120291

Outros

Outra produção
  1. Sanare: Pluggable Intrusion Recovery for Web Applications. 2021. David Matos; Miguel Correia; Miguel Pardal. https://doi.org/10.36227/techrxiv.13725991.v1.
    10.36227/techrxiv.13725991.v1
  2. Sanare: Pluggable Intrusion Recovery for Web Applications. 2021. David Matos; Miguel Correia; Miguel Pardal. https://doi.org/10.36227/techrxiv.13725991.
    10.36227/techrxiv.13725991
  3. The final frontier: Confidentiality and privacy in the cloud. 2011. Rocha, F.; Abreu, S.; Correia, M.. http://www.scopus.com/inward/record.url?eid=2-s2.0-80052864529&partnerID=MN8TOARS.
    10.1109/MC.2011.223
Atividades

Orientação

Título / Tema
Papel desempenhado
Curso (Tipo)
Instituição / Organização
2006/01 - Atual A total or more than 60 master thesis since 2006 (only a partial list is provided)
Coorientador
2021/09/01 - 2022/11/01 Deduplication vs Privacy Tradeoffs in Cloud Storage
Coorientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/01 ISP: Information Security enterprise architecture Patterns
Coorientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/01 Data Analytics for Blockchain Forensics
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/01 Replicação de contratos em Blockchains
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09/01 - 2022/06/01 Intrusion Detection using Clustering and Outlier Detection
Orientador de Luís Dias
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/01 - 2021/11/01 Proof of Timely-Retrievability for Storage Systems at the Edge
Coorientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/01 - 2021/11/01 Contratos Inteligentes e Tokens Blockchain à luz do Regulamento Geral de Proteção de Dados
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/01 - 2021/11/01 Visualisation Tool for Automatic Threat Detection in Cyberspace
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/01 - 2021/09/01 Extended Self-Sovereign Identity Based Access Control
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/01 - 2021/09/01 Data Migration for Secure Hardware Extensions
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/09/01 Dynamic Malware Analysis: Ransomware and Cryptojacking
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/09/01 SmartZone: Enhancing the security of TrustZone with SmartCards
Coorientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 - 2021/09 Big Data Security Analytics
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/01 - 2021/06/01 Blockchain Address Transparency with DNS,
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 - 2021/02 Leveraging Machine Learning Strategies for Network Intrusion Detection
Orientador de Arnaldo Gouveia
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 Recoverable Token - Recovering from Intrusions against Digital Assets in Ethereum
Orientador de Filipe Martins
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 Virtual Static Security Analyzer for Web Applications
Orientador de Mihail Brinza
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 Cluster Change-Based Intrusion Detection
Orientador de Tiago Fernandes
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 CryingJackpot: Network Flows and Performance Counters against Cryptojacking
Orientador de Gilberto Gomes
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 P2CSTORE: P2P and Cloud File Storage for Blockchain Applications
Orientador de Marcelo Silva
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 Um Crawler Low Code dentro da Dark Web
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 A Tracking and Tracing System for a Supply Chain
Coorientador de Miguel Palma
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 Segurança da Informação num Sistema de Computação em Nuvem Privada (on-premise)
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2021/01/01 Inteligência Artificial, Segurança e Direitos
Coorientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2021/01/01 Hacking Automóvel - Modelo de exploração de vulnerabilidades
Orientador de Sérgio Silva
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2021/01/01 Segurança na Apreensão e Armazenamento de Criptomoedas
Orientador de João Maurício Barros Ascensão
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2020/11/01 Universal Consent Management Platform
Orientador de André Nunes
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2020/11/01 MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks
Orientador de Diogo Vaz
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2020/11/01 MERLIN: Multi-Language Web Vulnerability Detection
Orientador
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2020/11/01 Cryptojacking Detection with CPU Usage Metrics
Orientador de Fábio Gomes
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/02/01 - 2020/09/01 A Blockchain-based Platform for Sharing and Verifying Education Certificates
Orientador de Diogo Serranito
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/12/01 A Browser-based Anonymous Questionnaire System with User-controlled Linkability
Coorientador de João Silveira
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/12/01 Security Analytics with Mixed Event Sources and Ensembles
Orientador de Simão Valente
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/12/01 JusticeChain: Using Blockchain To Protect Justice Data
Orientador de Rafael Belchior
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/12/01 Omega: a Secure Event Ordering Service for the Edge
Coorientador de Cláudio Correia
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Intrusion Recovery in Cloud Computing
Coorientador de David Rogério Póvoa de Matos
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2018 PREMIUM: Private Reactive Multipath Communication Middleware
Coorientador de Isabel Cristina Monteiro da Costa
Engenharia de Redes de Comunicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2018 - 2018 Mobile Device Security with ARM TrustZone
Coorientador de Sileshi Demesie Yalew
Engenharia Informática e de Computadores (Doutoramento)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/11 - 2017/11 Dependable MapReduce in a Cloud-of-Clouds
Coorientador de Pedro Sá da Costa
Universidade de Lisboa Faculdade de Ciências, Portugal
2013/06 - 2017/06 Efficient and Secure Routing in Wireless Ad Hoc Networks
Coorientador de Naércio Magaia
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/09 - 2016/09 Detection of Vulnerabilities and Automatic Protection for Web Applications
Coorientador de Ibéria Medeiros
Universidade de Lisboa Faculdade de Ciências, Portugal
2016 - 2016 SafeAudit: A Software Library for Efficient Data Integrity Verification on Commercial Clouds
Coorientador de Filipe Miguel Marcos Apolinário
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 vtTLS: A Vulnerability-Tolerant Communication Protocol
Coorientador de André de Matos Joaquim
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 MACHETE: Multi-path Communication for Security
Coorientador de Diogo Miguel Marcos Raposo
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Security Testing in Continuous Integration Systems
Coorientador de Mariana Cristina Figueiredo Paulo
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Fingerprinting for Web Applications: from Devices to Related Groups
Orientador de Christine Blakemore
Engenharia de Redes de Comunicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2016 - 2016 DARSHANA: Detecting Route Hijacking For Communication Confidentiality
Coorientador de Karan Hamirshi Balu
Engenharia de Redes de Comunicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2016 - 2016 Detection of Unknown Network Attackers Through Flow Analysis
Coorientador de Luís Côrte-Real Machado Sacramento
Engenharia de Redes de Comunicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2015 - 2015 Automatic Diagnosis of Security Events in Complex Infrastructures using Logs
Coorientador de Daniel Dias Gonçalves
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 Recovery from Security Intrusions in Cloud Computing
Orientador de Dário Fernando Rodrigues Nascimento
Engenharia de Redes de Comunicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2015 - 2015 Segurança da Comunicação em Redes de Sensores em Malha
Coorientador de Rui Miguel Pinheiro Pires
Engenharia de Redes de Comunicações (Mestrado)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2014 - 2014 Framework para Detecção Automática de Vulnerabilidades em Aplicações Web usando Fuzzing
Orientador de Miguel Filipe Elias Palmeiro de Brito Beatriz
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2014 Authentication Security through Diversity and Redundancy for Cloud Computing
Orientador de Ricardo Jorge Durães de Sá Machado de Carvalho
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2013 Connecting NFC to the Cloud - Remote Updating of Smart Cards
Coorientador de Daniel Correia Andrade
Engenharia Informática e de Computadores (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006/09 - 2010/12 Intrusion Tolerance in Large Scale Networks
Coorientador de Giuliana Santos Veronese
Universidade de Lisboa Faculdade de Ciências, Portugal
2006/09 - 2010/11 Byzantine Fault-Tolerant Agreement Protocols for Wireless Ad hoc Networks
Coorientador de Henrique Moniz
Universidade de Lisboa Faculdade de Ciências, Portugal
Distinções

Prémio

2020 INESC-ID Best Researcher Award
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal

Outra distinção

2023 Research.com Top Computer Science Scientist #14 in Portugal and #6061 in the world
2022 U. Stanford / Elsevier top 2% scientists 2022
2022 Research.com #10 at Top Computer Science Scientists in Portugal
2021 Innovation Radar highlights Qualichain Platform and the role of INESC-ID team that he leads
European Commission, Bélgica
2020 Included in the list of 2% researchers with more citations in 2019 ( “Updated science-wide author databases of standardized citation indicators”, PLOS Biology, Oct. 2020)
2020 Author with most papers accepted to IEEE NCA in the last two years
2017 Best student paper award
2017 Author with most papers accepted to IEEE NCA in the last two years
2015 Senior Member
IEEE, Estados Unidos
2011 Best Paper Award
2009 Best student paper award