David Hausheer

Resilient Networks and Services: Second International Conference on Autonomous Infrastructure, Management and Security, AIMS 2008 Bremen, Germany, July 1-3, 2008, Proceedings

The Complete Guide to SCION: From Design Principles to Formal Verification