- Publications & Talks
Publications
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
