Supervisions

PhD Theses

PhD Theses: 3

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]

2017

Pedro Sá da Costa
Advisors: Miguel Correia and Fernando Ramos
Dependable MapReduce in a Cloud-of-Clouds
PhD Thesis at Universidade de Lisboa, Nov. 2017 [bibTex]
Efficient and Secure Routing in Wireless Ad Hoc Networks
PhD Thesis at Instituto Superior Técnico, Univesity of Lisbon, Jul. 2017 [bibTex]

MSc Theses

MSc Theses: 7

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]

2017

Pedro Miguel dos Santos Mendonça
Software Authenticity Protection in Smartphones using ARM Trustzone
MSc Thesis, Nov. 2017 [bibTex]
Ivo Lopes Pinto
Advisors: Miguel Correia and Paulo Jorge Sousa
Security Risks in Healthcare
MSc Thesis, Feb. 2017 [bibTex]