Doktorand:in
Network and Distributed System Security Symposium (NDSS)
Anota: Identifying Business Logic Vulnerabilities via Annotation-Based Sanitization.
IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT)
Usenix Security Symposium (USENIX-Security)
A Binary-level Thread Sanitizer or Why Sanitizing on the Binary Level is Hard.
GI International Conference on Detection of Intrusions and Malware and Vulnerability Assessment (DIMVA)
VANDALIR: Vulnerability Analyses Based on Datalog and LLVM-IR.