Jiao Jiao, Shuanglong Kan, Shang-Wei Lin 0001, David Sanán, Yang Liu 0003, Jun Sun 0001. Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 1695-1712, IEEE, 2020. [doi]
@inproceedings{JiaoK0S0020,
title = {Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity},
author = {Jiao Jiao and Shuanglong Kan and Shang-Wei Lin 0001 and David Sanán and Yang Liu 0003 and Jun Sun 0001},
year = {2020},
doi = {10.1109/SP40000.2020.00066},
url = {https://doi.org/10.1109/SP40000.2020.00066},
researchr = {https://researchr.org/publication/JiaoK0S0020},
cites = {0},
citedby = {0},
pages = {1695-1712},
booktitle = {2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020},
publisher = {IEEE},
}