Supervisions

PhD Theses

PhD Theses: 1

2018

Sileshi Demesie
Advisors: Miguel Correia and Seif Haridi
Mobile Device Security with ARM TrustZone
PhD Thesis at Instituto Superior Técnico, Nov. 2018 [bibTex]

MSc Theses

MSc Theses: 6

2019

Cláudio José Pereira Correia
Omega: a Secure Event Ordering Service for the Edge
MSc Thesis at Universidade de Lisboa, Nov. 2019 [bibTex]

2018

Paulo Jorge Almeida dos Anjos
Blockchain as a consensus service
MSc Thesis, Nov. 2018 [bibTex]
Miguel Correia Guerra
Advisors: Miguel Correia
Dynamic Security Analysis using Virtual Machine Introspection
MSc Thesis, Jun. 2018 [bibTex]
Ricardo Manuel Mota de Moura
MultiTLS: secure channel with cipher diversity
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
Isabel Cristina Monteiro da Costa
PREMIUM: Private Reactive Multipath Communication Middleware
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2018 [bibTex]
Anabela Sofia Martins Borges
Advisors: Miguel Correia and Ibéria Vitória Medeiros
Whitebox fuzzing for web application security
MSc Thesis, Jun. 2018 [bibTex]