EasyChair Smart Slide
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures