Tobias Klenze

IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols

by Tobias Klenze 📧 and Christoph Sprenger 📧