Nicolas Moro
Présentation
Publications
Publications
|
|
Formal verification of a software countermeasure against instruction skip attacksJournal of Cryptographic Engineering, 2014, 4 (3), pp.145-156. ⟨10.1007/s13389-014-0077-7⟩ |
|
|
Fault attacks on two software countermeasuresTRUDEVICE 2014, May 2014, Paderborn, Germany |
|
|
Experimental evaluation of two software countermeasures against fault attacks2014 IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), May 2014, Arlington, United States. pp.112-117, ⟨10.1109/HST.2014.6855580⟩ |
|
|
Electromagnetic glitch on the AES round counterFourth International Workshop on Constructive Side-Channel Analysis and Secure Design - COSADE'2013, Mar 2013, Paris, France. pp 17-31, ⟨10.1007/978-3-642-40026-1⟩ |
Attaques par injection de fautes sur microcontrôleur et contre-mesures au niveau du code embarquéRencontres Crypto'Puces 2013, May 2013, Porquerolles, France |
|
Formal verification of a software countermeasure against instruction skip attacksPROOFS 2013, Aug 2013, Santa-Barbara, United States |
|
Electromagnetic fault injection on microcontrollersChip-to-Cloud Security Forum 2013, Sep 2013, Nice, France |
|
|
|
Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller10th workshop on Fault Diagnosis and Tolerance in Cryptography - FDTC 2013, Aug 2013, Santa-Barbara, United States. pp.77-88, ⟨10.1109/FDTC.2013.9⟩ |
Un formalisme commun aux attaques par canaux auxiliaires et par injection de fautesColloque National GDR SOC-SIP 2012, Jun 2012, Paris, France |