Security Testing & Verification (ST&V 2024)

Course

Course Objective

The need to secure nowadays software is of utmost importance. Cybersecurity attacks and abuses often exploit weaknesses in software implementations. As a community, we therefore need to create various security testing and verification techniques to contribute to a versatile solution space. Security testing and verification has become a subject of interest to many researchers. This summer school covers insights and state-of-the-art knowledge about multiple relevant subdomains. PhD students and researchers will thus get a broad overview, as well as an opportunity to dive deeper into their own areas of specialization.

Course Content

Symbolic Execution for Binary-level Security
Protocol Analysis using the Tamarin Prover
Formally Prove and Empirically Disprove Program Hyperpropertles
Static Program Analysis for Software Security
Bullding Deductive Program Verifiers

Target Audience

PhD students and researchers
Academic year9/09/2411/09/24