The Future of Security in the Ethereum Ecosystem
The biggest topic at September’s DevCon 2 was securing smart contract systems built on top of Ethereum. The core innovation of Ethereum is its ability to reach consensus on the state of arbitrary applications, but this brand new capability comes with brand new security concerns that developers must familiarize themselves with.
DevCon 2 panel topics included formal verification of contracts, DApp-specific attack vectors, smart contract development best practices and the future of security in the ecosystem. Presenters were selected from a broad range of backgrounds such as academics and system engineering providing a well-balanced and comprehensive consideration of security in the context of smart contract systems and distributed applications.
We’ve summarized a selection of DevCon 2 panels to serve as a guide for developers who were unable to attend the conference or simply want to review the material.We hope this helps you choose which talks you wish to watch in full to get a deeper understanding of the topics that were discussed.
If you wish to continue your research on the topic, we strongly recommend reading the Smart Contract Best Practices, a guide of the Ethereum developer communities recommendations for building secure contracts.
Here are the list of presentations below:
Panel: Smart Contract Security in Ethereum
Smart Contract Security
Smart Contract Security Best Practices
Visualizing Security
Ethereum Security Overview
Formal Verification for Solidity
Imandra Contracts: Formal Verification for Ethereum
Smart Contract Security
Contract Patterns and Security
This series was a collaborative research project written by Bill Gleim, Simon de la Rouviere, Paul Kohlhaas, and Niran Babalola. It was crowdfunded by the Ethereum Movement, a decentralized nonprofit built on Benefactory.
