Binsec
Getting Started
Documentation
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
