Summary
The toolset will rely on high-level specifications of attacks and security properties to automate security testing.
More information & hyperlinks