Skip to main content

Marcel's research is focussed on automated vulnerability detection, analysis, testing, debugging, and repair of large software systems, where he investigates practical topics such as efficiency, scalability, and reliability of automated techniques via theoretical and empirical analysis. His highperformance fuzzers discovered 100+ bugs in widely-used software systems, more than 50 of which are security-critical vulnerabilities registered as CVEs at the US National Vulnerability Database.

Supervisor's projects

No projects found.