Chosen ciphertext secure public key encryption under DDH assumption with short ciphertext