Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yue Duan, Xin Zhao, Yu Pan, Shucheng Li, Minghao Li, Fengyuan Xu, Mu Zhang 0001. Towards Automated Safety Vetting of Smart Contracts in Decentralized Applications. In Heng Yin, Angelos Stavrou, Cas Cremers, Elaine Shi, editors, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022. pages 921-935, ACM, 2022. [doi]

This author has not been identified. Look up 'Yue Duan' in GoogleThis author has not been identified. Look up 'Xin Zhao' in GoogleThis author has not been identified. Look up 'Yu Pan' in GoogleThis author has not been identified. Look up 'Shucheng Li' in GoogleThis author has not been identified. Look up 'Minghao Li' in GoogleThis author has not been identified. Look up 'Fengyuan Xu' in GoogleThis author has not been identified. Look up 'Mu Zhang 0001' in Google

runs on WebDSL