Zhaofeng Chen

Security Analysis and Formal Verification on Blockchain and Its Applications

Ding jia zhan lue yu zhan shu

Chuang yi shu guo qie diao pan shi

Zhi xia Taibei shi di 2 jie yi hui zhi yan jiu