Secure architectures are becoming more complex. They route secure and non-secure data over the same channels, and share the same resources, but still require that there be no leakage from one domain to the other.

Elchanan Rappaport, President of Gila Logic, presented why formal has many methods to address design security at the Formal Verification Conference which took place on 16 June 2016.

The Presentation Recordings are available here