Towards Automated Verification of Smart Contract Fairness
Published:
Ye Liu, Yi Li, Shang-Wei Lin, Rong Zhao, "Towards Automated Verification of Smart Contract Fairness." In the proceedings of Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 2020. https://personal.ntu.edu.sg/yi_li/files/Liu2020TAV.pdf