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 |
| 10:30 | Erik Poll | Two decades of secure software development |
| 10:50 | Tim Willemse | Deciding Impossible Futures |
| 11:10 | break | |
| Session 2 — Chair: Hugo Jonker | ||
| 11:30 | Mohammad Reza Mousavi | (How) Do LLMs Understand High-Level Message Sequence Charts? |
| 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 |
| 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 |
| 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 |
| 15:10 | Jan Friso Groote | A Quadratic Lower Bound for Simulation |
| 15:30 | Closing | |