Organization name
Gemalto


Αποτελέσματα για 1-2 από 2.

Ημερομηνία ΈκδοσηςΤίτλοςΣυγγραφέαςJournal
11-Απρ-2017Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verificationAzzi, Sabine ; Barras, Bruno ; Vigilant, David ; Christofi, Maria Dolores Journal of Cryptographic Engineering 
215-Φεβ-2013Formal verification of a CRT-RSA implementation against fault attacksChristofi, Maria Dolores ; Chetali, Boutheïna ; Goubin, Louis ; Vigilant, David Journal of Cryptographic Engineering