Security by Design: a New Internet based on Scion
Abstract:
Routing is at the heart of the Internet and has been a continual source of security problems since the Internet's expansion in the 1980s. SCION is a new approach to Internet routing, which offers security by design, with dramatically better security properties than today's Internet. We describe a major research effort at ETH Zurich, the Verified Scion Project, 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 also briefly survey the progress made in transferring this promising technology to Internet Service Providers and end users.
Biodata:
David Basin is a full professor of Computer Science at ETH Zurich. He received his Ph.D. in Computer Science from Cornell University in 1989 and his Habilitation in Computer Science from the University of Saarbrucken in 1996. From 1997-2002 he held the chair of Software Engineering at the University of Freiburg in Germany. His research areas are Information Security and Software Engineering. He is the founding director of the ZISC, the Zurich Information Security Center, which he led from 2003-2011. He served as Editor-in-Chief of the ACM Transactions on Privacy and Security (2015-2020) and of Springer-Verlag's book series on Information Security and Cryptography (2008-present). He is an IEEE Fellow and an ACM Fellow.