... verification, enabling rigorous evaluation of hardware/software countermeasures. The postdoctoral researcher will contribute to the following tasks: - Formal modeling of clock glitch effects. Develop a discrete fault model suitable for formal verification, based on the Energy Threshold Fault Model (ETFM) and experimental ...
Grenoble, France