Universal Composability is Robust Compilation

Full Paper (on arXiv)

Isabelle Development for perfect case

Isabelle Developments for computational case

Deepsec Files