Our Publications

by Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, Adrian Perrig
Reference:
Mechanized Network Origin and Path Authenticity Proofs  [bibtex] [doi]Fuyuan Zhang, Limin Jia, Cristina Basescu, Tiffany Hyun-Jin Kim, Yih-Chun Hu, 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 = {http://www.netsec.ethz.ch/publications/papers/opt-verif.pdf},
    month = nov,
    keywords = {accountability},
    location = {Scottsdale, AZ, USA},
    Year = {2014},
}