Statically detecting use after free on binary code. - Josselin Feist; Laurent Mounier; Marie-Laure Potet (J. Comput. Virol. Hacking Tech., 2014)

Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. - Josselin Feist; Laurent Mounier; Sébastien Bardin; Robin David; Marie-Laure Potet (SSPREW@ACSAC, 2016)

Toward Large-Scale Vulnerability Discovery using Machine Learning. - Gustavo Grieco; Guillermo Luis Grinblat; Lucas C. Uzal; Sanjay Rawat 001; Josselin Feist; Laurent Mounier (CODASPY, 2016)

Specification of concretization and symbolization policies in symbolic execution. - Robin David; Sébastien Bardin; Josselin Feist; Laurent Mounier; Marie-Laure Potet; Thanh Dinh Ta; Jean-Yves Marion (ISSTA, 2016)

Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. - Josselin Feist; Laurent Mounier; Marie-Laure Potet (SEFM, 2016)

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis. - Robin David; Sébastien Bardin; Thanh Dinh Ta; Laurent Mounier; Josselin Feist; Marie-Laure Potet; Jean-Yves Marion (SANER, 2016)

Finding the needle in the heap : combining binary analysis techniques to trigger use-after-free. (Analyses de code binaire pour la détection et le déclenchement de use-after-free). - Josselin Feist (2017)

Slither: a static analysis framework for smart contracts. - Josselin Feist; Gustavo Grieco; Alex Groce (WETSEB@ICSE, 2019)

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. - Mark Mossberg; Felipe Manzano; Eric Hennenfent; Alex Groce; Gustavo Grieco; Josselin Feist; Trent Brunson; Artem Dinaburg (ASE, 2019)

What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)? - Alex Groce; Josselin Feist; Gustavo Grieco; Michael Colburn (Financial Cryptography, 2020)

Echidna: effective, usable, and fast fuzzing for smart contracts. - Gustavo Grieco; Will Song; Artur Cygan; Josselin Feist; Alex Groce (ISSTA, 2020)

Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis. - Alex Groce; Iftekhar Ahmed 001; Josselin Feist; Gustavo Grieco; Jiri Gesi; Mehran Meidani; Qihong Chen (QRS, 2021)