Charles River Analytics is building on our success under DARPA’s VET program, where sophisticated grammar formalisms from linguistics proved to be an effective, compact representation of the attack space. Under VET, these grammars were used to represent potential vulnerabilities of an existing system; under CASE, they represent potential vulnerabilities of a to-be-designed system.