Christofi, Maria Dolores (rp06467)

Publications

Refined By:
Publisher:  Springer Nature

Results 1-3 of 3 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)
11-Jun-2020Enhancing accessibility in cultural heritage environments: considerations for social computingKosma, Panagiotis ; Galanakis, George ; Constantinou, Vaso ; Drossis, Giannis ; Christofi, Maria Dolores ; Klironomos, Iosif ; Zaphiris, Panayiotis ; Antona, Margherita ; Stephanidis, Constantine 
21-Apr-2017Using linear codes as a fault countermeasure for nonlinear operations: application to AES and formal verificationAzzi, Sabine ; Barras, Bruno ; Vigilant, David ; Christofi, Maria Dolores 
315-Feb-2013Formal verification of a CRT-RSA implementation against fault attacksChristofi, Maria Dolores ; Chetali, Boutheïna ; Goubin, Louis ; Vigilant, David