Full-Stack Verification of Secure Inter-Domain Routing Protocols
Current Members
- David Basin
- Christoph Sprenger
- Ralf Sasse
- Tobias Klenze
- Si Liu
- Shabnam Ghasemirad
- Sofia Giampietro
Overview
In this project, we aim to verify the protocol and implementation of the secure Internet architecture SCION. This project is a collaboration between different groups. All information, including a list of publications, can be accessed via our ZISC website:
Full-Stack Verification of Secure Inter-Domain Routing Protocols