CRII: SaTC: Automated Proof Construction and Verification for Atrribute-based Cryptosystems Download pdf Tags: Applied cryptography Cryptography (Theory) 1800088 2019 SaTC PI Meeting 2019 Poster U.S. Government NSF Posters License: CC-2.5 Submitted by Roopa Vishwanathan on Thu, 10/17/2019 - 13:32