Main content


A growing number of companies in the financial and insurance industry are starting to rely on blockchain technology to run their business. This makes it crucial that the underlying technology operates reliably and users can rely on the security of any entrusted digital assets, such as cryptocurrencies. Providing such guarantees is especially difficult for programs known as smart contracts that run on the blockchain to enforce contracts between different parties.

We are working on a formal smart contract analyzer to automatically find defects in smart contracts that could lead to loss of valuable assets if exploited by attackers; as, for instance, demonstrated by the attack on the DAO smart contract which resulted in a loss of about $50M.

Page URL:
© 2017 Eidgenössische Technische Hochschule Zürich