Visible to the public Automated Proof Generation and Verification for Attribute-based Cryptography

Submitted by Roopa Vishwanathan on Tue, 01/07/2020 - 10:46am. Contributor:
License: 
Creative Commons 2.5

Other available formats:

Automated Proof Generation and Verification for Attribute-based Cryptography
Switch to experimental viewer