Manual Audit for BitUnits Contracts

Siqi Lu, Haopeng Fan, Yongjuan Wang, Huizhe Mi, Ling Qin. Manual Audit for BitUnits Contracts. In Zibin Zheng, Hong-Ning Dai, Mingdong Tang, Xiangping Chen, editors, Blockchain and Trustworthy Systems - First International Conference, BlockSys 2019, Guangzhou, China, December 7-8, 2019, Proceedings. Volume 1156 of Communications in Computer and Information Science, pages 476-482, Springer, 2019. [doi]

Authors

Siqi Lu

This author has not been identified. Look up 'Siqi Lu' in Google

Haopeng Fan

This author has not been identified. Look up 'Haopeng Fan' in Google

Yongjuan Wang

This author has not been identified. Look up 'Yongjuan Wang' in Google

Huizhe Mi

This author has not been identified. Look up 'Huizhe Mi' in Google

Ling Qin

This author has not been identified. Look up 'Ling Qin' in Google