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 currently the Scientific Coordinator of the Distributed Systems Group (GSD). He is co-founder of Blockbird Ventures, a startup in the Blockchain market. He is 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. He is involved in the ISO TC 307 - Blockchain and distributed ledger technologies.

His research focuses on (cyber)security 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

Blockchain and Byzantine Consensus
Cloud Security and Dependability
Trusted Computing
Software Security
Mobile Security and Dependability
Big Data Security Analytics and Intrusion Detection
Secure and Dependable Communications
other topics


RockFS: Cloud-backed File System Resilience to Client-Side, Middleware 2018
REPSYS: A robust and distributed incentive scheme for (...) Delay-Tolerant Networks, IEEE Wireless Comm.
On the Design of Resilient Multicloud MapReduce, IEEE Cloud Comput. 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. Rel., 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)
• Cosmos - Causal Consistency on the Network Edge (FCT)
• SEAL - SEcurity progrAmming of web appLications (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 (15,800+ downloads!) (now a OWASP project!)
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)


49th IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2019 - PC member, Publications Chair
38th IEEE International Symposium on Reliable Distributed Systems - SRDS 2019 - Publicity Co-Chair
Congresso Internacional de Segurança Integrada: Estratégias para o Século XXI - 2019
27th Euromicro International Conference on Parallel, Distributed and network-based Processing, Special Session on Security in Parallel, Distributed and Network-Based Computing - PDP 2019
17th IEEE International Symposium on Network Computing and Applications - NCA 2018 - Program Co-Chair




My profile at Google Scholar, Microsoft Academic, ACM, DBLP, Scopus, ORCID, LinkedIn

home | last update: 05-10-2018