Multirecipient Encryption Schemes: How to Save on Bandwidth and Computation Without Sacrificing Security

[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 ⚖ 733 KB

[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

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views