Professors Tinelli and Chowdhury in collaboration with GE Global Research were recently awarded a 4-year DARPA grant entitled "VERDICT: Verification Evidence & Resilient Design In anticipation of Cybersecurity Threats." The Iowa team will receive $809,000 for their part of the project.

The overall goal of the project is to develop principled approaches and accompanying tools to analyze the resiliency of safety-critical software systems against cybersecurity threats and propose mitigating solutions when the analysis identifies potential threats. The approaches and tools will rely on automated reasoning techniques to provide a high level of automation in the analysis, building on the expertise of the Iowa team in automatic reasoning and the application of formal methods to security.