NGI Navigator (Prototype)

Verified SCION Router

Open Source

A formally verified implementation of the SCION Router, an open-source software for secure and scalable internet routing, with mathematical proofs of correctness.

🌐 Website www.pm.inf.ethz.ch/research/verifieds...

Product Information

Categories
Network Infrastructure

Linked NGI Projects

This product was created or improved through NGI-funded projects

Toward a Fully-Verified SCION Router ngi zero core

Formal verification of the reference open source SCION Router

Often Used Together

Products commonly used alongside Verified SCION Router

Pimalaya OSS Sniffnet OSS VulnerableCode OSS Holo Routing OSS Krill OSS F-Droid OSS

Similar Products

Other products in related categories

heads

A minimal Linux that runs as a coreboot or LinuxBoot ROM payload to provide a secure, flexible boot ...

OSS active
c-toxcore

The future of online communications.

OSS active
OpenAirInterface

Open-source reference implementation of 5G that is standard-compliant with 3GPP Release 15, used for...

OSS
6TiSCH Open Data Action

A zero-configuration IPv6-enabled solution for industrial monitoring and control, smart building, ho...

Community Discussion 3 comments

TH
Thomas Hansen 3 days ago

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Praesent commodo cursus magna, vel scelerisque nisl consectetur et.

LM
Laura Martin 1 week ago

Nullam quis risus eget urna mollis ornare vel eu leo. Cras mattis consectetur purus sit amet fermentum.

PG
Paolo Gianetti 2 weeks ago

Maecenas sed diam eget risus varius blandit sit amet non magna. Integer posuere erat a ante venenatis dapibus posuere velit aliquet.

Discovery info: llm_confidence=high; The project focuses on formal verification of the existing SCION Router reference implementation, indicating a concrete software product with enhanced security guarantees through verification techniques. Last checked: 2026-02-10