Mechanized Network Origin and Path Authenticity Proofs.

Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig

Browse the full CCS paper archive.