Author:
Briais Sébastien,Danger Jean-Luc,Guilley Sylvain
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Software
Reference15 articles.
1. Bouesse, G.F., Sicard, G., Renaudin, M.: Path swapping method to improve DPA resistance of quasi delay insensitive asynchronous circuits. In: Goubin, L., Matsui, M. (eds.) CHES. Lecture Notes in Computer Science, vol. 4249, pp. 384–398. Springer, Berlin (2006)
2. Braibant, T.: Coquet: a coq library for verifying hardware. In: Jouannaud, J.-P., Shao, Z. (eds.) CPP. Lecture Notes in Computer Science, vol. 7086, pp. 330–345. Springer, Berlin (2011)
3. Chen, Z., Zhou, Y.: Dual-rail random switching logic: a countermeasure to reduce side channel leakage. In: CHES, October 10–13, Yokohama, Japan. LNCS, vol. 4249, pp. 242–254. Springer, Berlin (2006). doi: 10.1007/11894063_20
4. Common Criteria ($aka$ CC) for Information Technology Security Evaluation (ISO/IEC 15408) (2013). http://www.commoncriteriaportal.org/
5. The Coq Development Team. The Coq Proof Assistant Reference Manual Version 7.2. INRIA-Rocquencourt, December 2001. http://coq.inria.fr/doc-eng.html
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献