CRII- SaTC- Automated Proof Construction and Verification for Attribute-based Cryptography Download pdf Tags: 1566297 SaTC Pi Meeting 2017 Project Slides License: CC-2.5 Submitted by Roopa Vishwanathan on Tue, 12/13/2016 - 15:01