Browse files


  • Loading branch information...
dguido committed Nov 27, 2017
1 parent 7e2a937 commit 00cc93015da64ec916a1cf1a15df6d30e8e0396e
Showing with 1 addition and 2 deletions.
  1. +1 −2 Automatic Bug-Finding for the Blockchain/
@@ -1,13 +1,11 @@
## Automatic Bug Finding For The Blockchain
Talk Description:
Blockchain technology and, in particular, its application in the execution of smart contracts is a recent and growing topic of research. The most prevalent platform for the development and execution of smart contracts is the Ethereum blockchain, on which several projects have already been founded, with funding of up to multiple millions of dollars.
Smart contracts enforce user trust by using a consensus-based protocol. However, several recent large hacks have demonstrated that smart contracts are not without vulnerabilities. Unfortunately, the most widely used language (Solidity) is still young and, even a subtle error in the code can lead to millions lost. Auditing and testing smart of contracts has gained popularity within the security community, yet, available toolchains are still in their infancy and developers often ignore even the most basic security recommendations.
This presentation aims to, first, present the technical aspects of the Ethereum Virtual Machine (EVM) and provide an overview of the most common bugs. Subsequently, we will discuss the design and implementation of our EVM capable dynamic symbolic execution engine -- Manticore -- which enables human-assisted analysis and the automatic detection of vulnerabilities.
Presented at
* [Ekoparty 2017](
@@ -18,5 +16,6 @@ Resources
* [Video](
* Josselin Feist
* Felipe Manzano

0 comments on commit 00cc930

Please sign in to comment.