CryptoDB
Invited Talk: How to Securely Implement Cryptography in Deep Neural Networks
Authors: | |
---|---|
Download: | |
Presentation: | Slides |
Honor: | Invited talk |
Abstract: | The problem is that cryptographic primitives are typically designed to run on digital computers that use Boolean gates to map sequences of bits to sequences of bits, whereas DNNs are a special type of analog computer that uses linear mappings and ReLUs to map vectors of real numbers to vectors of real numbers. In the past, this discrepancy between the discrete and continuous computational models had led to many interesting side channel attacks. In this talk I will describe a new theory of security when digital cryptographic primitives are implemented as ReLU-based DNNs. I will then show that the natural implementations of block ciphers as DNNs can be broken in linear time by using nonstandard inputs whose “bits” are real numbers. Finally, I will develop a new and completely practical method for implementing any desired cryptographic functionality as a standard ReLU-based DNN in a provably secure and correct way. |
Video: | https://youtu.be/ZEr0L92PMcE |
BibTeX
@misc{rwc-2025-35853, title={Invited Talk: How to Securely Implement Cryptography in Deep Neural Networks}, note={Video at \url{https://youtu.be/ZEr0L92PMcE}}, howpublished={Talk given at RWC 2025}, author={Adi Shamir}, year=2025 }