1 parallel-computing-numerical-methods positions at CEA in France

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

CEA | Tournon sur Rhone, Rhone Alpes | France | 26 days ago

, numerical systems designs. The project builds on complementary developments from both teams: TRAITOR for experimental fault injection and µArchiFI for formal securi Applicants should hold a PhD in computer