Supervisions

PhD Theses

PhD Theses: 1

2019

David Rogério Póvoa de Matos
Advisors: Miguel Correia and Miguel Pardal
Intrusion Recovery in Cloud Computing
PhD Thesis at Instituto Superior Técnico, Universidade de Lisboa, Jun. 2019 [bibTex]

MSc Theses

MSc Theses: 7

2019

Miguel Antão Pereira Amaral
Advisors: Miguel Pardal and Miguel Matos
FaultSee: interactive fault injection in distributed systems
MSc Thesis, Dec. 2019 [bibTex]
Henrique Figueiredo dos Santos
Advisors: Miguel Pardal
CAPTOR: loCAtion Proofs for goods TranspOrtation Reports
MSc Thesis, Nov. 2019 [bibTex]
Gabriel Antunes Maia
Advisors: Miguel Pardal
CROSS: loCation pROofs for Smart touriSm in the city
MSc Thesis at Instituto Superior Técnico, Universidade de Lisboa, Nov. 2019 [bibTex]
Pedro Esperança do Carmo
Advisors: Miguel Pardal and João Nuno de Oliveira e Silva
IoT Neighbourhood Watch
MSc Thesis, Nov. 2019 [bibTex]
Tiago Filipe Ribeiro Gonçalves
Advisors: Miguel Pardal
Privacy-preserving data market for threat sharing
MSc Thesis, Nov. 2019 [bibTex]
Rui Miguel Pereira Barata
Advisors: Miguel Pardal and Miguel Correia
RectifyPlus - Black-Box Intrusion Recovery in MEAN Applications
MSc Thesis, Nov. 2019 [bibTex]
Sheng Wang
Advisors: Miguel Pardal
Privacy protection proxy for IoT data endpoints
MSc Thesis, Jun. 2019 [bibTex]

Training

Internships: 1

2019

José Eduardo Sapina Teixeira Brás
Advisors: Miguel Pardal
Estágio de Verão
short term traineeship, Aug. 2019 [bibTex]