Automated Proof Generation and Verification for Attribute-based Cryptography Download pdf Tags: Cryptography Applied cryptography theory 1800088 Project Slides License: CC-2.5 Submitted by Roopa Vishwanathan on Tue, 01/07/2020 - 09:46