Universal Composability is Robust Compilation

Full Paper (on arXiv)

Paper [.pdf]

Isabelle Development for perfect case

Isabelle Developments for computational case

Deepsec Files

Deepsec files (Full paper) [.zip]
Baby-Wireguard, Wireguard's payload protocol in the perfect model, written by Julian Maurer
- with Wrapper [.dps]
- without Wrapper [.dps]