Ningyu He, Ruiyi Zhang, Haoyu Wang 0001, Lei Wu 0012, Xiapu Luo, Yao Guo 0001, Ting Yu, Xuxian Jiang. EOSAFE: Security Analysis of EOSIO Smart Contracts. In Michael Bailey, Rachel Greenstadt, editors, 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021. pages 1271-1288, USENIX Association, 2021. [doi]
Abstract is missing.