Join #MythX Chief Hacking Officer Bernhard Mueller for practical ways to easily add security considerations to your workflow.
#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.
Presented by:
Bernhard Mueller, Chief Hacking Officer and co-founder of MythX
For more info, visit: https://mythx.io/