Tobias Klenze

13 papers A* 2A 1Misc 1Journal 7Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A* conf
Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router.
CCS
João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
2024 J jnl
A New Broadcast Primitive for BFT Protocols.
CoRR
Manu Drijvers, Tim Gretler, Yotam Harchol, Tobias Klenze, Ognjen Maric, Stefan Neamtu, Yvonne-Anne Pignolet, Rostislav Rumenov, Daniel Sharifi, Victor Shoup
2024 J jnl
Protocols to Code: Formal Verification of a Next-Generation Internet Router.
CoRR
João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix A. Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig
2023 J jnl
IsaNet: A framework for verifying secure data plane protocols.
J. Comput. Secur.
Tobias Klenze, Christoph Sprenger, David A. Basin
2022 J jnl
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols.
Arch. Formal Proofs
Tobias Klenze, Christoph Sprenger
2021 — —
Formal Development of Secure Data Plane Protocols.
Tobias Klenze
2021 A conf
Formal Verification of Secure Forwarding Protocols.
CSF
Tobias Klenze, Christoph Sprenger, David A. Basin
2020 A* conf
EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet.
USENIX Security Symposium
Markus Legner, Tobias Klenze, Marc Wyss, Christoph Sprenger, Adrian Perrig
2020 J jnl
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification.
CoRR
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020 J jnl
Igloo: soundly linking compositional refinement and separation logic for distributed system verification.
Proc. ACM Program. Lang.
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
2020 J jnl
Internet backbones in space.
Comput. Commun. Rev.
Giacomo Giuliari, Tobias Klenze, Markus Legner, David A. Basin, Adrian Perrig, Ankit Singla
2018 Misc conf
Networking in Heaven as on Earth.
HotNets
Tobias Klenze, Giacomo Giuliari, Christos Pappas, Adrian Perrig, David A. Basin
2016 — conf
Fast, Flexible, and Minimal CTL Synthesis via SMT.
CAV (1)
Tobias Klenze, Sam Bayless, Alan J. Hu