DARPA recently awarded a Computers and Humans Exploring Software Security (CHESS) grant entitled "CHECRS: Cognitive Human Enhancements for Cyber Reasoning Systems" to a team of researchers from UCSB's SecLab, with now Assistant Professor Antonio Bianchi [Now at Purdue] as Co-PI. The objective of this project is to develop a program analysis system able to find bugs in compiled binary software automatically. To overcome the limitations of current automated approaches, the system is designed to augment knowledge coming from automated approaches with human expertise.

Award abstract may be found here and program description at this link.