Visible to the public CRII- SaTC- Automated Proof Construction and Verification for Attribute-based Cryptography

Submitted by Roopa Vishwanathan on Tue, 12/13/2016 - 5:01pm. Contributor:
License: 
Creative Commons 2.5

Other available formats:

CRII- SaTC- Automated Proof Construction and Verification for Attribute-based Cryptography
Switch to experimental viewer