Suite of blockchain security analysis tools for Ethereum applications
Valentin Wüstholz
Security Researcher
http://www.wuestholz.com
https://twitter.com/vwuestholz
https://github.com/wuestholz
Steve Marx
Advisor
https://github.com/smarx
https://smarx.com
https://twitter.com/smarx
Shayan Eskandari
Security Engineer
https://shayan.es
https://twitter.com/sbetamc
https://github.com/shayanb/
Nicholas Ward
https://twitter.com/wolflo0
https://github.com/wolflo
Martin Ortner (tintinweb)
https://github.com/tintinweb
http://www.oststrom.com
Liz Daldalian
Program Manager
Joran Honig
https://twitter.com/JoranHonig
https://joranhonig.n
https://github.com/JoranHonig
Heiko Fisch
HeikoSecurity FischEngineer
https://github.com/HeikoFisch
John Mardlin
https://github.com/maurelian
https://twitter.com/maurelian_
Gonçalo Sá (GNSPS)
https://twitter.com/gnsps
https://github.com/GNSPS
https://gnsps.com
Dominik Muhs
https://twitter.com/lethalspoons
https://dmuhs.blog
https://github.com/dmuhs/
Alexander Wade
https://twitter.com/wadealexc
https://github.com/wadealexc/
Introduction - Scribble
https://docs.scribble.codes
Web
Install Scribble Code:
npm install -g eth-scribble
Property Checking with Scribble and Mythril - Scribble
https://docs.scribble.codes/tutorials/property-checking-with-scribble-and-mythril