Supervisions

MSc Theses

MSc Theses: 2

2021

Filipe Marques
Advisors: José Santos and Nuno Santos
Robust Symbolic Execution for WebAssembly
MSc Thesis, Oct. 2021 [bibTex]
Pedro Daniel Rogeiro Lopes
Advisors: José Santos and Nuno Santos
Discovering Vulnerabilities in WebAssembly with Code Property Graphs
MSc Thesis, Feb. 2021 [bibTex]