Toward a Fully-Verified SCION Router II
Align router code with formal verification tooling
ProjectID
SCION-router-codealignment
Acronym
SCION-router-codealignment
Additional Info
Not available yet
Enduser Relevance
Not available yet
Contact
https://nlnet.nl/contact/
Endorsements
Not available yet
Disclaimer
Not available yet
Country: Switzerland
NGI Project: NGI zero core
Status: Early research demo
Category: Network infrastructure (including routing, peer-to-peer and virtual private networking)
