|
| https://binsec.github.io/ |
|
| https://binsec.github.io/#about |
|
| https://binsec.github.io/#news |
|
| https://binsec.github.io/#people |
|
| https://binsec.github.io/people/binsec.html |
|
| https://twitter.com/BinsecTool |
|
Binsec
| https://binsec.github.io |
|
Getting Started
| https://binsec.github.io/binsec-tutorial |
|
Documentation
| https://github.com/binsec/binsec/tree/master/doc |
|
Github
| https://github.com/binsec/binsec |
|
Releases
| https://binsec.github.io/releases |
|
Docker
| https://hub.docker.com/r/binsec/binsec |
|
Related Tools
| https://binsec.github.io |
|
Xyntia
| https://binsec.github.io/releases/xyntia/2025/05/05/xyntia-0.2.0 |
|
Rosa
| https://github.com/binsec/rosa |
|
Research
| https://binsec.github.io/publications |
|
Hall of Fame
| https://binsec.github.io/achievements |
|
Jobs
| https://binsec.github.io/jobs |
|
Download latest
| https://github.com/binsec/binsec/archive/master.tar.gz |
| cutting-edge research in binary code analysis | https://binsec.github.io/publications.html |
| successfully applied | https://binsec.github.io/achievements.html |
| CEA List | http://www-list.cea.fr/en/ |
| Université Paris-Saclay | https://www.universite-paris-saclay.fr/en |
| Verimag | https://www-verimag.imag.fr/?lang=en |
| LORIA | https://www.loria.fr/en/ |
| tutorials | https://github.com/binsec/binsec/tree/master/doc |
| Docker image | https://hub.docker.com/r/binsec/binsec |
| OPAM package | https://opam.ocaml.org/packages/binsec/ |
| the news | https://binsec.github.io/#news |
| contact us | https://binsec.github.io/people/binsec.html |
| POPL 2026 | https://popl26.sigplan.org/track/POPL-2026-tutorials#About |
| here | https://binsec.github.io/binsec-tutorial/ |
| Release 0.11.0 of BINSEC is out | https://binsec.github.io/releases/binsec/2026/01/06/binsec-0.11.0.html |
| Internship on uncovering backdoors in real-world software | https://binsec.github.io/jobs/closed/2025/09/30/internship-backdoor-detection.html |
| Welcome to the RSE and QRSE analysis plugin | https://binsec.github.io/releases/plugins/2025/09/02/rse-qrse.html |
| Robust Symbolic Execution | https://binsec.github.io/nutshells/cav-21.html |
| Quantitative version | https://binsec.github.io/nutshells/pldi-24-qrse.html |
| Open source release of Colorstreams is out | https://binsec.github.io/releases/colorstreams/2025/08/21/colorstreams-0.2.0.html |
| Sébastien Bardin | https://binsec.github.io/people/bardin.html |
| Matthieu Lemerre | https://binsec.github.io/people/lemerre.html |
| Michaël Marcozzi | https://binsec.github.io/people/marcozzi.html |
| Grégoire Menguy | https://binsec.github.io/people/menguy.html |
| Frédéric Recoules | https://binsec.github.io/people/recoules.html |
| Yanis Sellami | https://binsec.github.io/people/sellami.html |
| Mahmudul Faisal Al Ameen | https://binsec.github.io/people/alameen.html |
| Nicolas Bellec | https://binsec.github.io/people/bellec.html |
| Vidal Attias | https://binsec.github.io/people/attias.html |
| Aicha Boukhari | https://binsec.github.io/people/boukhari.html |
| Sarra Djebour | https://binsec.github.io/people/djebour.html |
| Alexandre Doyen | https://binsec.github.io/people/doyen.html |
| Dimitri Kokkonis | https://binsec.github.io/people/kokkonis.html |
| Guilhem Lacombe | https://binsec.github.io/people/lacombe.html |
| Dorian Lesbre | https://binsec.github.io/people/lesbre.html |
| Charles B Mamidisetti | https://binsec.github.io/people/mamidisetti.html |
| Julien Simonnet | https://binsec.github.io/people/simmonet.html |
| Andy Zalcman | https://binsec.github.io/people/zalcman.html |
| Jean-Yves Marion | https://members.loria.fr/JYMarion/ |
| Laurent Mounier | http://www-verimag.imag.fr/~mounier/ |
| Marie-Laure Potet | http://www-verimag.imag.fr/~potet/ |
| Tamara Rezk | https://www-sop.inria.fr/lemme/Tamara.Rezk/ |
| Richard Bonichon (to Nomadic Labs) | https://rbonichon.github.io/ |
| Tom Barthe (Intern) | https://binsec.github.io/people/barthe.html |
| Raounak Benabidallah (Postdoc, to Expleo Group) | https://www.linkedin.com/in/raounak-benabidallah-73707b130/ |
| Iker Martin Canut (Intern) | https://github.com/ikercanut |
| Lesly-Ann Daniel (PhD, to KU Leuven) | https://www.leslyann-daniel.fr/ |
| Robin David (PhD, to Quarkslab) | http://www.robindavid.fr/ |
| Soline Ducousso (PhD, to Systerel) | https://www.linkedin.com/in/soline-ducousso/ |
| Brahim El Aoutmani (Intern) | https://www.linkedin.com/in/brahim-el-aoutmani-a599391b8 |
| Benjamin Farinier (PhD, to TU Wien) | https://benjamin.farinier.org/ |
| Josselin Feist (PhD, to Trail of Bits) | https://www.linkedin.com/in/josselin-feist-9126a626/?locale=en_US |
| Chakib Foulani (Intern) | https://www.linkedin.com/in/chakib-foulani-bb1262175/ |
| Guillaume Girol (PhD, to Rubycat) | https://www.linkedin.com/in/guillaume-girol-b82a90127/ |
| Elouan Gros (Intern) | https://www.linkedin.com/in/elouan-gros-a3a16a1a1/ |
| Stéphane Latil (Intern) | https://www.linkedin.com/in/st%C3%A9phane-latil-7a993a176/ |
| Manh-Dung Nguyen (PhD, to Montimage) | http://strongcourage.github.io/ |
| Olivier Nicole (PhD, to Tarides) | https://otini.chnik.fr |
| Bernard Nongpoh (Postdoc, to Qualcomm) | https://binsec.github.io/people/nongpoh.html |
| Marwan Nour (Intern) | https://fr.linkedin.com/in/marwan-nour-b1614512b |
| Salwa Souaf (Postdoc, to Quarkslab) | https://fr.linkedin.com/in/salwa-souaf-03208812a |
| Daniel Uroz (Visitor) | https://binsec.github.io/people/uroz.html |
| Mathéo Vergnolle (Intern) | https://fr.linkedin.com/in/matheo-vergnolle |
| Yaëlle Vinçont (PhD, to ENS Rennes & IRISA) | http://people.irisa.fr/Yaelle.Vincont/ |
| Wei-Cheng Wu (Visitor) | https://steel.isi.edu/members/weicheng/ |
| Kevin Ziadeh (Intern) | https://www.linkedin.com/in/kevinziadeh/ |