File
Automated Proof Generation and Verification for Attribute-based Cryptography
Submitted by Roopa Vishwanathan on January 7th, 2020
File
Blockchain-enabled Payment Networks
Submitted by Roopa Vishwanathan on October 21st, 2019
File
CRII: SaTC: Automated Proof Construction and Verification for Atrribute-based Cryptosystems
Submitted by Roopa Vishwanathan on October 17th, 2019
Subscribe to 1800088