miguel pupo correia           
 

bio and contacts

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 research is focused 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

publications

On the Design of Resilient Multicloud MapReduce, IEEE Cloud Comput. 2017
Rectify: Black-Box Intrusion Recovery in PaaS Clouds, Middleware 2017
Hail to the Thief: Protecting Data from Mobile Ransomware with ransomSafeDroid, NCA 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.

projects

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

software

WAP - automatic Web Application Protection (14,000+ downloads!) (now a OWASP project!)
Rectify black-box intrusion recovery system for PaaS clouds
NoSQL Undo recovery tool for NoSQL databases
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
JITeR - Just-In-Time Routing
MinBFT, MinZyzzyna, Spinning and EBAWA
Randomized Intrusion-Tolerant Asynchronous Services (RITAS)

events

33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection - SEC 2018
48th IEEE/IFIP International Conference on Dependable Systems and Networks - DSN 2018 - Tutorials Chair, PC member, Student Forum PC member
33rd ACM/SIGAPP Symposium on Applied Computing - SAC 2018
26th Euromicro International Conference on Parallel, Distributed and network-based Processing, Special Session on Security in Parallel, Distributed and Network-Based Computing - PDP 2018
16th IEEE International Symposium on Network Computing and Applications - NCA 2017 - Program Co-Chair

students

talks

teaching

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

home | last update: 22-12-2017