-
Electromagnetic glitch on the AES round counter
International audience -
Formal verification of a software countermeasure against instruction skip att...
16 pages. Please contact the authors to get the pre-proceedings version. -
Formal verification of a software countermeasure against instruction skip att...
International audience -
Embedded and secure traceability : autonomous authentication of objects and o...
"Human-to-Machine" authentication is widely developed for modern telecommunications. A "Machine-to-Human" authentication will ensure the trusted human user about the... -
Design of safety-related architectures based on asic and microprocessors
L'INERIS et le BIA collaborent dans un projet européen sur la conception et la validation de technologies innovantes tels que l'utilisation des ASIC pour les parties... -
Fault attacks on two software countermeasures
Short version of the article "Experimental evaluation of two software countermeasures against fault attacks" presented at the 2014 IEEE Symposium on Hardware-Oriented Security...
