@misc{cryptoeprint:2020:574,
    author = {Ming Li, Anjia Yang, Xinkai Chen},
    title = {Towards Interpreting Smart Contract against Contract Fraud: A Practical and Automatic Realization},
    howpublished = {Cryptology ePrint Archive, Report 2020/574},
    year = {2020},
    url = {https://eprint.iacr.org/2020/574},
}