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 SecurityProtocol Analysis using the Tamarin Prover
Formally Prove and Empirically Disprove Program Hyperpropertles
Static Program Analysis for Software Security
Bullding Deductive Program Verifiers