Guruprasad Eswaraiah, Lalitha Muthu Subramanian, Roopa Vishwanathan. Exploring Automation in Proofs of Attribute-based Encryption in the Standard Model. In 17th International Conference on Privacy, Security and Trust, PST 2019, Fredericton, NB, Canada, August 26-28, 2019. pages 1-5, IEEE, 2019. [doi]
Abstract is missing.