miguel pupo correia           

short bio

Miguel Correia is an Associate Professor at Instituto Superior Técnico (IST) of Universidade de Lisboa (ULisboa), in Lisboa, Portugal. He is a Senior Researcher at INESC-ID in the Distributed Systems Group (GSD). He is currently a non-executive member of the Board of Associação DNS.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 SafeCloud, PCAS, TCLOUDS, ReSIST, CRUTIAL, and MAFTIA European projects. He has more than 150 publications and is Senior Member of the IEEE. His main research interests are: cyber-security, dependability, cloud computing, blockchain and distributed ledgers, software security, security analytics, critical infrastructure protection, intrusion tolerance, mobile security, and distributed systems.

email: miguel.p.correia_AT_tecnico.ulisboa.pt

(bios and contacts)

research topics

cloud computing security and dependability
intrusion tolerance / byzantine fault tolerance
software security
critical infrastructure protection
others: coordination / tuple spaces, mobile security, byzantine consensus, intrusion detection, grid computing, distributed multimedia


T2Droid: A TrustZone-based Dynamic Analyser for Android Applications, TrustCom 2017
PRIVO: A PRIvacy-preserVing Opportunistic routing protocol for Delay Tolerant Networks, Networking 2017
Chrysaor: Fine-Grained, Fault-Tolerant Cloud-of-Clouds MapReduce, CCGrid 2017 (Best student paper award)
JITeR: Just-in-time application-layer routing, ComNet 2016
DEKANT: A Static Analysis Tool that Learns to Detect Web Application Vulnerabilities, ISSTA 2016
Big Data Analytics for Detecting Host Misbehavior in Large Logs, TrustCom, 2015
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.

(more by date or by topic)


SafeCloud - Secure and Resilient Cloud Architecture (EC-IST)
PCAS - Personalised Centralized Authentication System (EC-IST)
ABYSS - Autonomic Byzantine Fault-Tolerant Systems (FCT)
• SATURN - Spatio­temporal cloud store for big­data applications (FCT)



WAP - automatic Web Application Protection (12,500+ downloads!) (now a OWASP project!)
Chrysaor fine-grained fault-tolerant cloud-of-clouds MapReduce
Medusa fault-tolerant cloud-of-clouds MapReduce
MACHETE - multi-path communication
vtTLS - vulnerability-tolerant channels for transport layer security
Shuttle intrusion recovery service for PaaS clouds
SCFS cloud-backed file system
DepSky cloud-of-clouds storage
MinBFT, MinZyzzyna, Spinning and EBAWA
Randomized Intrusion-Tolerant Asynchronous Services (RITAS)



16th IEEE International Symposium on Network Computing and Applications - NCA 2017 - Program Co-Chair

48th IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2018 - Tutorials Chair and PC Member

33rd ACM/SIGAPP Symposium On Applied Computing - SAC 2018
1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers - SERIAL 2017
The 16th IEEE International Conference On Trust, Security And Privacy In Computing And Communications - IEEE TrustCom-17
17th IFIP International Conference on Distributed Applications and Interoperable Systems - DAIS 2017
10th Workshop on Resiliency in High Performance Computing (Resilience) in Clusters, Clouds, and Grids - Resilience 2017
32nd ACM/SIGAPP Symposium On Applied Computing, Operating Systems track - SAC 2017
7th edition of International Conference on Mathematical Methods, Models and Architectures for Computer Networks Security - MMM-ACNS 2017
XVIII Workshop de Testes e Tolerância a Falhas - WTF 2017





• Software Security (1st semester 2016/17)
• Intrusion Tolerance, Detection and Response (2nd semester 2016/17)
• Security and Network Management (2nd semester 2014/15)


I am often looking for post-docs and students willing to do a PhD in Computer Science and Enginnering under my supervision. If you are interested in my research topics and are willing to do a PhD, please send me and email.

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

home | last update: 25-06-2017