Josselin Feist

Ministère du travail, de l'emploi et de l'insertion — France

Computer Science · Physical Sciences

8h-index654citations13works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(9), Advanced Malware Detection Techniques(9), Software Engineering Research(4), Software Reliability and Analysis Research(4), Formal Methods in Verification(3)

Publications13 total

Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)·2021· 11 cited
Echidna: effective, usable, and fast fuzzing for smart contracts
2020· 193 cited
What are the Actual Flaws in Important Smart Contracts (And How Can We Find Them)?
Lecture notes in computer science·2020· 5 citedOpen Access
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
2019· 22 citedOpen Access
Analyses de code binaire pour la détection et le déclenchement de use-after-free
theses.fr (ABES)·2017· 3 citedOpen Access
Finding the needle in the heap
2016· 24 cited
Finding the Needle in the Heap: Combining Static Analysis and Dynamic Symbolic Execution to Trigger Use-After-Free
HAL (Le Centre pour la Communication Scientifique Directe)·2016· 2 citedOpen Access
Specification of concretization and symbolization policies in symbolic execution
2016· 22 cited
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis
HAL (Le Centre pour la Communication Scientifique Directe)·2016Open Access
Toward Large-Scale Vulnerability Discovery using Machine Learning
2016· 234 cited
BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis
2016· 62 cited
Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information
Lecture notes in computer science·2016· 5 cited
Statically detecting use after free on binary code
Journal of Computer Virology and Hacking Techniques·2014· 71 cited

Frequent Co-authors

Laurent Mounier(8), Marie-Laure Potet(7), Gustavo Grieco(5), Sébastien Bardin(5), Alex Groce(4), Robin David(3), Thanh Dinh Ta(2), Jean-Yves Marion(2), Guillermo L. Grinblat(1), Lucas C. Uzal(1), Sanjay Rawat(1), Will Song(1), Artur Cygan(1), Mark Mossberg(1), Felipe Andrés Manzano(1), Eric Hennenfent(1), Trent Brunson(1), Artem Dinaburg(1), Iftekhar Ahmed(1), Jiri Gesi(1)