Josselin Feist

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 13

Top Venues

CoRR

ISSTA

SANER

Financial Cryptography

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

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

Josselin Feist.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Josselin Feist