Authenticated Encryption Security Proofs

Authenticated Encryption Security Proofs is a formal cryptographic framework that specifies and verifies the security guarantees of authenticated encryption schemes by rigorously defining adversarial models, attack capabilities, and the conditions under which confidentiality and integrity are simultaneously preserved.

13

Publications

489

Citations

32

Authors

21

Institutions

Publications per year

2017–2026

4

Authors

32

  1. CH
    Chien-Lung Hsu

    Chang Gung University, Taiwan

    2 publications · 83 citations

    2

    h-index

  2. JL
    Jiqiang Lv

    Xidian University, China

    1 publications · 34 citations

    1

    h-index

  3. JW
    Jakob Wenzel

    Bauhaus-Universität Weimar, Germany

    1 publications · 13 citations

    1

    h-index

  4. FL
    Fagen Li

    University of Electronic Science and Technology of China, China

    1 publications · 70 citations

    1

    h-index

  5. DH
    Debiao He

    Wuhan University, China

    1 publications · 22 citations

    1

    h-index

1–5 of 32

Venues

  1. Applied Mathematics and Computation

    2 publications · 44 citations

    2

    h-index

  2. IACR Cryptology ePrint Archive

    Repository · 2 publications · 63 citations

    2

    h-index

  3. 1

    h-index

  4. Journal of Systems and Software

    JSS · 1 publications · 73 citations

    1

    h-index

  5. Journal of Systems Architecture

    JSA · 1 publications · 70 citations

    1

    h-index

1–5