EtherCheck: Security Checker for Ethereum Smart Contracts
Decentralized cryptocurrencies such as Bitcoin have gain significant popularity due to the numerous applications they enable. Over the years, cryptocurrencies have been gaining expressiveness in terms of the computations one can compute on top of the blockchain. Today, cryptocurrencies such as Ethereum allow users to run arbitary applications, called smart contracts. A key challenge in developing smart contracts is to ensure that they are correct and free of security vulnerabilities, as bugs in their implementation may result in tremendous financial losses.
The goal of this project is to develop automated analysis techniques for checking smart contracts against security-critical vulnerabilities. Further, we aim to design novel synthesis techniques, which would significantly ease the task of developing smart contracts with strong security guarantees.
