Login / Signup

Machine-generated algorithms, proofs and software for the batch verification of digital signature schemes.

Joseph A. AkinyeleMatthew GreenSusan HohenbergerMatthew W. Pagano
Published in: CCS (2012)
Keyphrases
  • data structure
  • feature selection
  • software engineering
  • low cost
  • software development
  • model checking