Gemalto

View Statistics Email Alert RSS Feed

Organization name

Gemalto

Results 1-2 of 2 (Search time: 0.0 seconds).

Refman EndNote Bibtex RefWorks Send via email

		Issue Date	Title	Author(s)	Journal
	1	1-Apr-2017	Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verification	Azzi, Sabine ; Barras, Bruno ; Vigilant, David ; Christofi, Maria Dolores	Journal of Cryptographic Engineering
	2	15-Feb-2013	Formal verification of a CRT-RSA implementation against fault attacks	Christofi, Maria Dolores ; Chetali, Boutheïna ; Goubin, Louis ; Vigilant, David	Journal of Cryptographic Engineering