<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="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
===================================================================================================<br>
3rd Summer School on Security Testing and Verification (ST&V 2024)<br>
9-10-11 September, Brussels, Belgium<br>
<a href="https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2024__;!!IBzWLUs!Qli77yXnI-kJ1Iq0NJhrJmdCqqu9-5XQIS4aaMzoXLJICT_J2ecw_bJinfO3nmMdYi9KNXcKROZiXFNHwxOFxvnZOuQgOpwHiKaZuJMnSUrRpw$" target="_blank" id="OWA6d7fd062-9db7-07b5-0661-3c5498d0613b" class="x_x_OWAAutoLink" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="0">https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2024</a><br>
===================================================================================================<br>
<br>
The Vrije Universiteit Brussel and KU Leuven are pleased to announce their 3rd 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>
- static and dynamic security testing<br>
- software verification<br>
- automated threat modelling<br>
- security by design<br>
and more.<br>
<br>
The 3-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:<br>
* Cas Cremers, CISPA Helmholtz Center for Information Security, <a href="https://urldefense.com/v3/__https://cispa.saarland/group/cremers/index.html__;!!IBzWLUs!Qli77yXnI-kJ1Iq0NJhrJmdCqqu9-5XQIS4aaMzoXLJICT_J2ecw_bJinfO3nmMdYi9KNXcKROZiXFNHwxOFxvnZOuQgOpwHiKaZuJP1pAdStA$" target="_blank" id="OWAd3047dc9-68c6-f623-3467-0c23d74a86fb" class="x_x_OWAAutoLink" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="1">
https://cispa.saarland/group/cremers/index.html</a> - Tamarin Protocol Prover<br>
* Anders Møller, Aarhus University, <a href="https://urldefense.com/v3/__https://cs.au.dk/*amoeller/__;fg!!IBzWLUs!Qli77yXnI-kJ1Iq0NJhrJmdCqqu9-5XQIS4aaMzoXLJICT_J2ecw_bJinfO3nmMdYi9KNXcKROZiXFNHwxOFxvnZOuQgOpwHiKaZuJOxsmNzLw$" target="_blank" id="OWA022fe16f-3754-963a-cd79-729fbbcd0479" class="x_x_OWAAutoLink" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="2">
https://cs.au.dk/~amoeller/</a> - Static Program Analysis for Software Security<br>
* Peter Müller, ETH Zurich, <a href="https://urldefense.com/v3/__https://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html__;!!IBzWLUs!Qli77yXnI-kJ1Iq0NJhrJmdCqqu9-5XQIS4aaMzoXLJICT_J2ecw_bJinfO3nmMdYi9KNXcKROZiXFNHwxOFxvnZOuQgOpwHiKaZuJOcsQz8_A$" target="_blank" id="OWAd6d82520-866d-8be4-9e39-e9679094b401" class="x_x_OWAAutoLink" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="3">
https://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html</a> - Building Deductive Program Verifiers<br>
* Sébastien Bardin, CEA Paris-Saclay, <a href="https://urldefense.com/v3/__http://sebastien.bardin.free.fr/__;!!IBzWLUs!Qli77yXnI-kJ1Iq0NJhrJmdCqqu9-5XQIS4aaMzoXLJICT_J2ecw_bJinfO3nmMdYi9KNXcKROZiXFNHwxOFxvnZOuQgOpwHiKaZuJOgc7Yf7w$" target="_blank" id="OWA97ab3cc7-121e-ff4a-9dae-a6f691cb70ef" class="x_x_OWAAutoLink" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="4">
http://sebastien.bardin.free.fr/</a> - Symbolic Execution for Binary-level Security<br>
* Michele Pasqua, University of Verona, <a href="https://urldefense.com/v3/__https://michelepasqua.github.io/__;!!IBzWLUs!Qli77yXnI-kJ1Iq0NJhrJmdCqqu9-5XQIS4aaMzoXLJICT_J2ecw_bJinfO3nmMdYi9KNXcKROZiXFNHwxOFxvnZOuQgOpwHiKaZuJO2yP239Q$" target="_blank" id="OWA3efe5fc7-0f78-b689-5be8-96697d9f4e89" class="x_x_OWAAutoLink" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="5">
https://michelepasqua.github.io/</a> - Formally Prove and Empirically Disprove Program Hyperproperties<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-2024__;!!IBzWLUs!Qli77yXnI-kJ1Iq0NJhrJmdCqqu9-5XQIS4aaMzoXLJICT_J2ecw_bJinfO3nmMdYi9KNXcKROZiXFNHwxOFxvnZOuQgOpwHiKaZuJMnSUrRpw$" target="_blank" id="OWA4e0f7cab-35b2-833a-5ddf-2f305248bef6" class="x_x_OWAAutoLink" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="6">https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2024</a><br>
<br>
TUITION FEE<br>
270€ : early bird fee, register before July 21<br>
370€ : register as of July 21<br>
<br>
The tuition fee includes all the classes and course materials, lunches, coffee breaks, and social dinner.<br>
Accommodation is not included.<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</div>
<div style="direction: ltr; font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);" class="elementToProof">
<a href="https://urldefense.com/v3/__https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2024__;!!IBzWLUs!Qli77yXnI-kJ1Iq0NJhrJmdCqqu9-5XQIS4aaMzoXLJICT_J2ecw_bJinfO3nmMdYi9KNXcKROZiXFNHwxOFxvnZOuQgOpwHiKaZuJMnSUrRpw$" target="_blank" id="OWA18dda28e-402b-a046-929c-79acbba83ca3" class="x_x_OWAAutoLink" rel="noopener noreferrer" data-auth="NotApplicable" data-linkindex="7">https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2024</a></div>
</body>
</html>