Non-interactive zero-knowledge arguments for voting
Universally composable security: a new paradigm for cryptographic protocols