Towards Automated Verification of Smart Contract Fairness
Smart contracts are computer programs allowing users to define and execute transactions automatically on top of the blockchain platform. Many of such smart contracts can be viewed as games. A game-like contract accepts inputs from multiple participants, and upon ending, automatically derives an outcome while distributing assets according to some predefined rules. Without clear understanding of the game rules, participants may suffer from fraudulent advertisements and financial losses. In this paper, we present a framework to perform (semi-)automated verification of smart contract fairness, whose results can be used to refute false claims with concrete examples or certify contract implementations with respect to desired fairness properties. We implement FairCon, which is able to check fairness properties including truthfulness, efficiency, optimality, and collusion-freeness for Ethereum smart contracts. We evaluate FairCon on a set of real-world benchmarks and the experiment result indicates that FairCon is effective in detecting property violations and able to prove fairness for common types of contracts.
Thu 12 Nov Times are displayed in time zone: (UTC) Coordinated Universal Time change
01:00 - 01:30: FairnessPaper Presentations / Research Papers / Student Research Competition at Virtual room 1 | |||
| 01:00 - 01:02 Talk | Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness Research Papers Link to publication DOI Pre-print Media Attached | ||
| 01:03 - 01:04 Talk | Fairway: A Way to Build Fair ML Software Research Papers Joymallya ChakrabortyNorth Carolina State University, USA, Suvodeep MajumderNorth Carolina State University, USA, Zhe YuNorth Carolina State University, USA, Tim MenziesNorth Carolina State University, USA DOI | ||
| 01:05 - 01:06 Talk | Repairing Confusion and Bias Errors for DNN-Based Image Classifiers Student Research Competition Yuchi TianColumbia University DOI | ||
| 01:07 - 01:08 Talk | Towards Automated Verification of Smart Contract Fairness Research Papers Ye LiuNanyang Technological University, Singapore, Yi LiNanyang Technological University, Singapore, Shang-Wei LinNanyang Technological University, Singapore, Rong ZhaoNanyang Technological University, Singapore DOI Pre-print | ||
| 01:09 - 01:30 Talk | Conversations on Fairness Paper Presentations Joymallya ChakrabortyNorth Carolina State University, USA, Sumon BiswasIowa State University, USA, Ye LiuNanyang Technological University, Singapore, Yi LiNanyang Technological University, Singapore, Yuchi TianColumbia University, M: Christian BirdMicrosoft Research | ||