Channel Security

Channel Security is a protocol verification framework that ensures the integrity, confidentiality, and authenticity of communication channels by formally verifying the correctness of cryptographic protocols against adversarial models and systemic vulnerabilities.

217

Publications

8.9K

Citations

586

Authors

307

Institutions

Publications per year

2017–2026

85

Authors

586

  1. NZ
    Ning Zhang

    University of Windsor, Canada

    5 publications · 225 citations

    5

    h-index

  2. DC
    Dajiang Chen

    University of Electronic Science and Technology of China, China

    4 publications · 159 citations

    4

    h-index

  3. HW
    Hong Wen

    University of Electronic Science and Technology of China, China

    4 publications · 88 citations

    4

    h-index

  4. JM
    Jehad M. Hamamreh

    Antalya Bilim University, Türkiye

    4 publications · 117 citations

    4

    h-index

  5. NC
    Nan Cheng

    Xidian University, China

    3 publications · 130 citations

    3

    h-index

1–5 of 586

Venues

  1. 13

    h-index

  2. IEEE Transactions on Information Theory

    12 publications · 616 citations

    11

    h-index

  3. IEEE Access

    7 publications · 306 citations

    7

    h-index

  4. IEEE Transactions on Dependable and Secure Computing

    TDSC · 7 publications · 273 citations

    7

    h-index

  5. IEEE Transactions on Wireless Communications

    6 publications · 392 citations

    6

    h-index

1–5