ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Il servizio di assistenza via email è sospeso da venerdì 31 Luglio alle 13:30. Le richieste verranno processate regolarmente da lunedì 24 Agosto.

Risultati da 1 a 1 di 1

Titolo	Corso di studi	Anno di discussione	Relatore
Target-Oriented Symbolic Execution for Bug Detection in WebAssembly binaries	COMPUTER ENGINEERING	2025	Costa, Gabriele Lettieri, Giuseppe