Artifacts

This repository contains the artifacts for the paper "Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts".

It includes the source code of CrySol, datasets collected for analysis and experiment, and the results of the experiments.

Specifically, it includes the following content:

• ./CrySol/: the source code of CrySol, a fuzzing-based tool designed to detect cryptographic defects in Ethereum smart contracts. Please refer to ./CrySol/README.md for detailed instructions on installation and usage.
• ./Dataset/: dataset collected for analysis and experiment. Please refer to ./Dataset/README.md for detailed information.
• ./Experiments/: the results of the experiments. For detailed information on the results and instructions to replicate the experiments, please see the ./Experiments/README.md file.