- 6
- 1
Nicolas Moro
7
Documents
Identifiants chercheurs
- nicolasmoro
- IdRef : 185199259
Présentation
Publications
- 7
- 7
- 6
- 3
- 1
- 1
- 1
- 5
- 4
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
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⟩
Article dans une revue
emse-00951386v1
|
|
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⟩
Communication dans un congrès
emse-01032449v1
|
|
Fault attacks on two software countermeasuresTRUDEVICE 2014, May 2014, Paderborn, Germany
Communication dans un congrès
emse-00998988v1
|
|
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⟩
Communication dans un congrès
emse-00871218v2
|
Electromagnetic fault injection on microcontrollersChip-to-Cloud Security Forum 2013, Sep 2013, Nice, France
Communication dans un congrès
emse-00871686v1
|
|
Formal verification of a software countermeasure against instruction skip attacksPROOFS 2013, Aug 2013, Santa-Barbara, United States
Communication dans un congrès
emse-00869509v1
|
Un formalisme commun aux attaques par canaux auxiliaires et par injection de fautesColloque National GDR SOC-SIP 2012, Jun 2012, Paris, France
Poster de conférence
emse-00742546v1
|