WANA: Symbolic Execution of Wasm Bytecode for Extensible Smart Contract Vulnerability Detection[C] 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021) 2021 Jiang, Bo Chen, Yifei Wang, Dong Ashraf, Imran Chan, W. K.
A Resolution of Sharing Private Charging Piles Based on Smart Contract[C] 2017 13TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD) 2017 Hou, Yunfei Chen, Yan Jiao, Yi Zhao, Jiakui Ouyang, Hong Zhu, Pingfei Wang, Dong Liu, Yuxi
