Program Chairs
| David Déharbe | CLEARSY |
| Antti Hyvärinen | Università della Svizzera Italiana |
Program Committee
| Leonardo Alt | Ethereum Foundation |
| Haniel Barbosa | Universidade Federal de Minas Gerais |
| Nikolaj Bjørner | Microsoft Research |
| Maria Paola Bonacina | Università degli Studi di Verona |
| Martin Bromberger | Max-Planck Institut für Informatik |
| Rayna Dimitrova | CISPA Helmholtz Center for Information Security |
| Pascal Fontaine | Université de Liège |
| Stéphane Graham-Lengrand | SRI International |
| Liana Hadarean | Amazon Web Services |
| Jochen Hoenicke | University of Freiburg |
| Chantal Keller | Université Paris-Saclay |
| Igor Konnov | Informal Systems Austria |
| Matteo Marescotti | Meta Platforms, UK |
| Aina Niemetz | Stanford University |
| Elizabeth Polgreen | University of Edinburgh |
| Mathias Preiner | Stanford University |
| Andrew Reynolds | University of Iowa |
| Tanja Schindler | University of Freiburg |
| Sophie Tourret | Inria and MPI for Informatics |
| Yoni Zohar | Bar Ilan University |