Tobias Klenze
- Internet backbones in space
2020/03/23 by Giacomo Giuliari, Tobias Klenze, Markus Legner +3 · 1 citation
Engineering · Computer Science · #Satellite Communication Systems #Opportunistic and Delay-Tolerant Networks #Mobile Ad Hoc Networks
- MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
2025/02/28 by Mohammad Mussadiq Jalalzai, Jalalzai, Mohammad Mussadiq, Kushal Babel +15 · 2 citations
Computer Science · #Distributed systems and fault tolerance #Blockchain Technology Applications and Security #Software System Performance and Reliability
- Protocols to Code: Formal Verification of a Next-Generation Internet Router
2024/05/09 by João C. Pereira, Pereira, João C., Tobias Klenze +19 · 1 citation
Computer Science · Engineering · #Advanced Authentication Protocols Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification #IPv6, Mobility, Handover, Networks, Security #Networking and Internet Architecture (cs.NI) #Programming Languages (cs.PL)