Benefactory – Medium

Benefactory

Benefactory
in
Benefactory

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…

Nov 16, 2016

The Future of Security in the Ethereum Ecosystem

Nov 16, 2016

Benefactory
in
Benefactory

DevCon 2: Imandra Contracts: Formal Verification for Ethereum

Imandra formalizes the EVM inside an Ocaml-based formal verification language. This allows companies to prove which risks are present in…

Nov 16, 2016

DevCon 2: Imandra Contracts: Formal Verification for Ethereum

Nov 16, 2016

Benefactory
in
Benefactory

DevCon 2: Formal Verification for Solidity

Writing code correctly is difficult. It’s hard to even define what correct is. Correct is when the program does what the programmer…

Nov 16, 2016

DevCon 2: Formal Verification for Solidity

Nov 16, 2016

Benefactory
in
Benefactory

DevCon2: Contract Patterns and Security

Solidity is not inherently broken. There are various methods to reduce attack surfaces such as:

Nov 16, 2016

DevCon2: Contract Patterns and Security

Nov 16, 2016

Benefactory
in
Benefactory

DevCon 2: Smart Contract Security

Christoph Jentzsch from Slock.it gave the final presentation on the third day of the event and made it clear that future crowdfunding…

Nov 16, 2016

DevCon 2: Smart Contract Security

Nov 16, 2016

Benefactory
in
Benefactory

DevCon2: Smart Contract Security Best Practices

First, developers need to prepare for failure. Developers and alpha users should also be ready for the “unknown unknowns.” Knowing all the…

Nov 16, 2016

DevCon2: Smart Contract Security Best Practices

Nov 16, 2016

Benefactory
in
Benefactory

DevCon2: Visualizing Security

Developers are familiar with the concept of “code smells:” patterns in code that indicate likely problems. These patterns are great targets…

Nov 16, 2016

DevCon2: Visualizing Security

Nov 16, 2016

Benefactory
in
Benefactory

DevCon2: Ethereum Security Overview

It is important to take steps to reduce both the likelihood and impact of attacks, which can range from zero day exploits to game…

Nov 16, 2016

DevCon2: Ethereum Security Overview

Nov 16, 2016

Benefactory
in
Benefactory

DevCon2: Smart Contract Security

Phil Daian from IC3 opened up the talks on security at DevCon 2 hosted in Shanghai, China. Ethereum has higher potential for attacks…

Nov 16, 2016

Nov 16, 2016

Benefactory
in
Benefactory

DevCon2: Smart Contract Security in Ethereum

Ethereum launched with several smart contract languages, but the community has mostly converged on Solidity. Solidity’s dominance has been…

Nov 16, 2016

DevCon2: Smart Contract Security in Ethereum

Nov 16, 2016

Benefactory

Benefactory

Benefactory grows the movement for crowd philanthropy: a new economic sector led by community organizers. Join us. http://slack.benefactory.cc/

Following

Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams