miguel pupo correia           


publications by date

publications by topic







media coverage

em Português:

informação para potenciais alunos

segurança informática

ensino e investigação



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 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 intrusion tolerance and security, including the SafeCloud, PCAS, TCLOUDS, ReSIST, CRUTIAL, and MAFTIA European projects. He has more than 100 publications and is Senior Member of the IEEE. His main research interests are: cyber-security, cloud computing, software security, big data analytics for security, critical infrastructure protection, distributed systems, machine learning for security, and intrusion tolerance.

email: miguel.p.correia_AT_tecnico.ulisboa.pt

(bios and contacts)

research topics

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


JITeR: Just-in-time application-layer routing, ComNet 2016
DEKANT: A Static Analysis Tool that Learns to Detect Web Application Vulnerabilities, ISSTA 2016
Hacking the DBMS to Prevent Injection Attacks, CODASPY, 2016
Big Data Analytics for Detecting Host Misbehavior in Large Logs, Trustcom, 2015
Shuttle: Intrusion Recovery for PaaS, ICDCS, 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 9500+ downloads!) (now a OWASP project!)
Shuttle intrusion recovery service for PaaS clouds
SCFS cloud-backed file system
DepSky cloud-of-clouds storage
php parser
MinBFT, MinZyzzyna, Spinning and EBAWA
Randomized Intrusion-Tolerant Asynchronous Services (RITAS)
Detector of integEr vulnerabilitiEs in softwarE Portability (DEEEP)
Dependable Tuple Space (DepSpace)
Trusted Timely Computing Base (TTCB)



32nd ACM/SIGAPP Symposium On Applied Computing, Operating Systems track - SAC 2017
IEEE Conference on Dependable and Secure Computing - DSC 2017
25th Euromicro International Conference on Parallel, Distributed and network-based Processing, Security in Parallel, Distributed and Network-Based Computing special session - PDP 2017
1st Workshop on System Software for Trusted Execution - SysTEX 2016
9th International Conference on Security, Privacy and Anonymity in Computation, Communication and Storage - SpaCCS 2016
28th International Symposium on Computer Architecture and High Performance Computing - SBAC-PAD 2016



• Software Security (1st semester 2011/12, 2012/13, 2013/14, 2014/15, 2015/16, 2016/17)
• Intrusion Tolerance, Detection and Response (2011/12, 2012/13, 2013/14, 2014/15)
• Security and Network Management (2012/13, 2014/15)
• Computer Networks (1st semester 2011/12, 2012/13, 2013/14, 2014/15)
• Network and Systems Management (2012/13, 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: 29-07-2013