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.
