Christoph Sprenger

E-Mails 📧

• hc.zhte.fni @regnerps

Entries

2024

The Sumcheck Protocol

by Azucena Garvia 📧, Christoph Sprenger 📧 and Jonathan Bootle 📧

Feb 02

2022

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

by Tobias Klenze 📧 and Christoph Sprenger 📧

Jun 08

2017

Developing Security Protocols by Refinement

by Christoph Sprenger 📧 and Ivano Somaini

May 24

Refining Authenticated Key Agreement with Strong Adversaries

by Joseph Lallemand 📧 and Christoph Sprenger 📧

Jan 31

2015

Consensus Refined

by Ognjen Marić and Christoph Sprenger 📧

Mar 18