Published August 17, 2025
| Version v1
Software
Open
Artifact for the paper "Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router"
Authors/Creators
-
1.
ETH Zurich
- 2. ETH-Bereich Hochschulen
Description
Artifact for the paper "Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router"
Download the file `verified-scion-ccs25-artifact.zip`, unzip it in a new folder, and follow the instructions in the file `README.md`.