Cláudio Correia

I am a PhD student in Computer Science and Engineering at Instituto Superior Técnico (IST) - Universidade de Lisboa. I am being co-advised by Prof. Luís Rodrigues and Prof. Miguel Correia. I conduct my research at INESC-ID Lisboa and I am member of the Distributed Systems Group (GSD).

Research Interests

My research interests are in the area of computer security and distributed edge computing. In particular, I am currently researching mechanisms and techniques to improve security for the edge computing model by leveraging trust execution environments based on Intel SGX.

Publications

International Conference Publications

  • Cathode: A Consistency-Aware Data Placement Algorithm for the Edge
    (NCA 2021)
    Leonardo Epifâneo, Cláudio Correia, Luís Rodrigues

  • Omega: a Secure Event Ordering Service for the Edge
    (DSN 2020)
    Cláudio Correia, Miguel Correia, Luís Rodrigues

Journal Publications

  • Omega: a Secure Event Ordering Service for the Edge (Extended version)
    (IEEE Transactions on Dependable and Secure Computing, 2021)
    Cláudio Correia, Miguel Correia, Luís Rodrigues

Workshop Publications

  • Safeguarding Data Consistency at the Edge
    (DSN-S 2020)
    Cláudio Correia

National Conference Publications

  • Ataques de Frequência em Deduplicação Cifrada na Nuvem
    (INForum 2022)
    Rodrigo Silva, Cláudio Correia, Miguel Correia, Luís Rodrigues

  • Safeguarding Distributed Data Storage at the Edge
    (ENSD 2022)
    Cláudio Correia

  • Prova de Resposta Pontual no Acesso ao Armazenamento Contratado na Periferia da Rede
    (INForum 2021)
    Rita Prates, Cláudio Correia, Miguel Correia, Luís Rodrigues

  • Ordenaçao Segura de Eventos na Periferia da Rede
    (INForum 2019)
    Cláudio Correia, Miguel Correia, Luís Rodrigues

Resume

Teaching

Teaching Assistant

2021 - 2022

2º Semester of the degree program (LETI) - Network and Computer Security
Instituto Superior Técnico, TagusPark

Teaching Assistant

2021 - 2022

1º Semester of the MSc degree program (MEIC) - Network and Computer Security
Instituto Superior Técnico, Lisboa

Education

Master in Information Systems and Computer Engineering

2017 - 2019

Specialization in Distributed Systems and Intelligent Robotics
Instituto Superior Técnico, Lisboa
Final Course Average : 17
Academic Merit 2018/2019

Bachelor in Information Systems and Computer Engineering

2014 - 2017

Instituto Superior Técnico, Lisboa
Final Course Average : 15
Academic Merit 2016/2017

Professional Experience

Summer internship - Blockchain D App

Xpand it, 2018

Supermarket cashier

Continente/ Sonae, 2013

Other Projects

ORGANIZATION OF ENSD 2022

2022

Organization of the 1º edition of the National Meeting of Distributed Systems, Evora
Developed the conference website alongside Rafael Soares

Contact

Location:

INESC-ID Lisboa, Room 501
Rua Alves Redol Nº 9, 1000-029
Lisboa, Portugal