Using Security Tools in Smart Contract Development
Join MythX Chief Hacking Officer Bernhard Mueller for practical ways to easily add security considerations to your workflow
On-Demand Webinar
Security considerations need to be addressed throughout the smart contract development lifecycle. If used correctly, security tools can help to avoid many common pitfalls and provide confidence that code behaves correctly in all situations. In this webinar, we'll show how to check Ethereum smart contracts for security bugs.
Detecting generic problems like broken access controls, integer arithmetic bugs and weak randomness.
Defining contract-specific behavioral properties such as function postconditions and invariants.
Using symbolic execution and input fuzzing to verify correctness of the smart contract code.
Participants will be able to reproduce all examples shown using Remix and MythX.
On-Demand Webinar Registration
MythX needs the contact information you provide to us to contact you about our products and services. You may unsubscribe from these communications at any time. For information on how to unsubscribe, as well as our privacy practices and commitment to protecting your privacy, please review our Privacy Policy.
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.
