
Fresh on the heels of announcing a call for social media research, DARPA's Information Innovation Office (I2O) has issued a solicitation for "innovative research proposals in the area of automated program analysis for cybersecurity." From the official broad agency announcement: Automated program analysis is a fundamentally hard problem. It has been known since the work of ...


