STAN: Towards Describing Bytecodes of Smart Contract[C] 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS 2020) 2020 Li, Xiaoqi Chen, Ting Luo, Xiapu Zhang, Tao Yu, Le Xu, Zhou