Cryptology ePrint Archive: Report 2013/296
Available versions in chronological order
20130525:133304 (posted 25-May-2013 13:33:04 UTC)
Universally Composable Symbolic Analysis for Two-Party Protocols based on Homomorphic Encryption
Morten Dahl and Ivan Damgård
[
Cryptology ePrint archive
]