A secure underlay for the internet
Network infrastructure (including routing, peer-to-peer and virtual private networking)
Networking stack for building local and wide-area networks even with extremely low bandwidth
Formal verification of the reference open source SCION Router