Rational Protocol Design: Cryptography against Incentive-Driven Adversaries
Universally composable security: a new paradigm for cryptographic protocols