DARPA Cyber Grand Challenge (CGC)

[Google Scholar]

Notes:
Papers:

A set of test programs accompanied by inputs that trigger interesting behaviour called “Proofs of vulnerability” (PoV).

  • Symbolic execution with SymCC: Don't interpret, compile! [poeplau:usenix:2020]
  • QSYM: A practical concolic execution engine tailored for hybrid fuzzing [yun:usenix:2018]