Protocols to Code: Formal Verification of a Next-Generation Internet Router. - João C. Pereira; Tobias Klenze; Sofia Giampietro; Markus Limbeck; Dionysios Spiliopoulos; Felix A. Wolf; Marco Eilers; Christoph Sprenger 001; David A. Basin; Peter Müller 001; Adrian Perrig (CoRR, 2024)

Accelerating Automated Program Verifiers by Automatic Proof Localization. - Kiran Gopinathan; Dionysios Spiliopoulos; Vikram Goyal; Peter Müller 001; Markus Püschel; Ilya Sergey (CAV (3), 2025)