Josselin Feist

15 papers A* 1A 3B 1C 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2021 C conf
Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis.
QRS
Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, Qihong Chen
2020 A conf
Echidna: effective, usable, and fast fuzzing for smart contracts.
ISSTA
Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce
2020 — conf
What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?
Financial Cryptography
Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn
2019 A* conf
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.
ASE
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
2019 J jnl
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts.
CoRR
Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
2019 J jnl
Slither: A Static Analysis Framework For Smart Contracts.
CoRR
Josselin Feist, Gustavo Grieco, Alex Groce
2019 — conf
Slither: a static analysis framework for smart contracts.
WETSEB@ICSE
Josselin Feist, Gustavo Grieco, Alex Groce
2019 J jnl
What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?
CoRR
Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn
2017 — —
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
2016 A conf
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis.
SANER
Robin David, Sébastien Bardin, Thanh Dinh Ta, Laurent Mounier, Josselin Feist, Marie-Laure Potet, Jean-Yves Marion
2016 — conf
Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free.
SSPREW@ACSAC
Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet
2016 B conf
Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information.
SEFM
Josselin Feist, Laurent Mounier, Marie-Laure Potet
2016 A conf
Specification of concretization and symbolization policies in symbolic execution.
ISSTA
Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
2016 — conf
Toward Large-Scale Vulnerability Discovery using Machine Learning.
CODASPY
Gustavo Grieco, Guillermo Luis Grinblat, Lucas C. Uzal, Sanjay Rawat, Josselin Feist, Laurent Mounier
2014 J jnl
Statically detecting use after free on binary code.
J. Comput. Virol. Hacking Tech.
Josselin Feist, Laurent Mounier, Marie-Laure Potet