Ronghui Gu

• Security Analysis and Formal Verification on Blockchain and Its Applications