bio and contacts
Miguel Correia is an Associate Professor with Habilitation (Agregação) at
the Computer Science and Engineering Department (DEI),
Instituto Superior Técnico (IST),
Universidade de Lisboa (ULisboa), in
He is vice-president for faculty at DEI.
He is coordinator of the Doctoral Program in Information Security at IST.
He is a senior researcher
at INESC-ID, and member of the
Distributed Systems Group (GSD).
He is co-chair of the European Blockchain Partnership that is designing the European Blockchain Services Infrastructure (EBSI).
He is co-founder of
Blockbird Ventures, a startup in the Blockchain market.
He is a member of the Board of Técnico+ and
a non-executive member of the Board of Associação .PT.
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 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),
typically in distributed systems, in the context of different applications (blockchain, cloud, mobile).
He is particularly interested in the fault/intrusion tolerance approach, in which systems have to
continue to operate correctly irrespectively of the occurrence of faults, attacks, and intrusions.
His main research topics are:
blockchain and Byzantine consensus,
cloud security and dependability,
software security, and
security analytics and intrusion detection.
1. Blockchain and Byzantine Consensus
2. Cloud Security and Dependability
3. Trusted Computing
4. Software Security
5. Security Analytics and Intrusion Detection
MIRES: Recovering Mobile Applications based on Backend-as-a-Service from Cyber Attacks, MobiQuitous, 2020
Go With the Flow: Clustering Dynamically-Defined NetFlow Features for Network Intrusion Detection with DynIDS, NCA, 2020
A Survey on Blockchain Interoperability: Past, Present, and Future Trends, arXiv, 2020
Omega: a Secure Event Ordering Service for the Edge, DSN, 2020
Fireplug: Efficient and Robust Geo-Replication of Graph Databases, IEEE TPDS, 2020
SEPTIC: Detecting Injection Attacks and Vulnerabilities Inside the DBMS, IEEE Trans. Reliability, 2019
BlockSim: Blockchain Simulator, IEEE Blockchain 2019
Benchmarking Static Analysis Tools for Web Security, IEEE Trans. Reliability, 2018
RockFS: Cloud-backed File System Resilience to Client-Side Attacks, Middleware 2018
REPSYS: A robust and distributed incentive scheme for (...) Delay-Tolerant Networks, IEEE Wireless Communications, 2018
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. on Computers 2013.
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)
QualiChain - Decentralised Qualifications' Verification and Management for Learner Empowerment, Education Reengineering and Public Sector Transformation (EC)
SPARTA - Special projects for advanced research and technology in Europe (EC)
Cosmos - Causal Consistency on the Network Edge (FCT)
SEAL - SEcurity progrAmming of web appLications (FCT)
Angainor - reproducible large-scale evaluation and fault injection (FCT)
A3CE - Aprendizagem Automática de Ameaças no Ciberespaço (CINAMIL)
WAP - automatic Web Application Protection (20,000 downloads!)
(now a OWASP project)
Qualichain consortium management software
BlockSim - a discrete event Blockchain simulator
SafeCloudFS aka RockFS - single cloud or cloud-of-clouds file system resilient to client side attacks
Rectify black-box intrusion recovery system for PaaS clouds
PREMIUM - Private REactive MultIpath commUnication Middleware
DepSky cloud-of-clouds storage
MinBFT, MinZyzzyna, Spinning and EBAWA; MinBFT now being implemented by the Hyperledger project!
Randomized Intrusion-Tolerant Asynchronous Services (RITAS)
51st IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2021
41st IEEE International Conference on Distributed Computing Systems - ICDCS 2021
29th International Conference on Information Systems Development, Security, Privacy and Trust in IS track - ISD 2021
29th Euromicro International Conference on Parallel, Distributed and network-based Processing, Special Session on "Security in Parallel, Distributed and Network-Based Computing" - PDP 2021
36th IFIP TC-11 SEC 2021 International Information Security and Privacy Conference - SEC 2021
21st IEEE/ACM international Symposium on Cluster, Cloud and Internet Computing - Topic Chair for topic "Cyber-Security and Privacy" - CCGrid 2021
19th IEEE International Conference on Trust, Security and Privacy in Computing and Communications - TrustCom 2020
2nd International Workshop on Advances in Artificial Intelligence for Blockchain - AIChain2020
13th IEEE/ACM International Conference on Utility and Cloud Computing - UCC 2020
10th IEEE/IFIP Latin-American Symposium on Dependable Computing - LADC 2020
My profile at