3rd Summer School on Security Testing and Verification (ST&V 2024)

===================================================================================================

3rd Summer School on Security Testing and Verification (ST&V 2024)

9-10-11 September, Brussels, Belgium

https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2024

===================================================================================================

The Vrije Universiteit Brussel and KU Leuven are pleased to announce their 3rd Summer School on Security Testing and Verification. 

It is aimed at researchers and PhD students who are interested in the fields of:

- static and dynamic security testing 

- software verification

- automated threat modelling 

- security by design

and more.

The 3-day program is taught in English and is organised on the Vrije Universiteit Brussel campus, in Brussels (Belgium).

Participants will receive a certificate of attendance.

The following lecturers have confirmed: 

* Cas Cremers, CISPA Helmholtz Center for Information Security, https://cispa.saarland/group/cremers/index.html - Tamarin Protocol Prover

* Anders Møller, Aarhus University, https://cs.au.dk/~amoeller/ - Static Program Analysis for Software Security

* Peter Müller, ETH Zurich, https://www.pm.inf.ethz.ch/people/personal/pmueller-pers.html - Building Deductive Program Verifiers

* Sébastien Bardin, CEA Paris-Saclay, http://sebastien.bardin.free.fr/ -  Symbolic Execution for Binary-level Security

* Michele Pasqua, University of Verona, https://michelepasqua.github.io/ - Formally Prove and Empirically Disprove Program Hyperproperties

More information is available on the website:

https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2024

TUITION FEE

270€ : early bird fee, register before July 21

370€ : register as of July 21

The tuition fee includes all the classes and course materials, lunches, coffee breaks, and social dinner. 

Accommodation is not included.

REGISTRATION PROCESS

To apply for the summer school, please send [email protected] 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.

CO-CHAIRS

Prof. Dr. Coen De Roover, Vrije Universiteit Brussel, Belgium

Prof. Dr. Dominique Devriese, KU Leuven, Belgium

For more information:

[email protected] 

https://cybersecurity-research.be/summer-school-on-security-testing-and-verification-2024