Vulnerability Tools x Benchmark Suites = (enter "s" to see presenter text for slides) Hi - I am Rocky Bernstein, a long-time open-source developer. I work now in the Mythril team at ConsenSys Diligence, and specifically in developing what will go behind the Mythril Platform API which you will hear more about from Bernhard next. Analysis tools play a big role in helping to find Smart Contract vulnerabilities. How do we know if these tools are any good? Which tools are best for finding a certain category of bug? There’s been a recent effort to answer these questions with a benchmark suite. The goal is to have a standard set of Smart Contracts that we can use to measure each tool’s accuracy at finding vulnerabilities. Today I’d like to convince you that this work is important and that it’s worth your time to contribute test cases to the benchmarks at the hackathon that will happen at ETHBerlin. Let’s take a look at what we have so far...