7
2
|
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-00951386
v1
|
|
Fault attacks on two software countermeasuresTRUDEVICE 2014, May 2014, Paderborn, Germany
Communication dans un congrès
emse-00998988
v1
|
|
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-01032449
v1
|
Attaques par injection de fautes sur microcontrôleur et contre-mesures au niveau du code embarquéRencontres Crypto'Puces 2013, May 2013, Porquerolles, France
Communication dans un congrès
emse-00871661
v1
|
|
|
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⟩
Communication dans un congrès
emse-00837514
v1
|
Formal verification of a software countermeasure against instruction skip attacksPROOFS 2013, Aug 2013, Santa-Barbara, United States
Communication dans un congrès
emse-00869509
v1
|
|
Electromagnetic fault injection on microcontrollersChip-to-Cloud Security Forum 2013, Sep 2013, Nice, France
Communication dans un congrès
emse-00871686
v1
|
|
|
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-00871218
v2
|
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-00742546
v1
|