[POPL Tutorials] BINSEC: Adapting Symbolic Execution for Binary-level Security Sébastien Bardin,
Frederic Recoules,
Yanis Sellami
Tutorials track of the 53rd ACM SIGPLAN Symposium on Principles of Programming Languages
Artefact
[FOSDEM] Finding backdoors with fuzzing Michaël Marcozzi,
Dimitri Kokkonis,
Stefano Zacchiroli
Free and Open Source Software Developers’ European Meeting
TalkSlides
2025
[CheckMATE @CCS'25] Xyntia: Toward Bridging The Gap Between Black-box Deobfuscation and Program Synthesis Grégoire Menguy,
Vidal Attias,
Nicolas Bellec,
Frederic Recoules,
Sébastien Bardin
CheckMATE workshop (Research on offensive and defensive techniques in the context of Man At The End attacks)
[CheckMATE @CCS'25] Improving Code Understanding by Mixing Backward Bounded Symbolic Execution with Lattice-based Property Nicolas Bellec,
Grégoire Menguy,
Frédéric Recoules,
Sébastien Bardin
CheckMATE workshop (Research on offensive and defensive techniques in the context of Man At The End attacks)
2024
[KLEE workshop] What’s Up from Below? An Overview of Recent Advances in BINSEC Frédéric Recoules,
Sebastien Bardin
4th International KLEE Workshop on Symbolic Execution
TalkSlides
2022
[KLEE workshop] Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition Grégoire Menguy,
Sebastien Bardin,
Nadjib Lazaar,
Arnaud Gotlieb
3rd International KLEE Workshop on Symbolic Execution
Slides
2021
[GAP] Getting an Academic Position in France/Belgium and at CEA List Michaël Marcozzi
'Getting Academic Positions' Interviewing Series by Manuel Rigger
Talk
[LASER @NDSS'21] Experimental Evaluation of a Binary-level Symbolic Analyzer for Spectre: Binsec/Haunted Lesly-Ann Daniel,
Sébastien Bardin,
Tamara Rezk
The Learning from Authoritative Security Experiment Results (LASER) Workshop
Slides
2020
[Black Hat USA] About Directed Fuzzing and Use-After-Free: How to Find Complex & Silent Bugs? Sébastien Bardin,
Manh-Dung Nguyen
Black Hat USA 2020
Slides
2017
[SSPREW] BINSEC: a Tutorial Sébastien Bardin,
Richard Bonichon
The 7th Software Security, Protection, and Reverse Engineering Workshop
Slides
2016
[Black Hat Europe] Code Deobfuscation : Intertwining Dynamic, Static and Symbolic Approaches Robin David,
Sébastien Bardin
Black Hat Europe 2016
TalkSlides