Mechanized Network Origin and Path Authenticity Proofs presented at CCS 2014

by Adrian Perrig, Tiffany Hyun-Jin Kim, Limin Jia, Soo bum Lee, Fuyuan Zhang, Cristina Basescu, Yih-chun Hu,

Summary : N/A