Thank you for attending TruffleCon 2019!
Feel free to use this scheduler to customize your Truffle experience.
View topics, speakers, time and availability. You can also let us know how each session you attended went so we can make your experience even better! 
Back To Schedule
Friday, August 2 • 1:30pm - 5:00pm
How to Build Secure Smart Contracts: A Deep Dive into Automated Tools

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
In this workshop, Josselin will present how to use modern program analysis techniques to build secure smart contracts. Through hands-on manipulations, we will see how to integrate Slither, a static analysis platform, Echidna, a smart contract fuzzer, and Manticore, a symbolic execution engine, into a Truffle project. The attendees will discover how these techniques work and how to use them efficiently. All the exercises will be performed on open source tools.
Links: https://github.com/crytic/slither

avatar for Josselin Feist

Josselin Feist

Senior security engineer, Trail of Bits

Friday August 2, 2019 1:30pm - 5:00pm PDT
St. Helens