Enhancing the Security of DeFi Ecosystem via Smart Contracts Analysis

This project will build on the results achieved in MITACS Accelerate Project IT36824 on enhancing the security of the decentralized finance (DeFi) ecosystem through smart contracts analysis. In particular, we plan to work on refining and extending the algorithm we developed to find and repair oracle related vulnerabilities in smart contracts with new techniques to allow it to find and repair other types of vulnerabilities in smart contracts. We plan to write an academic paper on those new improvements. Also, we plan during this project to write a technical report for the Bank of Canada to document lessons we learned in the past two years in the area of securing Blockchain and smart contracts. This report will help inform researchers and decision makers at the Bank of Canada of the possible design choices for digital currencies to provide a good balance of security and usability for all participants in the ecosystem.

Faculty Supervisor:

Andreas Veneris;Fan Long

Student:

Partner:

Bank of Canada

Discipline:

Computer science

Sector:

Finance and Insurance; Manufacturing; Public administration

University:

University of Toronto

Program: