Smart Contract Vulnerability Analysis

Smart Contract Vulnerability Analysis is a systematic method for identifying, classifying, and assessing security flaws in smart contracts through formal verification, static and dynamic analysis, or symbolic execution to ensure correctness and robustness in blockchain environments.

227

Publications

16K

Citations

744

Authors

242

Institutions

Publications per year

2017–2026

225

Authors

744

  1. ZZ
    Zibin Zheng

    Sun Yat-sen University, China

    9 publications · 421 citations

    9

    h-index

  2. TC
    Ting Chen

    University of Electronic Science and Technology of China, China

    7 publications · 493 citations

    7

    h-index

  3. XL
    Xiapu Luo

    Hong Kong Polytechnic University, Hong Kong SAR China

    7 publications · 327 citations

    7

    h-index

  4. YL
    Yang Liu

    Nanyang Technological University, Singapore

    7 publications · 380 citations

    7

    h-index

  5. JS
    Jun Sun

    National University of Singapore, Singapore

    7 publications · 316 citations

    7

    h-index

1–5 of 744

Venues

  1. arXiv (Cornell University)

    Repository · 27 publications · 1K citations

    17

    h-index

  2. IEEE Access

    10 publications · 1K citations

    10

    h-index

  3. Journal of Systems and Software

    JSS · 6 publications · 421 citations

    6

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 5 publications · 245 citations

    5

    h-index

  5. ACM Transactions on Software Engineering and Methodology

    TOSEM · 4 publications · 158 citations

    4

    h-index

1–5