Bastien Rousseau

Bastien Rousseau

Intern

Formal methods to find vulnerabilities in binary cryptographic implementations and scale to speculations of modern CPUs

bastien.rousseau_at_cea.fr