1 inria positions at CEA

Formal Modeling of Clock Glitch Attacks for Security Verification of Processors H/F

CEA | Tournon sur Rhone, Rhone Alpes | France | about 1 month ago

to their low-cost implementation. Recent research at Inria Rennes led to the development of TRAITOR [1-2], an experimental platform capable of generating synchronous clock perturbations and characterizing