Tobias Klenze

Identifiers

• name variant Tobias Klenze 0.60 · backfill

Papers (4)

1. Cadence: Extreme Pipelining with Multiple Concurrent Proposers cs.DC · 2026 · author #3
2. A New Broadcast Primitive for BFT Protocols cs.NI · 2024 · author #4
3. Protocols to Code: Formal Verification of a Next-Generation Internet Router cs.CR · 2024 · author #2
4. Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification cs.LO · 2020 · author #2

Mentions

• 2410.22080 #4 · arxiv_oai · confidence 0.70 Tobias Klenze
• 2405.06074 #2 · arxiv_oai · confidence 0.70 Tobias Klenze
• 2010.04749 #2 · arxiv_oai · confidence 0.70 Tobias Klenze
• 2607.02275 #3 · arxiv_oai · confidence 0.70 Tobias Klenze

Frequent Coauthors

• Christoph Sprenger 2 shared papers
• David Basin 2 shared papers
• Felix A. Wolf 2 shared papers
• Marco Eilers 2 shared papers
• Peter M\"uller 2 shared papers
• Victor Shoup 2 shared papers
• Adrian Perrig 1 shared papers
• Daniel Sharifi 1 shared papers
• Dionysios Spiliopoulos 1 shared papers
• Fatima Elsheimy 1 shared papers
• Jason Milionis 1 shared papers
• Jo\~ao C. Pereira 1 shared papers
• Jovan Komatovic 1 shared papers
• Kushal Babel 1 shared papers
• Lioba Heimbach 1 shared papers
• Manu Drijvers 1 shared papers
• Markus Limbeck 1 shared papers
• Martin Clochard 1 shared papers
• Mike Setrin 1 shared papers
• Mohammad Mussadiq Jalalzai 1 shared papers