| 2021 | QRS | Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis. | Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen |
| 2020 | FC | What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)? | Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn |
| 2020 | ISSTA | Echidna: effective, usable, and fast fuzzing for smart contracts. | Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce |
| 2019 | ICSE | Slither: a static analysis framework for smart contracts. | Josselin Feist, Gustavo Grieco, Alex Groce |
| 2016 | ACSAC | Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. | Josselin Feist, Laurent Mounier, Sbastien Bardin, Robin David, Marie-Laure Potet |
| 2016 | ISSTA | Specification of concretization and symbolization policies in symbolic execution. | Robin David, Sbastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion |
| 2016 | SEFM | Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. | Josselin Feist, Laurent Mounier, Marie-Laure Potet |