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)
check other similar innovations
Impact of Encryption VPN on LTE/5G Radio & UE Resources
The purpose of this experiment is obtaining up-to-date data on the impact of VPN encryption both on the network and...
LIBreDa – Libre Electronic Design Automation.
LibrEDA is a libre software-framework for the physical design of silicon chips, This project wants to bring them to a...
LO/CODE Book project
Professional typography inside LibreOffice
Omnom
Add social layer to personal bookmarking
