Cláudio Correia
I am a Ph.D. 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 Parallel and Secure Systems (DPSS).
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
- Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge
(ACM CCS 2023)
Cláudio Correia, Miguel Correia, Luís Rodrigues
- PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems
(IEEE PRDC 2023)
Cláudio Correia, Rita Prates, Miguel Correia, Luís Rodrigues
- Deduplication vs Privacy Tradeoffs in Cloud Storage
(ACM/SIGAPP SAC 2023)
Rodrigo Silva, Cláudio Correia, Miguel Correia, Luís Rodrigues
- Cathode: A Consistency-Aware Data Placement Algorithm for the Edge
(IEEE NCA 2021)
Leonardo Epifâneo, Cláudio Correia, Luís Rodrigues
- Omega: a Secure Event Ordering Service for the Edge
(IEEE/IFIP 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
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
- 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
Additional Experience
ORACLE
- Identifying and addressing performance bottlenecks on the FaaS platform of GraalVM, which requires improving the current CFS scheduler provided by the Linux kernel.
- Using previous access patterns to employ time series forecasting models to predict future spikes in popularity for specific cloud functions.
Research collaboration with GraalVM team
2024 - Present
INESC-ID
- ACES: A European project focused on providing a secure, resilient and privacy-compliant service that manages resources and workloads for micro data centers located at the edge.
- SmartRetail: A project to design and develop of advanced cryptography protocols for security and privacy-preserving technologies for smart-retail.
- NG-STORAGE: A project in collaboration with NOVA LINCS, to design and develop a new generation of data storage and management systems aimed to edge environments.
- Installation, management, administration, support, and maintenance of machines and services in the DPSS cluster.
DPSS Researcher
2018 - Present
System Administrator
2018 - Present
Instituto Superior Técnico
- Guilherme Santos: Privacy in SmartRetail.
Teaching Assistant
2021 - 2022
M.Sc. Supervisions
2021 - Present
Xpand IT
Accomplishments
Organization of ENSD
- Organization of the 1º edition of the National Meeting of Distributed Systems (Évora, Portugal).
Developed the conference website alongside Rafael Soares
FCT Scholarship
Awards
- Granted twice the incentive award for scientific productivity, from INESC-ID.
- Granted the academic merit student award in 2017 and 2019, from IST.
Education
Ph.D. Computer Science and Engineering
2019 - 2024
- Instituto Superior Técnico, Final Classification: Pass with Distinction
- Titled: Low-Latency Privacy-Preserving Access to Edge Storage
M.Sc. Computer Science and Engineering
2017 - 2019
- Instituto Superior Técnico, final course average: 17
- Distributed Systems specialization: knowledge of fundamental paradigms in large-scale distributed systems, both in scalability limitation and byzantine consensus protocols, in multiple environments such as Cloud, Fog, and Edge computing.
- Intelligent Robotics specialization: A highly intriguing experience working with deep neural networks, reinforcement learning, fuzzy systems, and programming autonomous robots.
B.Sc. Computer Science and Engineering
2014 - 2017
- Instituto Superior Técnico, final course average: 15
- Relevant Coursework: Object-Oriented Programming; Artificial Intelligence; Operating Systems; Databases; Computer Networks; Analysis and Synthesis of Algorithms; Cybersecurity.
Contact
Location:
INESC-ID Lisboa, Room 501
Rua Alves Redol Nº 9, 1000-029
Lisboa, Portugal
Email:
claudio.correia@tecnico.ulisboa.pt