Professor Heng Yin’s joint proposal with Dr. Dawn Song at UC Berkeley has been recommended for funding by DARPA Cyber Grand Challenge. They are going to use and extend DECAF to discover vulnerabilities in the challege binaries and generate mission-oriented exploits