Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig. Mechanized Network Origin and Path Authenticity Proofs. In Gail-Joon Ahn, Moti Yung, Ninghui Li, editors, Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, Scottsdale, AZ, USA, November 3-7, 2014. pages 346-357, ACM, 2014. [doi]
Abstract is missing.