Understanding Binaries, Correctly: Decidability and Verification in Binary Analysis

Research output: Thesis › Doctoral Thesis › Thesis 1: fully internal

Original language	English
Awarding Institution	Doctorate Board of the Open Universiteit
Supervisors/Advisors	Vos, Tanja, Supervisor Verbeek, Freek, Co-supervisor Naus, Nico, Co-supervisor
Award date	18 Dec 2026
Publisher	Open Universiteit
Publication status	Published - 18 Dec 2026

Cite this