IsaNet: Formalization of a Verification Framework for Secure Data Plane Protocols by Tobias Klenze and Christoph Sprenger Jun 08