Christoph Sprenger
E-Mails 📧
Entries
2024
2022
IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols
by Tobias Klenze and Christoph Sprenger
2017
Refining Authenticated Key Agreement with Strong Adversaries
by Joseph Lallemand and Christoph Sprenger