CRII: SaTC: Automated Proof Construction and Verification for Atrribute-based Cryptosystems

  • Applied cryptography
  • Cryptography (Theory)
  • 1800088
  • 2019
  • SaTC PI Meeting 2019
  • Poster
  • U.S. Government
  • NSF
  • Posters
Submitted by Roopa Vishwanathan on