Using SMT solvers to automate design tasks for encryption and signature schemes (Q130851639)
scientific article published on 12 November 2013
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Using SMT solvers to automate design tasks for encryption and signature schemes |
scientific article published on 12 November 2013 |
Statements
Using SMT solvers to automate design tasks for encryption and signature schemes (English)
Joseph A. Akinyele
Matthew Green
Susan Hohenberger
12 November 2013
399-410
