@inproceedings{ACM 25,
  author       = {Jo{\~{a}}o C. Pereira and
                  Tobias Klenze and
                  Sofia Giampietro and
                  Markus Limbeck and
                  Dionysios Spiliopoulos and
                  Felix Wolf and
                  Marco Eilers and
                  Christoph Sprenger and
                  David A. Basin and
                  Peter M{\"{u}}ller and
                  Adrian Perrig},
  editor       = {Chun{-}Ying Huang and
                  Jyh{-}Cheng Chen and
                  Shiuh{-}Pyng Shieh and
                  David Lie and
                  V{\'{e}}ronique Cortier},
  title        = {Protocols to Code: Formal Verification of a Secure Next-Generation
                  Internet Router},
  booktitle    = {Proceedings of the 2025 {ACM} {SIGSAC} Conference on Computer and
                  Communications Security, {CCS} 2025, Taipei, Taiwan, October 13-17,
                  2025},
  pages        = {1469--1483},
  publisher    = {{ACM}},
  year         = {2025},
  url          = {https://doi.org/10.1145/3719027.3765104},
  doi          = {10.1145/3719027.3765104},
  biburl       = {https://dblp.org/rec/conf/ccs/PereiraKGLSWE0B25.bib},
}