Summer School on Security Testing and Verification

Campus Arenberg, Heverlee

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.