Periodic Reporting for period 3 - CASCAde (Confidentiality-preserving Security Assurance)

CASCAde aims to create a new generation of security assurance, that is, a verifiable statement of security properties. It investigates to what extent one can certify an interconnected dynamically changing system in such a way that one can prove its security properties without...