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]
@article{HuZLZKC21,
title = {A security type verifier for smart contracts},
author = {Xinwen Hu and Yi Zhuang 0002 and Shangwei Lin 0001 and Fuyuan Zhang and Shuanglong Kan and Zining Cao},
year = {2021},
doi = {10.1016/j.cose.2021.102343},
url = {https://doi.org/10.1016/j.cose.2021.102343},
researchr = {https://researchr.org/publication/HuZLZKC21},
cites = {0},
citedby = {0},
journal = {Computers & Security},
volume = {108},
pages = {102343},
}