Binsec
Getting Started
Github
Releases
Docker
Related Tools
Xyntia
Rosa
Research
Hall of Fame
Jobs
Dorian Lesbre
PhD Student
Verifying programs by abstract interpretation based on an SSA translation
dorian.lesbre_at_cea.fr
https://www.normalesup.org/~dlesbre/
https://www.linkedin.com/in/dorian-lesbre-78a002122
