Catch you if you lie to me: Efficient verifiable conjunctive keyword search over large dynamic encrypted cloud data
Universally composable security: a new paradigm for cryptographic protocols