Symposium on Formal Methods for Security, Privacy, and Trust 2026
Venue: Université de Luxembourg - Belval Campus - Maison des Sciences Humaines - Blackbox (ground floor)
Date: April 10th, 2026
| 10:00 | Opening | |
| Session 1 — Chair: Barbara Fila | ||
| 10:10 | Jos Baeten | The queue automaton revisited [slides] |
| 10:30 | Erik Poll | Two decades of secure software development [slides] |
| 10:50 | Tim Willemse | Deciding Impossible Futures [slides] |
| 11:10 | break | |
| Session 2 — Chair: Hugo Jonker | ||
| 11:30 | Mohammad Reza Mousavi | (How) Do LLMs Understand High-Level Message Sequence Charts? [slides] |
| 11:50 | Felix Stutz | Improving Trust in Legal Automation: an Intelligible Approach for Consumer Complaints |
| 12:10 | Olga Gadyatskaya & Francien Dechesne | Ethics in Computer Science Research [slides] |
| 12:30 | lunch break | |
| Session 3 — Chair: Felix Stutz | ||
| 13:30 | Cas Cremers | A Formal Treatment of the Limits of Authenticated Key Exchange Security |
| 13:50 | Bart Jacobs | Encrypted and signed file transfer with PostGuard [slides] |
| 14:10 | Rolando Trujillo Rasua | Symbolic Security Proofs and Sanity Checks of Quantum Protocols in Tamarin |
| 14:30 | break | |
| Session 4 — Chair: Sasa Radomirovic | ||
| 14:50 | Tim Muller | Unfairly Efficient Byzantine-Fault Tolerant Random Number Generation [slides] |
| 15:10 | Jan Friso Groote | A Quadratic Lower Bound for Simulation [slides] |
| 15:30 | Closing | |
Free online access to Festschrift (until end of May)