AE

Loading...

#MythX #Security #Ethereum

Using Security Tools in Smart Contract Development

73 views

Loading...

Loading...

Transcript

The interactive transcript could not be loaded.

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Uploaded on Jan 24, 2020

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/

Loading...

to add this to Watch Later

Add to

Loading playlists...