Tobias Klenze

According to our database, Tobias Klenze authored at least 14 papers between 2016 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Artifact for the paper "Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router".

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

Dataset, August, 2025

Protocols to Code: Formal Verification of a Secure Next-Generation Internet Router.

João C. Pereira, Tobias Klenze, Sofia Giampietro, Markus Limbeck, Dionysios Spiliopoulos, Felix Wolf, Marco Eilers, Christoph Sprenger, David A. Basin, Peter Müller, Adrian Perrig

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, 2025

2024

A New Broadcast Primitive for BFT Protocols.

Manu Drijvers, Tim Gretler, Yotam Harchol, Tobias Klenze, Ognjen Maric, Stefan Neamtu, Yvonne-Anne Pignolet, Rostislav Rumenov, Daniel Sharifi, Victor Shoup

CoRR, 2024

Protocols to Code: Formal Verification of a Next-Generation Internet Router.

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

CoRR, 2024

2023

IsaNet: A framework for verifying secure data plane protocols.

Tobias Klenze, Christoph Sprenger, David A. Basin

J. Comput. Secur., 2023

2022

IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols.

Tobias Klenze, Christoph Sprenger

Arch. Formal Proofs, 2022

2021

Formal Verification of Secure Forwarding Protocols (Artifact).

Tobias Klenze, Christoph Sprenger, David A. Basin

Dataset, February, 2021

Formal Development of Secure Data Plane Protocols.

Tobias Klenze

PhD thesis, 2021

Formal Verification of Secure Forwarding Protocols.

Tobias Klenze, Christoph Sprenger, David A. Basin

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

2020

Igloo: soundly linking compositional refinement and separation logic for distributed system verification.

Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin

Proc. ACM Program. Lang., 2020

Internet backbones in space.

Giacomo Giuliari, Tobias Klenze, Markus Legner, David A. Basin, Adrian Perrig, Ankit Singla

Comput. Commun. Rev., 2020

EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet.

Markus Legner, Tobias Klenze, Marc Wyss, Christoph Sprenger, Adrian Perrig

Proceedings of the 29th USENIX Security Symposium, 2020

2018

Networking in Heaven as on Earth.

Tobias Klenze, Giacomo Giuliari, Christos Pappas, Adrian Perrig, David A. Basin

Proceedings of the 17th ACM Workshop on Hot Topics in Networks, 2018

2016

Fast, Flexible, and Minimal CTL Synthesis via SMT.

Tobias Klenze, Sam Bayless, Alan J. Hu

Proceedings of the Computer Aided Verification - 28th International Conference, 2016