IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols by Tobias Klenze π§ and Christoph Sprenger π§ Jun 08
Refining Authenticated Key Agreement with Strong Adversaries by Joseph Lallemand π§ and Christoph Sprenger π§ Jan 31