Security Harness Engineering for Robust Program Analysis, or SHERPA, intelligently generates fuzzing harnesses for attacker-controlled entrypoints
>>> Repo: Github
Shellphish's cyber reasoning system.
Team: Shellphish
>>> Semifinal Release: Github
>>> Final Release: Github
Team Atlanta's cyber reasoning system.
Team: Team Atlanta
Theori's cyber reasoning system.
Team: Theori
>>> Semifinal Release & Final Release: Github
Trail of Bits' cyber reasoning system.
Team: Trail of Bits
