Universally composable security: A new paradigm for cryptographic protocolsR. Canetti2001FOCS 2001Conference paper