Verified Scion

Verified Secure Routing with verified Scion will demonstrate the feasibility of developing an NGI that is provably secure by formally verifying strong security properties of the SCION inter-domain routing architecture.

ProjectID

NGI-POINTER-PROJECT-9

Acronym

POINTER-ARCH9

Additional Info

https://www.pm.inf.ethz.ch/

Enduser Relevance

The Next Generation Internet needs to offer a high degree of security to enable trustworthy communication dESite omnipresent adversaries.

Contact

hitz@anapaya.net

Endorsements

Not available yet

Disclaimer

We will formalize SCION’s security guarantees and verify that the protocol main.

Country:  Switzerland

NGI Project:  NGI pointer

Status: Operational technology (practical and/or commercial viability)

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