3 papers
cs.CR2025
Anota: Identifying Business Logic Vulnerabilities via Annotation-Based Sanitization
Meng Wang, Philipp Görz, Joschua Schilling +4
Detecting business logic vulnerabilities is a critical challenge in software security. These flaws come from mistakes in an application's design or implementation and allow attacke…
cs.CR2025
A Comparative Study of Fuzzers and Static Analysis Tools for Finding Memory Unsafety in C and C++
Keno Hassler, Philipp Görz, Stephan Lipp
Over 70% of security vulnerabilities in critical software systems today result from memory safety violations. To address this challenge, fuzzing and static analysis are widely used…
cs.SE2024
Mutation Analysis with Execution Taints
Rahul Gopinath, Philipp Goerz
Mutation analysis is one of the most effective, but costly means of assessing the ability of software test suites to prevent bugs. Traditional mutation analysis involves producing…