External Links

    Journal: Foundations and Trends in Privacy and Security

    Volume 8, Issue 1

    1 -- 121Kang Li, Ronghui Gu, Jun Xu, Zhaofeng Chen, Siwei Wu, Yajin Zhou, Mu Zhang, Xiapu Luo, Yuzhe Tang, Yi Li, Xiaokuan Zhang, Yibo Wang. Security Analysis and Formal Verification on Blockchain and its Applications
    runs on