Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021Scaling static whole-program analysis to modern C and C++ software development
statically analyzing C and C++ software with PhASARPaderborn, 2024Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024