by João Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix Wolf, Marco Eilers, Christoph Sprenger, David Basin, Peter Müller, and Adrian Perrig
Reference:
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, and Adrian Perrig. In Proceedings of the ACM Conference on Computer and Communications Security (CCS) 2025.
Bibtex Entry:
@InProceedings{SCION-router-verif-CCS2025,
author={João Pereira and Tobias Klenze and Sofia Giampietro and Markus Limbeck and Dionysios Spiliopoulos and Felix Wolf and Marco Eilers and Christoph Sprenger and David Basin and Peter Müller and Adrian Perrig},
title={Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router},
booktitle={Proceedings of the ACM Conference on Computer and Communications Security (CCS)},
doi = {10.1145/3719027.3765104},
year={2025},
url={/publications/papers/SCIgloo-CCS2025.pdf},
}