Adapting taint analyses for detecting security vulnerabilities
Elektronische Ressource, Paderborn, 2022
Challenges in information representation with augmented reality for procedural task support
Elektronische Ressource, Paderborn, 2024Computing on encrypted data using trusted execution environments
Elektronische Ressource, Paderborn, 2021Cooperative Android App analysis
Elektronische Ressource, Paderborn, 2023Improving real-world applicability of static taint analysis
Elektronische Ressource, Paderborn, 2021Large Scale Scanning of TLS Session Ticket Confusion
Elektronische Ressource, Paderborn, 2023Scaling 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, 2024Specification and verification of security protocols and their utilization in scenario-based requirements engineering
Elektronische Ressource, Paderborn, 2024