Provably Secure Anonymous Multi-receiver Identity-Based Encryption with Shorter Ciphertext | IEEE Conference Publication | IEEE Xplore