| 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 | 75 | 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 | 47 | 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 | 44 | 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 | 29 | 2020 |
| Formal verification of secure forwarding protocols T Klenze, C Sprenger, D Basin 2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-16, 2021 | 12 | 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 |
| Formal Development of Secure Data Plane Protocols T Klenze ETH Zurich, 2021 | 1 | 2021 |
| IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols T Klenze, C Sprenger | | 2023 |
| IsaNet: A framework for verifying secure data plane protocols T Klenze, C Sprenger, D Basin Journal of Computer Security 31 (3), 217-259, 2023 | | 2023 |
David BasinProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
