Publications



Results 1-1 of 1 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)
115-Feb-2013Formal verification of a CRT-RSA implementation against fault attacksChristofi, Maria Dolores ; Chetali, Boutheïna ; Goubin, Louis ; Vigilant, David