Formal Modeling of Clock Glitch Attacks for Security Verification of Processors H/F
development of TRAITOR [1-2], an experimental platform capable of generating synchronous clock perturbations and characterizing... by combining experimental characterization of clock glitches using the TRAITOR platform, and formal verification of their impact...
Lugar: Saclay, Essonne - Paris | 13/08/2026 00:08:17 AM | Salario: S/. No Especificado | Empresa: Commissariat à l'Énergie Atomique