Login / Signup

Using SMT solvers to automate design tasks for encryption and signature schemes.

Joseph A. AkinyeleMatthew GreenSusan Hohenberger
Published in: CCS (2013)
Keyphrases
  • signature scheme
  • database systems
  • dimensionality reduction
  • standard model