miguel pupo correia           

bio and contacts

Miguel Correia is Associate Professor with Habilitation (Agregação) at Instituto Superior Técnico (IST) of Universidade de Lisboa (ULisboa), in Lisboa, Portugal. He is a Senior Researcher at INESC-ID and member of the Distributed Systems Group (GSD). He is co-founder of Blockbird Ventures, a startup in the Blockchain market. He is co-chair of the European Blockchain Partnership that is designing the European Blockchain Services Infrastructure (EBSI). 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 QualiChain, SPARTA, SafeCloud, PCAS, TCLOUDS, ReSIST, CRUTIAL, and MAFTIA European projects. He has more than 150 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, trusted computing, software security, mobile security and dependability, big data security analytics and intrusion detection, and secure and dependable communications.

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. Mobile Security and Dependability
6. Big Data Security Analytics and Intrusion Detection
7. Secure and Dependable Communications
8. other topics


A Survey on Blockchain Interoperability: Past, Present, and Future Trends, axXiv, 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
ePRIVO: An enhanced PRIvacy-preserVing Opportunistic routing protocol for Vehicular Delay-Tolerant Networks, IEEE Trans. Vehicular Technology, 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
On the Design of Resilient Multicloud MapReduce, IEEE Cloud Computing 2017
Rectify: Black-Box Intrusion Recovery in PaaS Clouds, Middleware 2017
DEKANT: A Static Analysis Tool that Learns to Detect Web Application Vulnerabilities, ISSTA 2016
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.


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)
EBSI - European Blockchain Services Infrastructure / European Blockchain Partnership (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)
SafeCloud - Secure and Resilient Cloud Architecture (EC)
ABYSS - Autonomic Byzantine Fault-Tolerant Systems (FCT)
SATURN - Spatio­temporal cloud store for big­data applications (FCT)


WAP - automatic Web Application Protection (18,000+ downloads!) (now a OWASP project)
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
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
19th IEEE International Symposium on Network Computing and Applications - NCA 2020
2020 IEEE International Conference on Blockchain - Blockchain 2020
2nd International Workshop on Machine Learning for Cybersecurity - MLCS 2020
40th IEEE International Conference on Distributed Computing Systems - ICDCS 2020
2nd International Workshop on Data-Centric Dependability and Security - DCDS 2020
50th IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2020
29th International Conference on Information Systems Development - Security, Privacy and Trust in IS track - ISD 2020
35th IFIP TC-11 SEC 2020 International Information Security and Privacy Conference - SEC 2020
XXI Workshop de Testes e Tolerância a Falhas - WTF 2020
14th Eurosys Doctoral Workshop - EuroDW 2020
28th Euromicro International Conference on Parallel, Distributed and network-based Processing, Security in Parallel, Distributed and Network-Based Computing Special Session - PDP 2020




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

home | last update: 05-10-2018