Adapting taint analyses for detecting security vulnerabilities
Elektronische Ressource, Paderborn, 2022

Computing on encrypted data using trusted execution environments
Elektronische Ressource, Paderborn, 2021
Helping Java developers reduce cryptographic API misuses
Paderborn, 2026


Secure use of open-source software
a systematic study and techniques for JavaElektronische Ressource, Paderborn, 2024
