Safepay on Ethereum: A Framework for Detecting Unfair Payment in Smart Contracts

Yue Li, Han Liu, Zhiqiang Yang, Bin Wang, Qian Ren, Lei Wang, Bangdao Chen
University College Oxford Blockchain Research Centre
Shanghai Jiao Tong University

Smart contracts on the Ethereum blockchain are notoriously known as vulnerable to external attacks. Many of their issues led to a considerably large financial loss as they resulted from broken payments by digital assets, e.g., cryptocurrency. Existing research focused on specific patterns to find such problems, yet may lead to false alarms or miss important issues. To mitigate these limitations, we designed the SAFEPAY analysis framework to find unfair payments in Ethereum smart contracts. Compared to existing analyzers, SAFEPAY can detect potential blockchain transactions with feasible exploits thus effectively avoid false reports.

The 40th IEEE International Conference on Distributed Computing Systems (ICDCS) was successfully held from November 29th to December 1st, 2020. The paper SAFEPAY on Ethereum: A Framework for Detecting Unfair Payments in Smart Contracts written by Oxford-Hainan Blockchain Research Institute’s team won the Best Demo Award.