๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

[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

โœ Scribed by Akinyele, Joseph A.; Green, Matthew; Hohenberger, Susan

Book ID
124067616
Publisher
ACM Press
Year
2013
Weight
733 KB
Category
Article
ISBN
1450324770

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

[ACM Press the 2013 ACM SIGSAC conferenc
[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, Susan ๐Ÿ“‚ Article ๐Ÿ“… 2013 ๐Ÿ› ACM Press ๐ŸŒ English โš– 733 KB

Cryptographic design tasks are primarily performed by hand today. Shifting more of this burden to computers could make the design process faster, more accurate and less expensive. In this work, we investigate tools for programmatically altering existing cryptographic constructions to reflect particu