![](/img/cover-not-exists.png)
[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Using SMT solvers to automate design tasks for encryption and signature schemes
Akinyele, Joseph A., Green, Matthew, Hohenberger, SusanYear:
2013
Language:
english
DOI:
10.1145/2508859.2516718
File:
PDF, 733 KB
english, 2013