???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 served as Head of DEI during the 2023-2024 term. Currently, he is the President of the Executive Committee of INESC-ID, where he is also a senior researcher. Additionally, he is the national representative at the European Blockchain Partnership and a non-executive board member 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 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 (fault tolerance) in distributed systems and in the context of different areas (blockchain, cloud, mobile).
Read full resume ↓
Identification

Personal identification

Full name
Miguel Nuno Dias Alves Pupo Correia

Citation names

  • Correia, Miguel

Author identifiers

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

Websites

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

Knowledge fields

  • Engineering and Technology - Electrotechnical Engineering, Electronics and Informatics

Languages

Language Speaking Reading Writing Listening Peer-review
Portuguese (Mother tongue)
English Advanced (C1) Advanced (C1) Advanced (C1) Advanced (C1)
Spanish; Castilian Beginner (A1) Advanced (C1) Beginner (A1) Beginner (A1)
Education
Degree Classification
2018
Concluded
 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" (THESIS/DISSERTATION)
 Aprovado por unanimidade
2003
Concluded
 PhD in Informatics (Doutoramento)
Universidade de Lisboa Faculdade de Ciências, Portugal
"Intrusion Tolerance based on Architectural Hybridization" (THESIS/DISSERTATION)
 A (Aprovado com Distinção e Louvor)
1995
Concluded
 MSc in Electrotechnical and Computing Engineering (Mestrado)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Intrinsic Multimedia Synchronization in Distributed Systems" (THESIS/DISSERTATION)
 A (Muito bom)
1991
Concluded
 Bachelor in Electrotechnical and Computing Engineering (Licenciatura)
Universidade de Lisboa Instituto Superior Técnico, Portugal
"Test equipment for X.25 public data networks" (THESIS/DISSERTATION)
 B (15)
Affiliation

Science

Category
Host institution 		Employer
2011/01/01 - Current Researcher (Research) Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
1998/01/01 - 2010/12/31 Researcher (Research) Universidade de Lisboa Laboratório de Sistemas Informáticos de Grande Escala, Portugal
1991/12/01 - 1997/07/31 Researcher (Research) Instituto de Engenharia de Sistemas e Computadores, Portugal

Teaching in Higher Education

Category
Host institution 		Employer
2021/05/04 - Current Full Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/05/01 - 2021/05/04 Associate Professor (University Teacher) Universidade de Lisboa Instituto Superior Técnico, Portugal
2003/12/01 - 2011/04/30 Assistant Professor (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal
1997/08/01 - 2003/12/01 Assistant (University Teacher) Universidade de Lisboa Faculdade de Ciências, Portugal

Positions / Appointments

Category
Host institution 		Employer
2025/01/01 - Current President Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
2018/05/01 - Current 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, Belgium
2023/01/01 - 2024/12/31 Organic Unit President Universidade de Lisboa Instituto Superior Técnico, Portugal
Universidade de Lisboa Departamento de Engenharia Informática, Portugal
2022/01/10 - 2024/12/31 Member of the board Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
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, Belgium

Others

Category
Host institution 		Employer
2021/01/01 - 2022/12/31 Vice Presidente do Departamento de Engenharia Informática para os Recursos Humanos Docentes Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/07/01 - 2022/12/31 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, Belgium
Projects

Grant

Designation Funders
2019/02 - 2022/02 SPARTA - Special projects for advanced research and technology in Europe
830892
 European Commission
2019/01 - 2021/12 QualiChain - Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation
822404
 European Commission
2018/08 - 2021/07 SEAL - SEcurity progrAmming of web appLications
AAC-2/SAICT/2017-029058
 Fundação para a Ciência e a Tecnologia
2018/06 - 2021/05 Angainor - reproducible large-scale evaluation and fault injection
UID/CEC/50021/2013
 Fundação para a Ciência e a Tecnologia
2018/06 - 2021/05 Cosmos - Causal Consistency on the Network Edge
PTDC/EEI-COM/29271/2017
 Fundação para a Ciência e a Tecnologia
2016/07 - 2019/06 ABYSS - Autonomic Byzantine Fault-Tolerant Systems
PTDC/EEI-SCR/1741/2014
 Fundação para a Ciência e a Tecnologia
2016/07 - 2019/06 SATURN - Spatio­temporal cloud store for big­data applications
PTDC/EEI-SCR/1743/2014
 Fundação para a Ciência e a Tecnologia
2015/09 - 2018/08 SafeCloud - Secure and Resilient Cloud Architecture
653884
 European Commission
2013/10 - 2016/09 PCAS - Personalised Centralized Authentication System
610713
 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
Provided by PTCRIS: 110953
 Fundação para a Ciência e a Tecnologia
2011/01 - 2013/12 Resilient Computing in the Clouds - RC-Clouds
Provided by PTCRIS: 115211
 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
Provided by PTCRIS: 100894
 Fundação para a Ciência e a Tecnologia
2010/01 - 2012/12 REGENESYS - Regeneration of Replicated Systems
Provided by PTCRIS: 100581
 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
026764
 European Commission
2006/01 - 2008/12 CRUTIAL - CRitical UTility InfrastructurAL Resilience
027513
 European Commission
2005/05 - 2007/12 AJECT: Attack Injection on Software Components
Provided by PTCRIS: 61643
 Fundação para a Ciência e a Tecnologia
2005/03 - 2007/12 RITAS - Randomized Intrusion Tolerance for Asynchronous Systems
Provided by PTCRIS: 60334
 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

Contract

Designation Funders
2020/10/01 - Current DE4A - Digital Europe for All
870635
Principal investigator
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
Ongoing
2020/09/01 - 2025/08/31 BIG - Enhancing the research and innovation potential of Tecnico through Blockchain technologies and design Innovation for social Good
952226
Researcher
Universidade de Lisboa Instituto Superior Técnico, Portugal
Ongoing
2015/03/01 - 2021/04/01 Instituto de Engenharia de Sistemas e Computadores, Investigação e Desenvolvimento em Lisboa
UID/CEC/50021/2019
SFRH/BPD/110695/2015
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento em Lisboa, Portugal
 Fundação para a Ciência e a Tecnologia
Concluded
2010/10/01 - 2014/03/31 TRONE: Operações Confiáveis e Resilientes em Ambientes de Redes
CMU-PT/RNQ/0015/2009
Universidade de Coimbra, Portugal

Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
2011/01/01 - 2013/12/31 Strategic Project - UI 408 - 2011-2012
PEst-OE/EEI/UI0408/2011
Fundação da Faculdade de Ciências da Universidade de Lisboa, Portugal

LASIGE Laboratório de Sistemas Informáticos de Grande Escala, Portugal
Fundação para a Ciência e a Tecnologia
Concluded
Outputs

Publications

Book
  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
Book chapter
  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.
Conference paper
  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.
    Accepted
  3. Cláudio Correia; Rita Prates; Correia, Miguel; Rodrigues, Luis. "PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems". Paper presented in Pacific Rim International Symposium on Dependable Computing (PRDC), Singapura, 2023.
    Published
  4. Andrade, Daniel; Silva, João Nuno; Correia, Miguel. "I Can’t Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX". 2023.
    Accepted • 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". Paper presented in 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". Paper presented in 2020 IEEE 19th International Symposium on Network Computing and Applications (NCA), Cambridge, MA, 2020.
    Published • 10.1109/nca51143.2020.9306738
  10. Figueiredo, Alexandra; Lide, Tatjana; Matos, David; Correia, Miguel. "MERLIN: Multi-Language Web Vulnerability Detection". 2020.
    10.1109/nca51143.2020.9306735
  11. Serranito, Diogo; Vasconcelos, Andre; Guerreiro, Sergio; Correia, Miguel. "Blockchain Ecosystem for Verifiable Qualifications". 2020.
    10.1109/brains49436.2020.9223305
  12. Belchior, Rafael; Putz, Benedikt; Pernul, Guenther; Correia, Miguel; Vasconcelos, Andre; Guerreiro, Sérgio Luís Proença Duarte. "SSIBAC: Self-Sovereign Identity Based Access Control". 2020.
    10.1109/trustcom50675.2020.00264
  13. Luís Dias; Hélder Reia; Rui Neves; Miguel Correia. "OutGene: Detecting Undefined Network Attacks with Time Stretching and Genetic Zooms". Paper presented in 13th International Conference on Network and System Security, 2019.
    10.1007/978-3-030-36938-5_12
  14. Erick Lavoie; Laurie J. Hendren; Frederic Desprez; Correia, Miguel. "Pando: Personal Volunteer Computing in Browsers". Paper presented in 2019 ACM/IFIP/USENIX International Middleware Conference, 2019.
  15. Correia, Cláudio; Correia, Miguel; Rodrigues, Luis. "Ordenação Segura de Eventos na Periferia da Rede". Paper presented in INForum - Simpósio de Informática, Guimarães, 2019.
    Published
  16. Rafael Belchior; André Vasconcelos; Correia, Miguel. "JusticeChain: Using Blockchain to Protect Justice Logs". Paper presented in 27th International Conference on Cooperative Information Systems - CoopIS 2019, 2019.
  17. Carlos Faria; Correia, Miguel. "BlockSim: Blockchain Simulator". Paper presented in IEEE Blockchain Symposium, 2019.
  18. Erick Lavoie; Laurie J. Hendren; Frederic Desprez; Correia, Miguel. "Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC". Paper presented in IEEE International Conference on Self-Adaptive and Self-Organizing Systems - SASO 2019, 2019.
  19. David Matos; Miguel Pardal; Correia, Miguel. "RockFS: Cloud-backed File System Resilience to Client-Side Attacks". Paper presented in 2018 ACM/IFIP/USENIX International Middleware Conference, 2018.
  20. Filipe Apolinário; Miguel Pardal; Correia, Miguel. "S-Audit: Efficient Data Integrity Verification for Cloud Storage". Paper presented in Trustcom 2018, 2018.
  21. 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". Paper presented in Proceedings of the 32nd International Conference on Information Networking (ICOIN), 2018.
  22. Luís Sacramento; Ibéria Medeiros; João Bota; Correia, Miguel. "FlowHacker: Detecting Unknown Network Attacks in Big Traffic Data using Network Flows". Paper presented in IEEE TrustCom, 2018.
  23. Duarte, Nuno O.; Yalew, Sileshi Demesie; Santos, Nuno; Correia, Miguel. "Leveraging ARM TrustZone and Verifiable Computing to Provide Auditable Mobile Functions". Paper presented in 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services - MobiQuitous '18, 2018.
    10.1145/3286978.3287015
  24. Guerra, Miguel; Taubmann, Benjamin; Reiser, Hans P.; Yalew, Sileshi; Correia, Miguel. "Introspection for ARM TrustZone with the ITZ Library". Paper presented in 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 2018.
    10.1109/qrs.2018.00026
  25. 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
  26. Matos, David R.; Pardal, Miguel L.; Adão, Pedro; Silva, António Rito; Correia, Miguel. "Securing Electronic Health Records in the Cloud". Paper presented in 1st Workshop on Privacy by Design in Distributed Systems - W-P2DS'18, 2018.
    10.1145/3195258.3195259
  27. Correia, Miguel; David Matos; Miguel Pardal. "Rectify: Black-Box Intrusion Recovery in PaaS Clouds". Paper presented in Proceedings of the 2017 ACM/IFIP/USENIX International Middleware Conference, 2017.
  28. Correia, Miguel; André Joaquim; Miguel Pardal. "Vulnerability-Tolerant Transport Layer Security". Paper presented in Proceedings of the 21st International Conference on Principles of Distributed Systems (OPODIS), 2017.
  29. Correia, Miguel. "REPSYS: A Robust and Distributed Reputation System for Delay-Tolerant Networks". Paper presented in 20th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM 2017), 2017.
  30. Correia, Miguel. "TruApp: A TrustZone-based Authenticity Detection Service for Mobile Apps". Paper presented in 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2017.
  31. Correia, Miguel. "DroidPosture: A Trusted Posture Assessment Service for Mobile Devices". Paper presented in 13th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2017.
  32. Correia, Miguel. "Hail to the Thief: Protecting Data from Mobile Ransomware with ransomSafeDroid". Paper presented in 16th IEEE International Symposium on Network Computing and Applications, 2017.
  33. Correia, Miguel. "On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study". Paper presented in 13th European Dependable Computing Conference (EDCC 2017), 2017.
  34. Correia, Miguel. "Xor-Based Topology Management Beyond Kademlia". Paper presented in 11th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), 2017.
  35. Correia, Miguel. "T2Droid: A TrustZone-based Dynamic Analyser for Android Applications". Paper presented in 16th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 2017.
  36. Correia, Miguel. "A Systematic Approach for the Application of Restricted Boltzmann Machines in Network Intrusion Detection". Paper presented in International Work-Conference on Artificial Neural Networks (IWANN), 2017.
  37. Correia, Miguel. "PRIVO: A PRIvacy-preserVing Opportunistic routing protocol for Delay Tolerant Networks". Paper presented in IFIP Networking Conference, 2017.
  38. Ibéria Medeiros; Nuno F. Neves; Correia, Miguel. "Demonstrating a Tool for Injection Attack Prevention in MySQL". Paper presented in IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2017.
  39. Correia, Miguel. "Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce". Paper presented in 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 2017.
  40. Joaquim, Andre; Pardal, Miguel L.; Correia, Miguel. "vtTLS: A vulnerability-tolerant communication protocol". Paper presented in IEEE NCA 2016, 2016.
    10.1109/nca.2016.7778620
  41. Matos, D.; Correia, M.. "NoSQL Undo: Recovering NoSQL databases by undoing operations". Paper presented in 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778616
  42. Costa, P.A.R.S.; Bai, X.; Ramos, F.M.V.; Correia, M.. "Medusa: An Efficient Cloud Fault-Tolerant MapReduce". Paper presented in Proceedings of the 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 2016.
    10.1109/CCGrid.2016.20
  43. Filho, P.R.P.; De Oliveira Rech, L.; Lung, L.C.; Correia, M.; Camargos, L.J.. "Priority-based state machine replication with PRaxos". Paper presented in Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016.
    10.1109/AINA.2016.63
  44. Medeiros, I.; Neves, N.; Correia, M.. "Equipping WAP with WEAPONS to detect vulnerabilities: Practical experience report". 2016.
    10.1109/DSN.2016.63
  45. Medeiros, I.; Beatriz, M.; Neves, N.; Correia, M.. "Hacking the DBMS to prevent injection attacks". 2016.
    10.1145/2857705.2857723
  46. Medeiros, I.; Neves, N.; Correia, M.. "DEKANT: A static analysis tool that learns to detect web application vulnerabilities". 2016.
    10.1145/2931037.2931041
  47. Yalew, S.D.; Maguire, G.Q.; Correia, M.. "Light-SPD: A platform to prototype secure mobile applications". 2016.
    10.1145/2940343.2940349
  48. Silva, E.A.; Correia, M.. "Leveraging an homomorphic encryption library to implement a coordination service". Paper presented in 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778590
  49. Balu, K.; Pardal, M.L.; Correia, M.. "DARSHANA: Detecting route hijacking for communication confidentiality". Paper presented in Proceedings of the 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778593
  50. Raposo, D.; Pardal, M.L.; Rodrigues, L.; Correia, M.. "MACHETE: Multi-path communication for security". Paper presented in 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778594
  51. Gouveia, A.; Correia, M.. "Feature set tuning in statistical learning network intrusion detection". Paper presented in 15th IEEE International Symposium on Network Computing and Applications (NCA), 2016.
    10.1109/NCA.2016.7778595
  52. Presser, D.; Lung, L.C.; Correia, M.. "Greft: Arbitrary Fault-Tolerant Distributed Graph Processing". 2015.
    10.1109/BigDataCongress.2015.73
  53. Gonçalves, D.; Bota, J.; Correia, M.. "Big data analytics for detecting host misbehavior in large logs". 2015.
    10.1109/Trustcom.2015.380
  54. Nascimento, D.; Correia, M.. "Shuttle: Intrusion Recovery for PaaS". 2015.
    10.1109/ICDCS.2015.72
  55. 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
  56. 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
  57. 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
  58. Magaia, N.; Pereira, P.R.; Correia, M.P.. "Nodes' misbehavior in Vehicular Delay-Tolerant Networks". 2013.
    10.1109/CFIC.2013.6566325
  59. Medeiros, I.; Neves, N.F.; Correia, M.. "Securing energy metering software with automatic source code correction". 2013.
    10.1109/INDIN.2013.6622969
  60. 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
  61. Magaia, N.; Pereira, P.R.; Correia, M.P.. "Selfish and malicious behavior in delay-tolerant networks". Paper presented in Proceedings of Future Network and Mobile Summit 2013, 2013.
  62. Correia, M.P.. "Message from the program committee chair". 2012.
    10.1109/EDCC.2012.5
  63. Correia, M.. "Software execution protection in the cloud". 2012.
    10.1145/2365316.2365323
  64. 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
  65. Costa, P.; Pasin, M.; Bessani, A.N.; Correia, M.. "Byzantine fault-tolerant MapReduce: Faults are not just crashes". 2011.
    10.1109/CloudCom.2011.15
  66. 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
  67. Rocha, F.; Correia, M.. "Lucy in the sky without diamonds: Stealing confidential data in the cloud". 2011.
    10.1109/DSNW.2011.5958798
  68. Nascimento, G.; Correia, M.. "Anomaly-based intrusion detection in software as a service". 2011.
    10.1109/DSNW.2011.5958858
  69. Luiz, A.F.; Lung, L.C.; Correia, M.. "Byzantine fault-tolerant transaction processing for replicated databases". 2011.
    10.1109/NCA.2011.19
  70. Vilaça, X.; Leitão, J.; Correia, M.; Rodrigues, L.. "N-party BAR transfer". Paper presented in 15th International Conference On Principles of Distributed Systems (OPODIS), 2011.
    10.1007/978-3-642-25873-2_27
  71. Correia, M.; Pal, P.. "4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010". 2010.
    10.1109/DSNW.2010.5542605
  72. 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
  73. Correia, M.; Veronese, G.S.; Lung, L.C.. "Asynchronous Byzantine consensus with 2f+1 processes". 2010.
    10.1145/1774088.1774187
  74. Moniz, H.; Neves, N.F.; Correia, M.. "Turquois: Byzantine consensus in wireless ad hoc networks". 2010.
    10.1109/DSN.2010.5544268
  75. Correia, M.; Pal, P.. "4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010". 2010.
    10.1109/DSN.2010.5544420
  76. 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
  77. Moniz, H.; Neves, N.F.; Correia, M.; Veríssimo, P.. "Randomization Can Be a Healer: Consensus with Dynamic Omission Failures - Best Student Paper Award". Paper presented in 23rd International Symposium on Distributed Computing (DISC), 2009.
    10.23919/ecc.2013.6669089
  78. 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
  79. Bagchi, S.; Correia, M.; Pal, P.. "3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009". 2009.
    10.1109/DSN.2009.5270281
  80. 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
  81. 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
  82. Bessani, A.N.; Alchieri, E.P.; Correia, M.; Fraga, J.S.. "DepSpace: A byzantine fault-tolerant coordination service". 2008.
    10.1145/1357010.1352610
  83. Veronese, G.S.; Correia, M.; Lau, C.L.; Verissimo, P.. "Finite memory: A vulnerability of intrusion-tolerant systems". 2008.
    10.1109/NCA.2008.40
  84. Bessani, A.N.; Alchieri, E.P.; Correia, M.; Fraga, J.S.. "DepSpace: A byzantine fault-tolerant coordination service". 2008.
    10.1145/1352592.1352610
  85. 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
  86. 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
  87. Dantas, W.S.; Bessani, A.N.; Da Silva Fraga, J.; Correia, M.. "Evaluating Byzantine quorum systems". 2007.
    10.1109/SRDS.2007.4365701
  88. 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
  89. 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
  90. 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
  91. 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
  92. Jieke, P.; Redol, J.; Correia, M.. "Specification-based intrusion detection system for carrier ethernet". Paper presented in Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings, 2007.
  93. Lung, L.C.; Favarim, F.; Santos, G.T.; Correia, M.. "An infrastructure for adaptive fault tolerance on FT-CORBA". 2006.
    10.1109/ISORC.2006.
  94. 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
  95. 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
  96. Moniz, H.; Neves, N.F.; Correia, M.; Verissimo, P.. "Randomized intrusion-tolerant asynchronous services". 2006.
    10.1109/DSN.2006.60
  97. Neves, N.; Antunes, J.; Correia, M.; Veríssimo, P.; Neves, R.. "Using attack injection to discover new vulnerabilities". 2006.
    10.1109/DSN.2006.72
  98. Bessani, A.N.; Correia, M.; Da Silva Fraga, J.; Lau, C.L.. "Brief announcement: Decoupled quorum-based byzantine-resilient coordination in open distributed systems". Paper presented in 20th International Symposium on Distributed Computing (DISC 2006), 2006.
  99. Veríssimo, P.; Neves, N.F.; Correia, M.. "CRUTIAL: The blueprint of a reference critical information infrastructure architecture". Paper presented in CRITIS'06 1st International Workshop on Critical Information Infrastructures Security, 2006.
    10.1007/11962977_1
  100. Bessani, A.N.; Correia, M.; Moniz, H.; Neves, N.F.; Verissimo, P.. "When 3f + 1 is not enough: Tradeoffs for decentralized asynchronous byzantine consensus". Paper presented in 21st International Symposium on Distributed Computing, 2005.
  101. Correia, M.; Neves, N.F.; Veríssimo, P.. "How to tolerate half less one byzantine nodes in practical distributed systems". Paper presented in Proceedings of the IEEE Symposium on Reliable Distributed Systems, 2004.
  102. Correia, M.; Veríssimo, P.; Neves, N.F.. "The design of a COTS real-time distributed security kernel". Paper presented in Fourth European Dependable Computing Conference (EDCC), 2002.
  103. 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
  104. 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
  105. Bom, J.; Marques, P.; Correia, M.; Pinto, P.. "Integrated dynamic QoS control for multimedia applications". 1998.
    10.1117/12.321914
  106. Correia, Miguel; Pinto, Paulo. "Low-level multimedia synchronization algorithms on broadband networks". Paper presented in Proceedings of the ACM International Multimedia Conference & Exhibition, 1995.
Conference poster
  1. Amado, Joao Romeiras; Signorello, Salvatore; Correia, Miguel; Fernando M. V. Ramos. "Poster: Speeding Up Network Intrusion Detection". 2020.
    10.1109/icnp49622.2020.9259349
Edited book
  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.
Journal article
  1. Bruno Branco; José Silvestre Silva; Miguel Correia. "D3S: A Drone Security Scoring System". Information (2024): https://doi.org/10.3390/info15120811.
    10.3390/info15120811
  2. Cláudio Correia; Rita Prates; Luís Fonseca; Miguel Correia; Luís Rodrigues. "PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems". Formal Aspects of Computing (2024): https://doi.org/10.1145/3685935.
    10.1145/3685935
  3. Rafael Belchior; Limaris Torres; Jonas Pfannschmidt; André Vasconcelos; Miguel Correia. "BUNGEE: Dependable Blockchain Views for Interoperability". Distributed Ledger Technologies: Research and Practice (2024): https://doi.org/10.1145/3643689.
    10.1145/3643689
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. Belchior, Rafael; Vasconcelos, André; Guerreiro, Sérgio Luís Proença Duarte ; Correia, Miguel. "A Survey on Blockchain Interoperability: Past, Present, and Future Trends". ACM Computing Surveys 54 8 (2021): 1-41. http://dx.doi.org/10.1145/3471140.
    Published • 10.1145/3471140
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. Correia, Miguel. "A multi-objective routing algorithm for Wireless Multimedia Sensor Networks". Applied Soft Computing (2015):
    10.1016/j.asoc.2015.01.052
  24. 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
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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
  36. 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
  37. 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
  38. 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
  39. 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
  40. 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
  41. 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
  42. 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
  43. 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
  44. 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
Magazine article
  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
Online resource
  1. BELCHIOR, RAFAEL; Correia, Miguel; Thomas Hardjono. DLT Gateway Crash Recovery Mechanism. 2022. https://datatracker.ietf.org/doc/html/draft-belchior-gateway-recovery-04.
Preprint
  1. André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono. "SoK: Security and Privacy of Blockchain Interoperability [Extended Version]". 2024. https://doi.org/10.36227/techrxiv.24595764.v4.
    10.36227/techrxiv.24595764.v4
  2. Shankar Subramanian; André Augusto; Rafael Belchior; André Vasconcelos; Miguel Correia. "Benchmarking Blockchain Bridge Aggregators". 2024. https://doi.org/10.36227/techrxiv.170492248.87354060/v3.
    10.36227/techrxiv.170492248.87354060/v3
  3. Shankar Subramanian; André Augusto; Rafael Belchior; André Vasconcelos; Miguel Correia. "Benchmarking Bridge Aggregators". 2024. https://doi.org/10.36227/techrxiv.170492248.87354060/v2.
    10.36227/techrxiv.170492248.87354060/v2
  4. André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono. "SoK: Security and Privacy of Blockchain Interoperability [Extended Version]". 2024. https://doi.org/10.36227/techrxiv.24595764.v3.
    10.36227/techrxiv.24595764.v3
  5. Rafael Belchior; Jan Süßenguth; Qi Feng; Thomas Hardjono; André Vasconcelos; Miguel Correia. "A Brief History of Blockchain Interoperability". 2024. https://doi.org/10.36227/techrxiv.23418677.v4.
    10.36227/techrxiv.23418677.v4
  6. André Augusto; Rafael Belchior; Miguel Correia; André Vasconcelos; Luyao Zhang; Thomas Hardjono. "SoK: Security and Privacy of Blockchain Interoperability [Extended Version]". 2024. https://doi.org/10.36227/techrxiv.24595764.v2.
    10.36227/techrxiv.24595764.v2
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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.v3.
    10.36227/techrxiv.20718058.v3
  14. 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.v1.
    10.36227/techrxiv.24595764.v1
  15. André Augusto; Rafael Belchior; Thomas Hardjono; André Vasconcelos; Miguel Correia. "Multi-Party Cross-Chain Asset Transfers". 2023. https://doi.org/10.36227/techrxiv.20016815.v4.
    10.36227/techrxiv.20016815.v4
  16. 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.v2.
    10.36227/techrxiv.23418677.v2
  17. 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.v3.
    10.36227/techrxiv.23418677.v3
  18. André Augusto; Rafael Belchior; Thomas Hardjono; André Vasconcelos; Miguel Correia. "Multi-Party Cross-Chain Asset Transfers". 2023. https://doi.org/10.36227/techrxiv.20016815.v3.
    10.36227/techrxiv.20016815.v3
  19. 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.v1.
    10.36227/techrxiv.23418677.v1
  20. 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.v2.
    10.36227/techrxiv.20718058.v2
  21. 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
  22. 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
  23. 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
  24. 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.v3.
    10.36227/techrxiv.20025857.v3
  25. 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.v1.
    10.36227/techrxiv.18786527.v1
  26. 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.v1.
    10.36227/techrxiv.20025857.v1
  27. Rafael Belchior; Peter Somogyvari; Jonas Pfannschmid; André Vasconcelos; Miguel Correia. "Hephaestus: Modelling, Analysis, and Performance Evaluation of Cross-Chain Transactions". 2022. https://doi.org/10.36227/techrxiv.20718058.v1.
    10.36227/techrxiv.20718058.v1
  28. 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
  29. Rafael Belchior; André Vasconcelos; Miguel Correia; Thomas Hardjono. "HERMES: Fault-Tolerant Middleware for Blockchain Interoperability". 2021. https://doi.org/10.36227/techrxiv.14120291.v1.
    10.36227/techrxiv.14120291.v1
Report
  1. Armstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; et al. 2002. Complete Specification of APIs and Protocols for the MAFTIA Middleware. http://hdl.handle.net/10451/14207.
  2. Armstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; et al. 2001. First Specification of APIs and Protocols for the MAFTIA Middleware. http://hdl.handle.net/10451/14072.

Other

Other output
  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
Activities

Supervision

Thesis Title
Role 		Degree Subject (Type)
Institution / Organization
2006/01 - Current A total or more than 60 master thesis since 2006 (only a partial list is provided)
Co-supervisor
2021/09/01 - 2022/11/01 Deduplication vs Privacy Tradeoffs in Cloud Storage
Co-supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/01 ISP: Information Security enterprise architecture Patterns
Co-supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/01 Data Analytics for Blockchain Forensics
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2021/09/01 - 2022/11/01 Replicação de contratos em Blockchains
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016/09/01 - 2022/06/01 Intrusion Detection using Clustering and Outlier Detection
Supervisor of 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
Co-supervisor
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
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/09/01 - 2021/11/01 Visualisation Tool for Automatic Threat Detection in Cyberspace
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/01 - 2021/09/01 Extended Self-Sovereign Identity Based Access Control
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/01 - 2021/09/01 Data Migration for Secure Hardware Extensions
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/09/01 Dynamic Malware Analysis: Ransomware and Cryptojacking
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/09/01 SmartZone: Enhancing the security of TrustZone with SmartCards
Co-supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 - 2021/09 Big Data Security Analytics
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2020/02/01 - 2021/06/01 Blockchain Address Transparency with DNS,
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015/09 - 2021/02 Leveraging Machine Learning Strategies for Network Intrusion Detection
Supervisor of 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
Supervisor of Filipe Martins
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 Virtual Static Security Analyzer for Web Applications
Supervisor of Mihail Brinza
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 Cluster Change-Based Intrusion Detection
Supervisor of Tiago Fernandes
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 CryingJackpot: Network Flows and Performance Counters against Cryptojacking
Supervisor of 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
Supervisor of Marcelo Silva
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 Um Crawler Low Code dentro da Dark Web
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2021/01/01 A Tracking and Tracing System for a Supply Chain
Co-supervisor of 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)
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2021/01/01 Inteligência Artificial, Segurança e Direitos
Co-supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2021/01/01 Hacking Automóvel - Modelo de exploração de vulnerabilidades
Supervisor of 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
Supervisor of 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
Supervisor of 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
Supervisor of Diogo Vaz
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019/09/01 - 2020/11/01 MERLIN: Multi-Language Web Vulnerability Detection
Supervisor
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2020/11/01 Cryptojacking Detection with CPU Usage Metrics
Supervisor of 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
Supervisor of 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
Co-supervisor of 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
Supervisor of Simão Valente
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018/09/01 - 2019/12/01 JusticeChain: Using Blockchain To Protect Justice Data
Supervisor of 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
Co-supervisor of Cláudio Correia
Universidade de Lisboa Instituto Superior Técnico, Portugal
2019 - 2019 Intrusion Recovery in Cloud Computing
Co-supervisor of David Rogério Póvoa de Matos
 Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2018 - 2018 PREMIUM: Private Reactive Multipath Communication Middleware
Co-supervisor of Isabel Cristina Monteiro da Costa
 Engenharia de Redes de Comunicações (Master)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2018 - 2018 Mobile Device Security with ARM TrustZone
Co-supervisor of Sileshi Demesie Yalew
 Engenharia Informática e de Computadores (PhD)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2012/11 - 2017/11 Dependable MapReduce in a Cloud-of-Clouds
Co-supervisor of 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
Co-supervisor of Naércio Magaia
Universidade de Lisboa Instituto Superior Técnico, Portugal
2011/09 - 2016/09 Detection of Vulnerabilities and Automatic Protection for Web Applications
Co-supervisor of 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
Co-supervisor of Filipe Miguel Marcos Apolinário
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 vtTLS: A Vulnerability-Tolerant Communication Protocol
Co-supervisor of André de Matos Joaquim
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 MACHETE: Multi-path Communication for Security
Co-supervisor of Diogo Miguel Marcos Raposo
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Security Testing in Continuous Integration Systems
Co-supervisor of Mariana Cristina Figueiredo Paulo
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2016 - 2016 Fingerprinting for Web Applications: from Devices to Related Groups
Supervisor of Christine Blakemore
 Engenharia de Redes de Comunicações (Master)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2016 - 2016 DARSHANA: Detecting Route Hijacking For Communication Confidentiality
Co-supervisor of Karan Hamirshi Balu
 Engenharia de Redes de Comunicações (Master)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2016 - 2016 Detection of Unknown Network Attackers Through Flow Analysis
Co-supervisor of Luís Côrte-Real Machado Sacramento
 Engenharia de Redes de Comunicações (Master)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2015 - 2015 Automatic Diagnosis of Security Events in Complex Infrastructures using Logs
Co-supervisor of Daniel Dias Gonçalves
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2015 - 2015 Recovery from Security Intrusions in Cloud Computing
Supervisor of Dário Fernando Rodrigues Nascimento
 Engenharia de Redes de Comunicações (Master)
Universidade de Lisboa Instituto Superior Técnico Campus Taguspark, Portugal
2015 - 2015 Segurança da Comunicação em Redes de Sensores em Malha
Co-supervisor of Rui Miguel Pinheiro Pires
 Engenharia de Redes de Comunicações (Master)
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
Supervisor of Miguel Filipe Elias Palmeiro de Brito Beatriz
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2014 - 2014 Authentication Security through Diversity and Redundancy for Cloud Computing
Supervisor of Ricardo Jorge Durães de Sá Machado de Carvalho
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2013 - 2013 Connecting NFC to the Cloud - Remote Updating of Smart Cards
Co-supervisor of Daniel Correia Andrade
 Engenharia Informática e de Computadores (Master)
Universidade de Lisboa Instituto Superior Técnico, Portugal
2006/09 - 2010/12 Intrusion Tolerance in Large Scale Networks
Co-supervisor of 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
Co-supervisor of Henrique Moniz
Universidade de Lisboa Faculdade de Ciências, Portugal
Distinctions

Award

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

Other distinction

2023 Research.com Top Computer Science Scientist #14 in Portugal and #6061 in the world
2023 IEEE Certificate of Excellence For Editorial Service in 2023
IEEE, United States
2023 U. Stanford / Elsevier top 2% scientists
Stanford University, United States

Elsevier BV, Netherlands
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, Belgium
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, United States
2011 Best Paper Award
2009 Best student paper award