- Surveying existing strength metrics (potency, resilience, stealth) and their empirical validity
- Designing reproducible attacker models
- Automating attack pipelines (symbolic execution, deobfuscators) to score protected binaries
Please contact Sebastian Schrittwieser.