BINSEC Team @ Université Paris-Saclay, CEA, List

@BinsecTool

Binary code analysis for security / Academic research (Infosec, SE, FM, AI) / Open-source tool / Applied in industry / Posts by @michaelmarcozzi and @Seb_Bardin

Paris, France

binsec.github.io

Joined September 2020

352 Following

935 Followers

Replies Reposts Media

Pinned
BINSEC Team @ Université Paris-Saclay, CEA, List
@BinsecTool
Sep 14
🚨 Postdoc opening (24 months) in software security & fuzzing! Join our @BinsecTool team @CEA_List to work on smarter fuzzing for supply‑chain security 📍 Paris‑Saclay 🇫🇷 🔗 Apply: binsec.github.io/jobs/open/2026… #Postdoc #Cybersecurity #Fuzzing #BinaryAnalysis
BINSEC Team @ Université Paris-Saclay, CEA, List
@BinsecTool
Sep 8
🔎 Can CI stop a backdoor before it lands? 💡 Our #ASE26 paper introduces Lily! It uses fuzzing to detect backdoor injections across commits/releases and pinpoint suspect code. Preprint + artifact now available ↓ 📄 binsec.github.io/assets/publica… 🧪 zenodo.org/records/213907…
BINSEC Team @ Université Paris-Saclay, CEA, List
@BinsecTool
Jan 7
2026 has only started, and BINSEC v0.11 is out ! On the menu: easier analysis initialization through core dumps for all architectures supported by the tool (previously only for x86), and a more flexible and powerful plugin API. binsec.github.io/releases/binse…
BINSEC Team @ Université Paris-Saclay, CEA, List
@BinsecTool
Sep 10, 2025
Finding bugs is nice, finding bugs that are replicable for sure is nicer. Our prototypes for robust reachability and quantitative robustness are now fully integrated in the BINSEC plugin mechanism binsec.github.io/releases/plugi…
BINSEC Team @ Université Paris-Saclay, CEA, List
@BinsecTool
May 6, 2025
📢Xyntia 0.2.0 is now available 📢 You are a reverse engineer, and you need to simplify highly obfuscated expressions (e.g., MBA)? Try Xyntia 0.2.0, the black-box deobfuscator: github.com/binsec/xyntia It includes many new features!
GitHub - binsec/xyntia: Xyntia, the black-box deobfuscator
From github.com
1