Accueil > Axes > PACS > Emplois et stages > Emplois et stages
Emplois et stages
Emplois et stages
Masters
- [master] automatic insertion of countermeasures in a verified compiler
Counter-measures against hardware control-flow attacks, speculative execution attacks, or side channel attacks are notoriously difficult to insert at the source level. The topic of this internship is to inject them at compile-time.
- [M2 Internship] Leakage in presence of an active and adaptive adversary
- [M2R Internship] Patch analysis of IIoT components
- [M2 Internship] Security counter-measures in a certified optimizing compiler
- [M2R Internship] Analyse et Evaluation d’implémentations sécurisées robustes à l’injection de fautes
