Josselin Feist

Toward Large-Scale Vulnerability Discovery using Machine Learning

Gustavo Grieco, Guillermo L. Grinblat, Lucas C. Uzal et al. · 2016 · 233 citations

Software Maintenance, Engineering, Machine Learning +26

Echidna: effective, usable, and fast fuzzing for smart contracts

Gustavo Grieco, Will Song, Artur Cygan et al. · 2020 · 192 citations

Software Maintenance, Engineering, Software Engineering +21

Statically detecting use after free on binary code

Josselin Feist, Laurent Mounier, Marie-Laure Potet · Journal of Computer Virology and Hacking Techniques · 2014 · 71 citations

Hardware Security, Engineering, Runtime Verification +11

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis

Robin David, Sébastien Bardin, Thanh Dinh Ta et al. · 2016 · 62 citations

Engineering, Verification, Software Engineering +20

Finding the needle in the heap

Josselin Feist, Laurent Mounier, Sébastien Bardin et al. · 2016 · 24 citations

Engineering, Software Engineering, Source Code Analysis +17