Verifiable Predicate-based Access Control Encryption with Dynamic Revocation | IEEE Conference Publication | IEEE Xplore