miguel pupo correia           

bio and contacts

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).

Miguel Correia é Professor Catedrático do Instituto Superior Técnico da Universidade de Lisboa e actualmente Presidente do Departamento de Engenharia Informática. É membro da direcção e investigador sénior do INESC-ID. É representante nacional na European Blockchain Partnership (EBP) e membro não executivo da direção da Associação .PT. Tem estado envolvido em muitos projectos de investigação internacionais, entre os quais os projectos ACES, TRUSTyFOOD, DE4A, BIG, QualiChain, SPARTA, SafeCloud, PCAS, TCLOUDS, ReSIST, CRUTIAL e MAFTIA. Tem mais de 200 publicações. Os seus principais interesses são a cibersegurança e a confiabilidade em sistemas distribuídos e no contexto de diferentes aplicações (blockchain, cloud, móvel).

email: miguel.p.correia_AT_tecnico.ulisboa.pt


research topics

1. Blockchain and Byzantine Consensus
2. Cloud Security and Dependability
3. Trusted Computing
4. Software Security
5. Security Analytics and Intrusion Detection
Other topics


SoK: Security and Privacy of Blockchain Interoperability, IEEE S&P 2024
Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge, ACM CCS 2023
Synthesis of Fault-Tolerant Reliable Broadcast Algorithms with Reinforcement Learning, IEEE Access 2023
Do You Need a Distributed Ledger Technology Interoperability Solution?, ACM DLT 2023
A Survey on Blockchain Interoperability: Past, Present, and Future Trends, ACM CSUR 2022
SRX - Secure Data Backup and Recovery for SGX Applications, IEEE Access 2022
MIRES: Intrusion Recovery for Applications based on Backend-as-a-Service, IEEE TCC 2022
Sanare: Pluggable Intrusion Recovery for Web Applications, IEEE TDSC 2022
Statically Detecting Vulnerabilities by Processing Programming Languages as Natural Languages, IEEE Trans. Reliability 2022
Omega: a Secure Event Ordering Service for for the Edge, IEEE TDSC, 2021
Fireplug: Efficient and Robust Geo-Replication of Graph Databases, IEEE TPDS 2020
BlockSim: Blockchain Simulator, IEEE Blockchain 2019
Benchmarking Static Analysis Tools for Web Security, IEEE Trans. Reliability 2018
State machine replication in containers managed by Kubernetes, Journal of Systems Architecture 2017
Detecting and Removing Web Application Vulnerabilities with Static Analysis and Data Mining, IEEE Trans. Reliability 2015
SCFS: a Shared Cloud-backed File System, Usenix ATC 2014
DepSky: Dependable and Secure Storage in a Cloud-of-Clouds. ACM Trans. Storage 2013.
Efficient Byzantine Fault Tolerance, IEEE Trans. Computers 2013.


BLOCKCHAIN.PT - Agenda Descentralizar Portugal com Blockchain
ACES - Autopoiesis Cognitive Edge-cloud Services (EC)
TRUSTyFOOD - Stakeholders-driven pathways for blockchain implementation in the agri-food sector (EC)
DE4A - Digital Europe For All (EC)
BIG - Enhancing the research and innovation potential of Tecnico through Blockchain technologies and design Innovation for social Good (EC)


WAP - automatic Web Application Protection (21,400 downloads!) (also a OWASP project) - static analysis tool for PHP web applications
C2BID and DynIDS cluster-based network intrusion detection schemes
SRX - SGX Recovery Extension - Intel SGX extensions for securely moving data between enclaves
TRX - TrustZone Recovery eXtension - ARM TrustZone extensions for securely moving data between TEEs
Qualichain consortium of organizations management with Ethereum-based smart contracts
BlockSim - a discrete event Blockchain simulator
GT-Tool 1 and GT-Tool 2 - Virtual Static Security Analyzer for Web Applications - static analysis tool for web applications extensible for several languages
MERLIN - Multi-Language Web Vulnerability Detection - static analysis tool for web applications in several languages
PSMA - Programmable Sandbox for Malware Analysis - malware dynamic analysis system for programmable and repeatable experiments
SafeCloudFS/RockFS - single cloud and cloud-of-clouds file system resilient to client side attacks
MIRES - intrusion recovery system for Backed-as-a-Service / mobile applications
Rectify - black-box intrusion recovery system for PaaS clouds
MultiTLS - middleware based on diversity and tunneling for keeping communication channels secure even when new vulnerabilities are discovered
PREMIUM - Private REactive MultIpath commUnication Middleware - secure communications using multiple communication paths
DepSky cloud-of-clouds storage - secure and dependable cloud storage using a set of clouds
MinBFT, MinZyzzyna, Spinning and EBAWA; MinBFT now being implemented by the Hyperledger project! - Byzatine fault-tolerant replication libraries
RITAS - Randomized Intrusion-Tolerant Asynchronous Services - randomized BFT library


55th Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2025
7th IEEE International Conference on Blockchain - Blockchain 2024
24th Brazilian Symposium on Information and Computational Systems Security - SBSEG 2024
EuroSys 2024 - Doctoral Workshop PC
39th International Conference on ICT Systems Security and Privacy Protection - IFIP SEC 2024
IEEE International Conference on Pervasive Computing and Communications - PerCom 2024
6th IEEE International Conference on Blockchain - Blockchain-2023
5th Workshop on Machine Learning for Cybersecurity - MLCS 2023
1st Workshop on Attacks and Software Protection - WASP 2023, co-chair
4th Blockchain Software Engineering Workshop - BSEW 2023, co-chair
53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2023, PC member and mentoring program
38th International Conference on ICT Systems Security and Privacy Protection - IFIP SEC 2023
4th DSN Workshop on Data-Centric Dependability and Security - DCDS 2023

teaching (grad./undergrad.)

teaching (professionals)

Blockchain e Smartcontracts
Proteção e Segurança de Dados para Profissionais não Tecnológicos
Cibersegurança para Empresas


My profile at Google Scholar, ACM, DBLP, Scopus, ORCID, LinkedIn, Ciência Vitae