Replication Data for: Towards Automated Verification of Smart Contract Fairness (doi:10.21979/N9/0BEVRT)

View:

Part 1: Document Description
Part 2: Study Description
Part 5: Other Study-Related Materials
Entire Codebook

Document Description

Citation

Title:

Replication Data for: Towards Automated Verification of Smart Contract Fairness

Identification Number:

doi:10.21979/N9/0BEVRT

Distributor:

DR-NTU (Data)

Date of Distribution:

2020-05-27

Version:

1

Bibliographic Citation:

Liu, Ye; Li, Yi; Lin, Shang-Wei, 2020, "Replication Data for: Towards Automated Verification of Smart Contract Fairness", https://doi.org/10.21979/N9/0BEVRT, DR-NTU (Data), V1

Study Description

Citation

Title:

Replication Data for: Towards Automated Verification of Smart Contract Fairness

Identification Number:

doi:10.21979/N9/0BEVRT

Authoring Entity:

Liu, Ye (Nanyang Technological University)

Li, Yi (Nanyang Technological University)

Lin, Shang-Wei (Nanyang Technological University)

Software used in Production:

FairCon

Distributor:

DR-NTU (Data)

Access Authority:

Li, Yi

Depositor:

Li, Yi

Date of Deposit:

2020-05-25

Holdings Information:

https://doi.org/10.21979/N9/0BEVRT

Study Scope

Keywords:

Computer and Information Science, Computer and Information Science, Smart contract, Fairness, Program verification

Abstract:

Software artifacts created for the paper titled "Towards Automated Verification of Smart Contract Fairness" accepted at FSE'20.

Kind of Data:

Dataset of Solidity smart contract code

Kind of Data:

Raw experiment results of FairCon

Notes:

To obtain a copy of the FairCon tool used with the dataset, please go to: https://github.com/ntu-SRSLab/FairCon or follow the instructions provided in Obtain_FairCon.md

Methodology and Processing

Sources Statement

Data Access

Other Study Description Materials

Related Studies

<a href="https://github.com/ntu-SRSLab/FairCon">https://github.com/ntu-SRSLab/FairCon</a>

Related Publications

Citation

Bibliographic Citation:

Liu, Y., Li, Y., Lin, S.-W., & Zhao, R. (2020, November). Towards Automated Verification of Smart Contract Fairness. Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE)

Other Study-Related Materials

Label:

faircon_data.tar

Text:

Tarball containing contract code and raw console logs from the experiments.

Notes:

application/x-tar

Other Study-Related Materials

Label:

Obtain_FairCon.md

Text:

Information on how to obtain FairCon.

Notes:

text/markdown

Other Study-Related Materials

Label:

README.md

Text:

Information about the dataset usage.

Notes:

text/markdown