Universally composable security: a new paradigm for cryptographic protocols | IEEE Conference Publication | IEEE Xplore