ACM Computer and Communications Security, CCS 2014


Article Details
Title: Mechanized Network Origin and Path Authenticity Proofs
Article URLs:
Alternative Article URLs:
Authors: Fuyuan Zhang
  • Carnegie Mellon University, CyLab
Limin Jia
  • Carnegie Mellon University, ECE
  • Carnegie Mellon University, INI
Cristina Basescu
  • ETH Zürich
Tiffany Hyun-Jin Kim
  • Carnegie Mellon University, CyLab
Yih-Chun Hu
  • UIUC
Adrian Perrig
  • Carnegie Mellon University, CyLab
  • ETH Zürich
Sharing: Unknown
Verification: Authors have not verified information
Artifact Evaluation Badge: none
Artifact URLs:
Artifact Correspondence Email Addresses:
NSF Award Numbers: 1040801, 1115706, 1018061
DBLP Key: conf/ccs/ZhangJBKHP14
Author Comments:

Discuss this paper and its artifacts below