Jobs and Internships

Jobs and internships

[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.