Symbolic Universal Composability

Florian Böhl, Dominique Unruh. Symbolic Universal Composability. IACR Cryptology ePrint Archive, 2013:62, 2013. [doi]

Abstract

Abstract is missing.