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

Status: Early research demo

Category: Network infrastructure (including routing, peer-to-peer and virtual private networking)

check other similar innovations
Skip to content