Ongoing Supervisions

MSc Theses

MSc Theses: 1

Filipe Marques
Robust Symbolic Execution for WebAssembly
MSc Thesis, work in progress [bibTex]

Finished Supervisions

MSc Theses

MSc Theses: 2

2021

Discovering Vulnerabilities in WebAssembly with Code Property Graphs
MSc Thesis, Feb. 2021 [bibTex]

2020

Carolina Costa
Concolic Execution for WebAssembly
MSc Thesis, Nov. 2020 [bibTex]