Universal Composability is Robust Compilation
Full Paper (on arXiv)
Paper [.pdf]
Isabelle Development for perfect case
Isabelle html rendering [.html]
Isabelle theorem file [.thy]
Isabelle Developments for computational case
Isabelle html rendering [.html]
Isabelle theorem file [.zip]
Deepsec Files
Deepsec files [.zip]