CAB F 85.1
Universitätstrasse 6
8092 Zürich
Phone: +41 44 632 99 69
E-Mail: adrian.perrig@inf.ethz.ch
@inproceedings{weg2022ntube, author = {Thilo Weghorn and Si Liu and Christoph Sprenger and Adrian Perrig and David Basin}, booktitle = {Proceedings of {IEEE} Computer Security Foundations Symposium ({CSF})}, title = {{N-Tube}: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures}, year = {2022}, month = {August}, url = {/publications/papers/csf2022-paper49-final.pdf}, extended = {/publications/papers/csf2022-paper49-final-fullversion.pdf} }