@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}}
}