Write a Blog >>
Thu 12 Nov 2020 01:07 - 01:08 at Virtual room 1 - 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:02
Talk
Do the Machine Learning Models on a Crowd Sourced Platform Exhibit Bias? An Empirical Study on Model Fairness
Research Papers
Sumon BiswasIowa State University, USA, Hridesh RajanIowa State University, USA
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