Miguel Correia

ORCID iD
https://orcid.org/0000-0001-7873-5531
  • Also known as
  • Show details Hide details
Miguel Pupo Correia

Sources:
Miguel Correia (2015-09-30)

  • Keywords
  • Show details Hide details
security, intrusion tolerance, distributed systems, distributed algorithms, computer networks, cloud computing, and critical infrastructure protection

Sources:
Miguel Correia (2013-11-18)

  • Websites
  • Show details Hide details
http://homepages.gsd.inesc-id.pt/~mpc/

Sources:
Miguel Correia (2015-09-30)

  • Other IDs
  • Show details Hide details
Scopus Author ID: 22333381700

Sources:
Scopus - Elsevier (2013-11-21)

ResearcherID: L-6890-2015

Sources:
ResearcherID (2015-09-30)

Biography

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 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). 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.
No publications added yet