Program Analysis for

Blockchain Security

The Blockchain Security Team at ETH Zurich advances state-of-the-art techniques from
Programming Languages, Machine Learning, and Automated Security Analysis
to foster the research on blockchain and smart contract security.

Projects

Securify: Automated Formal Verification of Smart Contracts.

Securify is the first push-button security auditing tool for Ethereum smart contracts that is fully automated, easily extensible to new security vulnerabilities, and provides strong security guarantees. The core technical idea behind Securify is to soundly extract deep semantic information from the smart contract using automated abstract reasoning. This information is then used to ensure the absence of critical security vulnerabilities, such as reentrant calls, unprivileged storage accesses, and many others. Securify precisely analyzes real-world smart contracts within seconds, and handles any language that compiles to Ethereum bytecode.

Visit Securify Try Securify

News

Nov 2017 Securify team goes to DevCon3, the biggest annual Ethereum conference!
Oct 2017 Founded ChainSecurity, a start-up that will focus on providing innovative security solutions for blockchains and smart contracts.

People

Martin Vechev

Prof. Dr. Martin Vechev

  
Dr. Petar Tsankov

Dr. Petar Tsankov

     
Dr. Dana Drachsler Cohen

Dr. Dana Drachsler-Cohen

  
Andrei Dan

Andrei Dan

  
Hubert Ritzdorf

Hubert Ritzdorf

  
Dimitar Dimitrov

Dimitar Dimitrov

  
Quentin Hibon

Quentin Hibon

  
Anton Permenev

Anton Permenev

  

Collaborators

Dr. Arthur Gervais

Dr. Arthur Gervais