@phdthesis{mihaila15adaptable, author = {Bogdan Mihaila}, title = {{Adaptable Static Analysis of Executables for proving the Absence of Vulnerabilities}}, school = {Technical University of Munich}, address = {Germany}, year = {2015}, type = {{Dissertation}} }