Adapting taint analyses for detecting security vulnerabilities
Elektronische Ressource, Paderborn, 2022
Computing on encrypted data using trusted execution environments
Elektronische Ressource, Paderborn, 2021Engineering self-adaptive systems with simulation-based performance prediction
Elektronische Ressource, Paderborn, 2017Helping Java developers reduce cryptographic API misuses
Paderborn, 2026On-The-Fly safety checking - customizing program certification and program restructuring
Elektronische Ressource, Paderborn, 2017Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024Synchronized pushdown systems for pointer and data-flow analysis
Elektronische Ressource, Paderborn, 2019User-centered tool design for data-flow analysis
Elektronische Ressource, Paderborn, 2019