Devcon VI

Josselin Feist

Josselin Feist is a principal security engineer at Trail of Bits where he leads the blockchain team, participates in security assessments, and designs automated bug-finding tools for smart contracts. He holds a Ph.D. in static analysis and symbolic execution and regularly speaks at both academic and industrial conferences. He is the author of various security tools, including Slither - a static analyzer for Ethereum smart contracts and Tealer - a static analyzer for Algorand contracts.


Sessions

10-14
13:00
120min
Building Secure Contracts: Use Echidna Like a Pro
Josselin Feist, Gustavo Grieco
Security
Workshop 2