Fast, Flexible, and Minimal CTL Synthesis via SMT. - Tobias Klenze; Sam Bayless; Alan J. Hu (CAV (1), 2016)

Networking in Heaven as on Earth. - Tobias Klenze; Giacomo Giuliari; Christos Pappas; Adrian Perrig; David A. Basin (HotNets, 2018)

EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet. - Markus Legner; Tobias Klenze; Marc Wyss; Christoph Sprenger 001; Adrian Perrig (USENIX Security Symposium, 2020)

Internet backbones in space. - Giacomo Giuliari; Tobias Klenze; Markus Legner; David A. Basin; Adrian Perrig; Ankit Singla (Comput. Commun. Rev., 2020)

Igloo: soundly linking compositional refinement and separation logic for distributed system verification. - Christoph Sprenger 001; Tobias Klenze; Marco Eilers; Felix A. Wolf; Peter Müller 001; Martin Clochard; David A. Basin (Proc. ACM Program. Lang., 2020)

Formal Verification of Secure Forwarding Protocols. - Tobias Klenze; Christoph Sprenger 001; David A. Basin (CSF, 2021)

Formal Development of Secure Data Plane Protocols. - Tobias Klenze (2021)

Formal Verification of Secure Forwarding Protocols (Artifact). - Tobias Klenze; Christoph Sprenger 001; David A. Basin (Zenodo, 2021)

IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols. - Tobias Klenze; Christoph Sprenger 001 (Arch. Formal Proofs, 2022)

IsaNet: A framework for verifying secure data plane protocols. - Tobias Klenze; Christoph Sprenger 001; David A. Basin (J. Comput. Secur., 2023)

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 001; David A. Basin; Peter Müller 001; Adrian Perrig (CoRR, 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)