Loria Colloquium will start on the 15th of September with David Basin
13 July 2017
We are glad to welcome David Basin, professeur at ETH Zurich and head of “Information Security Group” with a talk entitled “Verified Secure Routing: The Verified Scion Project”.
Routing is at the heart of the Internet and has been a continual source of security problems since its expansion in the 1980s. SCION is a new approach to the Internet, which offers dramatically better security properties than we currently have. We describe a collaborative effort, the Verified Scion Project, at ETH Zurich that aims to verify Scion, going the full distance from high-level network-wide properties down to the code running on SCION routers. We will explain the issues involved, the approach we take, the progress we have made, and perspectives for the future.
The work reported on is joint work between three groups at ETH Zurich: my Information Security Group, the Network Security Group of Adrian Perrig, and the Programming Methodology Group of Peter Mueller.
Thank you to register if you are not a Loria member : write to Olivia Brenner.