Subscribe to our Newsletter

Toward a Fully-Verified SCION Router

Website

Website not available yet

Formal verification of the reference open source SCION Router

ProjectID

Verified-SCION-router

Acronym

Verified-SCION-router

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)