Testing and Security Analysis of Smart Contracts

Overview of Research

Smart contracts are immutable programs on the Blockchain that enforce legal and financial contracts. There are many reported cases of security exploits of smart contracts resulting in millions of dollars in lost coins. In this project, we are developing a variety of tools, including but not limited to combinations of static and symbolic analysis, fuzzing, and verification methods, aimed at detecting security vulnerabilities in smart contracts.

Some of the projects we are working on include:

  1. MPro (formerly known as M-Pro) : Combining Static and Symbolic Analysis for Scalable Testing of Smart Contracts