Internet backbones in space G Giuliari, T Klenze, M Legner, D Basin, A Perrig, A Singla ACM SIGCOMM Computer Communication Review 50 (1), 25-37, 2020 | 78 | 2020 |
EPIC: Every Packet Is Checked in the Data Plane of a Path-Aware Internet M Legner, T Klenze, M Wyss, C Sprenger, A Perrig 29th USENIX Security Symposium (USENIX Security 20), 541-558, 2020 | 49 | 2020 |
Networking in heaven as on earth T Klenze, G Giuliari, C Pappas, A Perrig, D Basin Proceedings of the 17th ACM Workshop on Hot Topics in Networks, 22-28, 2018 | 45 | 2018 |
Igloo: Soundly linking compositional refinement and separation logic for distributed system verification C Sprenger, T Klenze, M Eilers, FA Wolf, P Müller, M Clochard, D Basin Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 30 | 2020 |
Formal verification of secure forwarding protocols T Klenze, C Sprenger, D Basin 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021 | 13 | 2021 |
Fast, flexible, and minimal CTL synthesis via SMT T Klenze, S Bayless, AJ Hu Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016 | 12 | 2016 |
IsaNet: A framework for verifying secure data plane protocols T Klenze, C Sprenger, D Basin Journal of Computer Security 31 (3), 217-259, 2023 | 1 | 2023 |
Formal Development of Secure Data Plane Protocols T Klenze ETH Zurich, 2021 | 1 | 2021 |
Protocols to Code: Formal Verification of a Next-Generation Internet Router JC Pereira, T Klenze, S Giampietro, M Limbeck, D Spiliopoulos, FA Wolf, ... arXiv e-prints, arXiv: 2405.06074, 2024 | | 2024 |
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols T Klenze, C Sprenger | | 2023 |