Kazue Sako: Verifiable Encryption. Encyclopedia of Cryptography and Security 2005