Securing smart contracts with formal verification and automated program repair
Palina Tolmach · 2023
Prof. Yang Liu suggested the usage of PAT framework as a verification tool and provided suggestions for the experiments design.• I performed the implementation of formal models of the analyzed smart contracts and DeFi protocols, formulated security and correctness properties for these protocols, and performed the experimental evaluation.• Prof. Yi Li and Prof. Shang-Wei Lin helped refine the properties of the DeFi applications being checked and provided suggestions on the evaluation.