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)
check other similar innovations
MyPCH
MyPCH presents a standardized way to exchange health data in a privacy- respecting data flow between various stakeholders.
Persistent Storage for Goblins
Integrate ERIS content-addressable encrypted storage to Goblins
Pijul-Hybrid
Hybrid patch-based/snapshot-based system for distributed versioning
Evernym Open Sourcing Project
Open sourcing Evernym�s credential exchange platform