Talks & Publications
A collection of my conference presentations, workshops, academic papers, and podcast appearances.
For the complete list with all materials, see the publications repository.
Conference Talks
Invited talks and presentations at major blockchain and security conferences.
2025
- The Definitive Guide to Rounding in DeFi — WonderCon 2025 (slides) (invited)
2024
- Introduction to fuzzing — EthBelgrade 2024 (slides) (invited)
- Slither: Advanced usage — Web3 summit (slides) (invited)
2023
- RoundMe: rounding analysis made simpler — Trust-X 2023 (slides)
2022
- Build Secure Smart Contracts: How to fuzz with a pro — EthCC 2022 (slides)
2021
- Building a Practical Static Analyzer for Smart Contracts — Dagstuhl - Rigorous Methods for Smart Contracts 2021 (slides) (invited)
- Testing and Verifying Smart Contracts: From Theory to Practice — Formal Methods for Computer Security 2021 (slides) (invited)
- Safely integrating with ERC20 tokens — Hello Security 2021 (slides) (invited)
2019
- SlithIR, An Intermediate Representation of Solidity to enable High Precision Security Analysis — RunEVM 2019 (slides) (invited)
- Slither: A Static Analysis Framework for Smart Contracts — EthCC 2019 (slides)
2018
2017
- Automatic Bug Finding For The Blockchain — Ekoparty 2017 (slides)
2015
- GUEB: Static Detection of Use-After-Free on Binary — Toorcon San Diego 2015
2013
- Statically detecting Use-After-Free on Binary Code — GreHack 2013
Workshops
Hands-on workshops on smart contract security, fuzzing, and static analysis.
2024
2023
- Build Secure Smart Contracts: How to fuzz with a pro — Trust-X 2023 (slides)
- Build Secure Smart Contracts: How to fuzz with a pro — EthCC 2023 (slides)
- Build Secure Smart Contracts: How to fuzz with a pro — Devcon 2023 (slides)
- Build Secure Smart Contracts: How to fuzz with a pro — EBS (slides)
- Build Secure Smart Contracts: How to fuzz with a pro — DeFi 101 (slides)
2022
- Build Secure Smart Contracts: How to fuzz with a pro — DappCon 2022 (slides)
2020
- Build Secure Smart Contracts: A Deep Dive into Automated Tools — TruffleCon 2020 (slides)
2019
- Automated Smart Contracts Audit Workshop — TruffleCon 2019 (slides)
2018
- Using Manticore and Symbolic Execution to Find Smart Contracts Bugs — Devcon IV (slides) (exercises)
- Introduction to Smart Contract Exploitation — GreHack 2018 (slides) (exercises)
- Automated Smart Contracts Audit Workshop — TruffleCon 2018 (slides)
- Manticore Workshop — EthCC 2018 (slides) (exercises)
Academic Publications
Peer-reviewed research papers on program analysis, symbolic execution, and smart contract security.
- Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis — QRS 21 (paper)
- Alex Groce, Iftekhar Ahmed, Josselin Feist, Gustavo Grieco, Jiri Gesi, Mehran Meidani, and Qihong Chen
- What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)? — FC 20 (paper) (slides)
- Alex Groce, Josselin Feist, Gustavo Grieco, Michael Colburn
- Echidna: effective, usable, and fast fuzzing for smart contracts — ISSTA 20 (paper)
- Gustavo Grieco, Will Song, Artur Cygan, Josselin Feist, Alex Groce
- Manticore: A user-friendly symbolic execution framework for binaries and smart contracts — ASE 19 (paper)
- Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg
- Slither: A Static Analysis Framework For Smart Contracts — WETSEB 19 (paper)
- Josselin Feist, Gustavo Grieco, Alex Groce
- Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free — SSPREW 16 (paper) (slides)
- Josselin Feist, Laurent Mounier, Sébastien Bardin, Robin David, Marie-Laure Potet
- Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information — SEFM 2016 (paper)
- Josselin Feist, Mounier Laurent and Marie-Laure Potet
- Specification of Concretization and Symbolization Policies in Symbolic Execution — ISSTA 2016 (paper)
- Robin David, Sébastien Bardi, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion
- BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-level Analysis — SANER 2016 (paper)
- Robin David, Sebastien Bardin, Mounier Laurent, Thanh Dinh Ta, Jean-Yves Marion, Josselin Feist and Marie-Laure Potet
- Toward large-scale vulnerability discovery using Machine Learning — Codaspy 2016 (paper)
- Gustavo Grieco, Guillermo Luis Grinblat, Lucas Uzal, Sanjay Rawat, Josselin Feist and Laurent Mounier
Podcasts & Panels
2025
- Bountyhunt3rz — Podcast
- The Network Podcast — Podcast
2024
- Fuzzing vs Formal Verification — Panel discussion — Panel (Web 3 Security summit)
- Garden finance - AMA — Podcast
- Soliditors — French podcast
2023
- Cyfrin - Symbolic Execution & Formal Verification — Podcast
- DeFi security Summit 2023 - Session 16: Audits Conventional vs Community Panel — Panel (DSS)
2022
- Secureum SafeCast #3 — Podcast
This page is auto-generated from the publications repository.