Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jiao Jiao, Shuanglong Kan, Shang-Wei Lin 0001, David Sanán, Yang Liu 0003, Jun Sun 0001. Semantic Understanding of Smart Contracts: Executable Operational Semantics of Solidity. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 1695-1712, IEEE, 2020. [doi]

This author has not been identified. Look up 'Jiao Jiao' in GoogleThis author has not been identified. Look up 'Shuanglong Kan' in GoogleThis author has not been identified. Look up 'Shang-Wei Lin 0001' in GoogleThis author has not been identified. Look up 'David Sanán' in GoogleThis author has not been identified. Look up 'Yang Liu 0003' in GoogleThis author has not been identified. Look up 'Jun Sun 0001' in Google

runs on WebDSL