Exploring Automation in Proofs of Attribute-based Encryption in the Standard Model.

Guruprasad Eswaraiah, Lalitha Muthu Subramanian, Roopa Vishwanathan

Browse the full PST paper archive.