Tobias Klenze

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 10

Top Topics

Formal Verification

Data Replication

Bounded Model Checking

Top Venues

Proc. ACM Program. Lang.

Comput. Commun. Rev.

Publications

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
Protocols to Code: Formal Verification of a Next-Generation Internet Router. CoRR (2024)
Tobias Klenze, Christoph Sprenger, David A. Basin
IsaNet: A framework for verifying secure data plane protocols. J. Comput. Secur. 31 (3) (2023)
Tobias Klenze, Christoph Sprenger
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols. Arch. Formal Proofs 2022 (2022)
Tobias Klenze, Christoph Sprenger, David A. Basin
Formal Verification of Secure Forwarding Protocols. CSF (2021)
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
Igloo: soundly linking compositional refinement and separation logic for distributed system verification. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Markus Legner, Tobias Klenze, Marc Wyss, Christoph Sprenger, Adrian Perrig
EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet. USENIX Security Symposium (2020)
Giacomo Giuliari, Tobias Klenze, Markus Legner, David A. Basin, Adrian Perrig, Ankit Singla
Internet backbones in space. Comput. Commun. Rev. 50 (1) (2020)
Christoph Sprenger, Tobias Klenze, Marco Eilers, Felix A. Wolf, Peter Müller, Martin Clochard, David A. Basin
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification. CoRR (2020)
Tobias Klenze, Giacomo Giuliari, Christos Pappas, Adrian Perrig, David A. Basin
Networking in Heaven as on Earth. HotNets (2018)
Tobias Klenze, Sam Bayless, Alan J. Hu
Fast, Flexible, and Minimal CTL Synthesis via SMT. CAV (1) (2016)