A security type verifier for smart contracts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xinwen Hu, Yi Zhuang 0002, Shangwei Lin 0001, Fuyuan Zhang, Shuanglong Kan, Zining Cao. A security type verifier for smart contracts. Computers & Security, 108:102343, 2021. [doi]

This author has not been identified. Look up 'Xinwen Hu' in GoogleThis author has not been identified. Look up 'Yi Zhuang 0002' in GoogleThis author has not been identified. Look up 'Shangwei Lin 0001' in GoogleThis author has not been identified. Look up 'Fuyuan Zhang' in GoogleThis author has not been identified. Look up 'Shuanglong Kan' in GoogleThis author has not been identified. Look up 'Zining Cao' in Google

runs on WebDSL