Webinar

Validating Smart Contract Correctness

Wednesday, April 15th at 11am EST

In this webinar, the MythX Chief Hacking Officer, Bernhard Mueller, will be exploring the code across a set of smart contracts looking for common flaws and checking for vulnerabilities using MythX.

 

He will walk through three examples to explain how to check the business logic of smart contracts using contract invariants and detect (sometimes subtle) security bugs.

 

What you’ll learn:

Webinar Registration

Presenter

Bernhard Mueller

Bernhard Mueller is the Chief Hacking Officer and co-founder of MythX, the premier security analysis service for Ethereum smart contracts

About MythX

MythX is the premier security analysis service for Ethereum smart contracts. Our mission is to ensure development teams avoid costly errors and make Ethereum a more secure and trustworthy platform.

Get started today