Cyber Grand Challenge: Automated Cyber Reasoning

  • Yin, Heng, (PI)

Research project

StatusFinished
Effective start/end date6/3/148/7/16

Funding

  • US Air Force Research Labs/Rome
  • University of California, Berkeley