Exploring Automation in Proofs of Attribute-based Encryption in the Standard Model | IEEE Conference Publication | IEEE Xplore