2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.CR2024
Protocols to Code: Formal Verification of a Next-Generation Internet Router
João C. Pereira, Tobias Klenze, Sofia Giampietro +8
We present the first formally-verified Internet router, which is part of the SCION Internet architecture. SCION routers run a cryptographic protocol for secure packet forwarding in…
cs.CR2022★ 2 cited
Sound Verification of Security Protocols: From Design to Interoperable Implementations (extended version)
Linard Arquint, Felix A. Wolf, Joseph Lallemand +5
We provide a framework consisting of tools and metatheorems for the end-to-end verification of security protocols, which bridges the gap between automated protocol verification and…