N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
dc.contributor.author
Weghorn, Thilo
dc.contributor.author
Liu, Si
dc.contributor.author
Sprenger, Christoph
dc.contributor.author
Perrig, Adrian
dc.contributor.author
Basin, David
dc.date.accessioned
2022-11-29T07:04:47Z
dc.date.available
2022-11-28T13:28:24Z
dc.date.available
2022-11-29T07:04:47Z
dc.date.issued
2022
dc.identifier.isbn
978-1-6654-8417-6
en_US
dc.identifier.isbn
978-1-6654-8418-3
en_US
dc.identifier.other
10.1109/csf54842.2022.9919646
en_US
dc.identifier.uri
http://hdl.handle.net/20.500.11850/583497
dc.language.iso
en
en_US
dc.publisher
IEEE
en_US
dc.title
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
en_US
dc.type
Conference Paper
dc.date.published
2022-10-31
ethz.book.title
2022 IEEE 35th Computer Security Foundations Symposium (CSF)
en_US
ethz.pages.start
147
en_US
ethz.pages.end
162
en_US
ethz.size
16 p.
en_US
ethz.event
35th IEEE Computer Security Foundations Symposium (CSF'22)
en_US
ethz.event.location
Haifa, Israel
en_US
ethz.event.date
August 7–10, 2022
en_US
ethz.notes
Conference lecture held on August 8, 2022
en_US
ethz.publication.place
Piscataway, NJ
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03975 - Perrig, Adrian / Perrig, Adrian
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03634 - Basin, David / Basin, David
en_US
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit / Institute of Information Security::03975 - Perrig, Adrian / Perrig, Adrian
ethz.date.deposited
2022-11-28T13:28:24Z
ethz.source
FORM
ethz.eth
yes
en_US
ethz.availability
Metadata only
en_US
ethz.rosetta.installDate
2022-11-29T07:04:48Z
ethz.rosetta.lastUpdated
2024-02-02T19:02:14Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=N-Tube:%20Formally%20Verified%20Secure%20Bandwidth%20Reservation%20in%20Path-Aware%20Internet%20Architectures&rft.date=2022&rft.spage=147&rft.epage=162&rft.au=Weghorn,%20Thilo&Liu,%20Si&Sprenger,%20Christoph&Perrig,%20Adrian&Basin,%20David&rft.isbn=978-1-6654-8417-6&978-1-6654-8418-3&rft.genre=proceeding&rft_id=info:doi/10.1109/csf54842.2022.9919646&rft.btitle=2022%20IEEE%2035th%20Computer%20Security%20Foundations%20Symposium%20(CSF)
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35302]