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