Loading…
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! 
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 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
https://github.com/crytic/echidna
https://github.com/trailofbits/manticore

Speakers
avatar for Josselin Feist

Josselin Feist

Senior security engineer, Trail of Bits


Friday August 2, 2019 1:30pm - 5:00pm
St. Helens Microsoft Building 33, 16070 NE 36th Way, Redmond, WA 98052, USA

Attendees (56)