Binsec
Getting Started
Github
Releases
Docker
Related Tools
Xyntia
Research
Hall of Fame
Jobs
Bastien Rousseau
Intern
Formal methods to find vulnerabilities in binary cryptographic implementations and scale to speculations of modern CPUs
bastien.rousseau_at_cea.fr