Christoph Sprenger

The Sumcheck Protocol

by Azucena Garvia, Christoph Sprenger and Jonathan Bootle

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

by Tobias Klenze and Christoph Sprenger

Developing Security Protocols by Refinement

by Christoph Sprenger and Ivano Somaini

Refining Authenticated Key Agreement with Strong Adversaries

by Joseph Lallemand and Christoph Sprenger

Consensus Refined

by Ognjen Marić and Christoph Sprenger