Universally Composable Symbolic Analysis for Two-Party Protocols Based on Homomorphic Encryption.

Morten Dahl, Ivan Damgrd

Browse the full EuroCrypt paper archive.