Ongoing Supervisions

PhD Theses

PhD Theses: 3

Advisors: Miguel Correia
Leveraging Machine Learning Strategies for Network Intrusion Detection
PhD Thesis, work in progress [bibTex]
Advisors: Miguel Correia
Software Security
PhD Thesis, work in progress [bibTex]
Advisors: Miguel Correia
Utilização de algoritmos de Machine Learning para sistemas de Deteção de Intrusão no domínio Ciber
PhD Thesis, work in progress [bibTex]

MSc Theses

MSc Theses: 9

Advisors: Miguel Correia
Blockchain Address Transparency with DNSSEC
MSc Thesis, work in progress [bibTex]
Advisors: Miguel Correia
Blockchain for Consent Management
MSc Thesis, work in progress [bibTex]
Data Migration for Secure Hardware Extensions
MSc Thesis at Insituto Superior Técnico, work in progress [bibTex]
Deissertação : SmartZone: enhancing the security of TrustZone with SmartCards
MSc Thesis, work in progress [bibTex]
Dissertação: Blockchain Undo: Panic button for stolen crypto-wallets
MSc Thesis, work in progress [bibTex]
Mobile Rectify: Recovering from Cyber Attacks in Mobile Applications with Backend-as-a-Service
MSc Thesis, work in progress [bibTex]
Advisors: Miguel Correia
Reliable and Distributed Storage Systems
MSc Thesis at IST, work in progress [bibTex]
Advisors: Miguel Correia
SEAL: Language-Independent Web Vulnerability Detection using Machine Learning
MSc Thesis, work in progress [bibTex]
Secure Data Storage for Blockchains
MSc Thesis, work in progress [bibTex]

Graduations

Graduation Theses: 2

Advisors: Miguel Correia and Luis Filipe Xavier Cavaco de Mendonça Dias
CryingJackpot: Network Flows and Performance Counters against Cryptojacking
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]
Advisors: Miguel Correia
Cryptojacking Detection with CPU Usage Metrics
Graduation Thesis at Insituto Superior Técnico, work in progress [bibTex]

Finished Supervisions

PhD Theses

PhD Theses: 1

2019

Intrusion Recovery in Cloud Computing
PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2019 [bibTex]

MSc Theses

MSc Theses: 8

2021

Marcelo Filipe Regra da Silva
P2CSTORE: P2P and Cloud File Storage for Blockchain Applications
MSc Thesis, work in progresson 2021 [bibTex]

2019

João Silveira
Advisors: Miguel Correia and Wouter Lueks
A Browser-based Anonymous Questionnaire System with User-controlled Linkability
MSc Thesis, Dec. 2019 [bibTex]
JusticeChain: Using Blockchain To Protect Justice Data
MSc Thesis, Dec. 2019 [bibTex]
Simão Valente
Advisors: Miguel Correia and Luís Filipe Dias
Security Analytics with Mixed Event Sources and Ensembles
MSc Thesis, Dec. 2019 [bibTex]
Nuno Falcão
Advisors: Miguel Correia
Cibersegurancça em Cidades Inteligentes - Segurança das Tecnologias e dos Dados em Sistemas Inteligentes de Transporte
MSc Thesis, Nov. 2019 [bibTex]
João Carreiro
Advisors: Miguel Correia
Identificação e Análise de Cryptojacking
MSc Thesis, Nov. 2019 [bibTex]
Omega: a Secure Event Ordering Service for the Edge
MSc Thesis at Universidade de Lisboa, Nov. 2019 [bibTex]
RectifyPlus - Black-Box Intrusion Recovery in MEAN Applications
MSc Thesis, Nov. 2019 [bibTex]