Author:
Belaïd Sonia,Benhamouda Fabrice,Passelègue Alain,Prouff Emmanuel,Thillard Adrian,Vergnaud Damien
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. https://github.com/fabrice102/private_multiplication
2. Barker, E.B., Kelsey, J.M.: Sp 800–90a. recommendation for random number generation using deterministic random bit generators. Technical report, Gaithersburg, MD, USA (2012)
3. Barthe, G., Belaïd, S., Dupressoir, F., Fouque, P.A., Grégoire, B.: Compositional verification of higher-order masking: Application to a verifying masking compiler. Cryptology ePrint Archive, Report 2015/506 (2015).
http://eprint.iacr.org/2015/506
4. Lecture Notes in Computer Science;G Barthe,2015
5. Ben-Or, M., Goldwasser, S., Kilian, J., Wigderson, A.: Multi-prover interactive proofs: How to remove intractability assumptions. In: 20th ACM STOC, pp. 113–131. ACM Press, May 1988
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献