Tobias Klenze
Orcid: 0000-0002-6505-3942
According to our database1,
Tobias Klenze
authored at least 12 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
J. Comput. Secur., 2023
2022
Arch. Formal Proofs, 2022
2021
Dataset, February, 2021
Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021
2020
Igloo: soundly linking compositional refinement and separation logic for distributed system verification.
Proc. ACM Program. Lang., 2020
Proceedings of the 29th USENIX Security Symposium, 2020
2018
Proceedings of the 17th ACM Workshop on Hot Topics in Networks, 2018
2016
Proceedings of the Computer Aided Verification - 28th International Conference, 2016