Summer School on Security Testing and Verification 2025
7-8-9-10 July 2025, Brussels, Belgium
Program
Get the full details on our summer school program
Speakers
Get to know the main speakers and teachers
Registration
Get more info on fees and registration.
Location
Discover the VUB campus
Organizers
Who are the driving forces behind our summer school?
Practicalities
Venue address
KU Leuven and VUB’s Security Testing & Verification Summer School
4th edition – 2025
The 2025 edition of the Summer School on Security Testing and Verification is a joined effort between KU Leuven and VUB. It is aimed at researchers and PhD students who are interested in the fields of security testing, software verification, static program analysis, dynamic program analysis, fuzz testing, and more.
This 4-day program is taught in English and is organized on the VUB campus in Brussels (Belgium). Participants will receive a certificate of attendance.
Get updates on cybersecurity courses for students.
when?
7-8-9-10 July 2025
where?
Campus VUB
Pleinlaan 2
1050 Brussels, Belgium
Program
Venue & Accommodation
Registration and fees
Registration process
To apply for the summer school, please send a cover letter with your motivation and background details (500 words max), as well as your resume and a recommendation letter (PDFs only).
If your application is accepted, you’ll receive instructions on how to proceed with the payment.
Tuition fee
Early bird fee: 350€ – register before June 1
Tuition fee: 450€ – register after June 1
The tuition fee includes all the classes and course materials, lunches, coffee breaks, and social dinner. Accommodation is not provided. For tips, check here.
Our lecturers
Coen De Roover is an associate professor at the Software Languages Lab (SOFT) of the Vrije Universiteit Brussel (VUB) in Belgium. The central theme of his research is the design of static and dynamic program analyses, and their application to problems in software quality.
CO-CHAIR
Dr. Caterina Urban is a Research Scientist at INRIA (France), within the ANTIQUE research team. She holds a PhD in Computer Science from Ecole Normale Supérieure (ENS, Paris), and was a postdoctoral researcher at the Chair of Programming Methodology, led by Peter Müller at ETH Zurich.
Her research interests span the whole spectrum of formal methods and aim at developing methods and tools to enhance the reliability of computer software and understanding complex software systems. Main area of expertise is static analysis based on abstract interpretation, which provides rigorous mathematical guarantees of the behavior of computer programs.
LECTURER
Yannic Noller is a professor at the Faculty of Computer Science at the Ruhr University Bochum (RUB) and leads the Software Quality group. His research focuses on how software quality can be maintained and improved with automated testing and repair technologies. His general research goal is to shape the future of software development by contributing to the domain of automated software engineering and providing the means to develop reliable, trustworthy, and secure software systems.
Before joining RUB in 2024, Yannic was an Assistant Professor at Singapore University of Technology and Design (SUTD) and a Research Assistant Professor in the Department of Computer Science at the National University of Singapore (NUS). He pursued his Ph.D. in Computer Science in the Software Engineering group at the Humboldt-Universität zu Berlin, Germany. His Ph.D. research focused on differential software testing, in particular, by combining fuzzing and symbolic execution in the context of regression analysis, algorithmic complexity analysis, side-channel analysis, and robustness analysis of neural networks.
LECTURER
Dominique Devriese is an associate professor at the KU Leuven, Department of Computer Science. His research includes ISA security primitives, formal verification, secure compilation, capability machines and capability-based security, as well as functional programming and dependently-typed programming.
CO-CHAIR
Vincent is an Associate Professor at the Department of Computer Science, University of Oxford. Before he was a permanent researcher at INRIA (France).
His research area is the formal analysis and design of cryptographic protocols, with an emphasis on automated verification in the so-called symbolic model and the development of state-of-the-art verification tools. The theories behind the research and tools have root in automated reasoning, rewriting, (probabilistic) model-checking, first-order logic and concurrency theory. Vincent’s research aims at verifying relevant security protocols, e.g. TLS, cryptocurrency blockchain based protocols, electronic voting protocols, RFID protocols, certificate management protocols, telecommunication protocols, cloud computing…
LECTURER
Thomas Jensen is INRIA Director of Research, where he has lead several research teams, and adjoint professor at the University of Copenhagen. He received a PhD from Imperial College London and a Habilitation from University of Rennes.
His research is concerned with programming languages, semantics-based program analysis and software security. His research results include abstract interpretation in logical form, the first formally verified data flow analyzer, analysers for Java and Java Card, and hybrid information flow analysis techniques for estimating attacker knowledge in Web applications.
LECTURER
Aymeric Fromherz is a researcher in the Prosecco team at Inria Paris. His research aims to develop and apply tools to provide guarantees about critical software. A large part of his work focuses on the development of verified, high-performance cryptographic primitives using the F* proof assistant, such as the HACL* library that he co-maintains. His other recent projects aim to apply formal verification techniques to Rust programs through the Aeneas framework, as well as developing tools to establish the safety of computational law implementations as part as the AVoCAT project that he co-leads. He received his PhD from Carnegie Mellon University in 2021.
LECTURER
Location: VUB Campus Brussels, Belgium
The summer school will take place in Brussels, at the VUB campus.
Read more on how to reach the VUB and where to stay in Brussels.
