CAB F 85.1
Universitätstrasse 6
8092 Zürich
Phone: +41 44 632 99 69
E-Mail: adrian.perrig@inf.ethz.ch
@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}, }