Publications
Timing Games in Responsive Consensus Protocols
ACM CCS 2025
Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router
ACM Conference on CCS 2025
João Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos,
Felix Wolf, Marco Eilers, Christoph Sprenger, David Basin, Peter Müller, Adrian Perrig
