Definitive Contract HR001118C0060

This is a $7,851,503 definitive contract awarded by the Defense Advanced Research Projects Agency (DARPA) to Arizona State University to create a new framework called Control Modulo Theory (CMT) that supports sophisticated reasoning about vulnerabilities, with the goal of creating a system able to combine multiple vulnerabilities to achieve control over a remote target. The contract, under DARPA's Harnessing Autonomy for Countering Cyber-adversary Systems (HACCS) program, spans Phases I, II, and III. Arizona State University is the prime contractor, and the key subcontractors are Cromulence LLC, a cybersecurity company, and the University of California, Santa Barbara, a research university. The contract does not have a set-aside designation.