## 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