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 […]
Read More