Today I give a talk about “Enforcing Global Invariantswith Local Reasoning in AbU Collective Adaptive Systems” at the Second Workshop of the “Secure Software From First Principles” (SWOPS) project, hosted by IMT Scuola Alti Studi, Lucca. The slides are available here.

SWOPS is a NGEU NRRP-funded project of PE7 SERICS. This project aims to develop semantic models and high-level programming abstractions for writing secure code from the first principle, to devise techniques to analyze a piece of software both at a static time and at run-time in order to assess its security properties continuously and to ensure that is free from vulnerabilities.