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

Joseph A. Akinyele, Matthew Green, Susan Hohenberger

Browse the full CCS paper archive.