A new Design Criteria for Hash-Functions
Universally composable security: a new paradigm for cryptographic protocols