Smart Contracts Vulnerability Auditing with Multi-semantics. - Zhen Yang 022; Jacky Keung; Miao Zhang 025; Yan Xiao 002; Yangyang Huang; Tik Hui (COMPSAC, 2020)