Dynamic Verifiable Encrypted Keyword Search Using Bitmap Index and Homomorphic MAC | IEEE Conference Publication | IEEE Xplore