NGI Pointer - Verified Secure Routing with SCION

VerifiedSCION logo

This research project is part of the larger verifiedSCION effort, which aims at verifying the routing protocol SCION from the high-level design all the way down to the implementation. This NGI Pointer project will target packet forwarding in SCION. It is a collaboration between ETH Zurich and external pageAnapaya Systems, an ETH spin-off that commercializes SCION. At ETH, it involves the Network Security Group, the Information Security Group, and the Programming Methodology Group.

JavaScript has been disabled in your browser