Our Publications

by Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim and Yih-Chun Hu and Adrian Perrig
Reference:
Mechanized Network Origin and Path Authenticity Proofs. Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim and Yih-Chun Hu and Adrian Perrig. In Proceedings of the ACM SIGSAC Conference on Computer and Communications Security (CCS) 2014.
Bibtex Entry:
@inproceedings{ZhangJBKHP14,
    Author = {Fuyuan Zhang and Limin Jia and Cristina Basescu and Tiffany Hyun{-}Jin Kim and Yih{-}Chun Hu and Adrian Perrig},
    Booktitle = {Proceedings of the {ACM SIGSAC} Conference on Computer and Communications Security (CCS)},
    Doi = {10.1145/2660267.2660349},
    Pages = {346--357},
    Title = {Mechanized Network Origin and Path Authenticity Proofs},
    url = {/publications/papers/opt-verif.pdf},
    month = nov,
    keywords = {accountability},
    location = {Scottsdale, AZ, USA},
    Year = {2014},
}