|
| |
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.
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
publications
•
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.
projects
•
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)
•
Angainor - reproducible large-scale evaluation and fault injection (FCT)
•
SafeCloud - Secure and Resilient Cloud Architecture (EC)
•
ABYSS - Autonomic Byzantine Fault-Tolerant Systems (FCT)
•
SATURN - Spatiotemporal cloud store for bigdata applications (FCT)
software
•
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)
events
•
40th IEEE International Conference on Distributed Computing Systems - ICDCS 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
•
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
students
talks
teaching
My profile at
Google Scholar,
Microsoft Academic,
ACM,
DBLP,
Scopus,
ORCID,
LinkedIn
|
