Summer School on Security Testing and Verification

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.