Security Analysis and Formal Verification on Blockchain and Its Applications

by Kang Li, Ronghui Gu, Jun Xu, Zhaofeng Chen, Siwei Wu