Today I give an invited talk about “DBCChecker: Formally Verifying Security Properties of Containers Compositions” at the 5G and Cloud Security Awareness Days, organized by SERICS Spoke 4 at the Centro Congressi Cavour, Rome. The slides are available here.

SERICS Spoke 4 is concerned with developing high-level automated security services and innovative security assessment and assurance methodologies to support the secure-by-design development and verification of cloud, edge, and 5G applications. So maybe our bigraph-based models and tools for reasoning about container compositions could be useful to this end!