<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
===================================================================================================<br>
4th Summer School on Security Testing and Verification (ST&V 2025)<br>
July 7-8-9-10, Brussels, Belgium<br>
<a href="https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025__;!!IBzWLUs!UbDlVAmyPd7OY68RAu1cI7qiq99QHyUQbFlRrhqW06ErbVwqZNViAtf5v7VLCoAR5GFiDFIMqgTEY1lAlxQyU-KAu_JbwURzMdwqyPGmjFTRUQ$" target="_blank" id="OWA7810a4d1-e90f-d000-6398-ec35b2318f62" class="OWAAutoLink" title="https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025" rel="noopener noreferrer" data-linkindex="0" data-auth="NotApplicable">https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025</a><br>
===================================================================================================<br>
<br>
The Vrije Universiteit Brussel and KU Leuven are pleased to announce their 4th Summer School on Security Testing and Verification.<br>
<br>
It is aimed at researchers and PhD students who are interested in the fields of:<br>
- security testing<br>
- software verification<br>
- static program analysis<br>
- dynamic program analysis<br>
- fuzz testing<br>
and more.<br>
<br>
The 4-day program is taught in English and is organised on the Vrije Universiteit Brussel campus, in Brussels (Belgium).<br>
Participants will receive a certificate of attendance.<br>
<br>
The following lecturers have confirmed (lecture titles are tentative):<br>
* Caterina Urban, Inria Antique + École Normale Supérieure, <a href="https://urldefense.com/v3/__https://caterinaurban.github.io__;!!IBzWLUs!UbDlVAmyPd7OY68RAu1cI7qiq99QHyUQbFlRrhqW06ErbVwqZNViAtf5v7VLCoAR5GFiDFIMqgTEY1lAlxQyU-KAu_JbwURzMdwqyPHv-QykMw$" target="_blank" id="OWA2df4ceb0-aa19-43df-91a7-f68770007b34" class="OWAAutoLink" title="https://caterinaurban.github.io" rel="noopener noreferrer" data-linkindex="1" data-auth="NotApplicable">
https://caterinaurban.github.io</a> - Abstract Interpretation for Securing ML Code<br>
* Thomas Jensen, University of Copenhagen + Inria Rennes + , <a href="https://urldefense.com/v3/__https://people.rennes.inria.fr/Thomas.Jensen/__;!!IBzWLUs!UbDlVAmyPd7OY68RAu1cI7qiq99QHyUQbFlRrhqW06ErbVwqZNViAtf5v7VLCoAR5GFiDFIMqgTEY1lAlxQyU-KAu_JbwURzMdwqyPFXVr9Cjg$" target="_blank" id="OWA5cc48da7-192c-7736-547f-a4a6d2d73831" class="OWAAutoLink" title="https://people.rennes.inria.fr/Thomas.Jensen/" rel="noopener noreferrer" data-linkindex="2" data-auth="NotApplicable">
https://people.rennes.inria.fr/Thomas.Jensen/</a> - Static Program Analyses for Security<br>
* Vincent Cheval, University of Oxford, <a href="https://urldefense.com/v3/__https://www.cs.ox.ac.uk/people/vincent.cheval/__;!!IBzWLUs!UbDlVAmyPd7OY68RAu1cI7qiq99QHyUQbFlRrhqW06ErbVwqZNViAtf5v7VLCoAR5GFiDFIMqgTEY1lAlxQyU-KAu_JbwURzMdwqyPEit56aiw$" target="_blank" id="OWA23a171af-651c-2c75-c1ab-c8edd2414267" class="OWAAutoLink" title="https://www.cs.ox.ac.uk/people/vincent.cheval/" rel="noopener noreferrer" data-linkindex="3" data-auth="NotApplicable">
https://www.cs.ox.ac.uk/people/vincent.cheval/</a> - Formal Verification of Cryptographic Protocols using ProVerif<br>
* Aymeric Fromherz, Inria Paris, <a href="https://urldefense.com/v3/__https://aymericfromherz.github.io__;!!IBzWLUs!UbDlVAmyPd7OY68RAu1cI7qiq99QHyUQbFlRrhqW06ErbVwqZNViAtf5v7VLCoAR5GFiDFIMqgTEY1lAlxQyU-KAu_JbwURzMdwqyPE-9NWhuw$" target="_blank" id="OWAda69a8cd-054b-26ec-b9f8-60248c084e93" class="OWAAutoLink" title="https://aymericfromherz.github.io" rel="noopener noreferrer" data-linkindex="4" data-auth="NotApplicable">
https://aymericfromherz.github.io</a>, High-Assurance Verification of Security-critical Low-level code using F* and Low*<br>
<br>
At least two more lecturers will teach.<br>
<br>
More information is available on the website:<br>
<a href="https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025__;!!IBzWLUs!UbDlVAmyPd7OY68RAu1cI7qiq99QHyUQbFlRrhqW06ErbVwqZNViAtf5v7VLCoAR5GFiDFIMqgTEY1lAlxQyU-KAu_JbwURzMdwqyPGmjFTRUQ$" target="_blank" id="OWAfb2a04df-58fa-0a7b-4e31-1aeae731336b" class="OWAAutoLink" title="https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025" rel="noopener noreferrer" data-linkindex="5" data-auth="NotApplicable">https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025</a><br>
<br>
TUITION FEE<br>
350€ : early bird fee, register before June 1<br>
450€ : register as of June 1<br>
<br>
The tuition fee includes all the classes and course materials, lunches, coffee breaks, reception, and social dinner.<br>
Accommodation is not included.<br>
<br>
Please note that, in contrast to previous editions, this edition will take place in July rather than September.<br>
<br>
REGISTRATION PROCESS<br>
To apply for the summer school, please send summerschool-stv@cs.kuleuven.be a cover letter with your motivation and background details (500 words max), as well as your resume and a recommendation letter (PDFs only).<br>
If your application is accepted, you’ll receive instructions on how to proceed with the payment.<br>
<br>
CO-CHAIRS<br>
Prof. Dr. Coen De Roover, Vrije Universiteit Brussel, Belgium<br>
Prof. Dr. Dominique Devriese, KU Leuven, Belgium<br>
<br>
For more information:<br>
summerschool-stv@cs.kuleuven.be<br>
<a href="https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025__;!!IBzWLUs!UbDlVAmyPd7OY68RAu1cI7qiq99QHyUQbFlRrhqW06ErbVwqZNViAtf5v7VLCoAR5GFiDFIMqgTEY1lAlxQyU-KAu_JbwURzMdwqyPGmjFTRUQ$" target="_blank" id="OWAa2bc61b7-1b5f-fe54-fccf-c2d7b2589dbc" class="OWAAutoLink" title="https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025" rel="noopener noreferrer" data-linkindex="6" data-auth="NotApplicable">https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2025</a></div>
<div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>