by Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, and David Basin
Reference:
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures. Thilo Weghorn, Si Liu, Christoph Sprenger, Adrian Perrig, and David Basin. In Proceedings of IEEE Computer Security Foundations Symposium (CSF) 2022.
Bibtex Entry:
@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}
}