Cryptology ePrint Archive: Report 2013/062

Available versions in chronological order

20130212:094214 (posted 12-Feb-2013 09:42:14 UTC): Symbolic Universal Composability; Florian Böhl and Dominique Unruh
20130813:164112 (posted 13-Aug-2013 16:41:12 UTC): Symbolic Universal Composability; Florian Böhl and Dominique Unruh

[ Cryptology ePrint archive ]