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`.
Files
verified-scion-ccs25-artifact.zip
Files
(4.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:4e3a356347b1c23d022630561dcba992
|
4.0 GB | Preview Download |