Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router.

Joo C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Mller, Adrian Perrig

Browse the full CCS paper archive.