Provable Security

Provable Security is a security assurance methodology in cryptography whereby the security of a cryptographic construction is formally reduced to the hardness of well-defined computational problems within a specified threat model.

596

Publications

43.2K

Citations

1.5K

Authors

548

Institutions

Publications per year

2017–2026

191

Authors

1.5K

  1. GB
    Gilles Barthe

    IMDEA Software Institute, Spain

    10 publications · 337 citations

    10

    h-index

  2. RP
    Rafael Pass

    Cornell University, United States

    9 publications · 590 citations

    9

    h-index

  3. MY
    Moti Yung

    Columbia University, United States

    9 publications · 1.6K citations

    9

    h-index

  4. RL
    Rongxing Lu

    University of New Brunswick, Canada

    8 publications · 365 citations

    8

    h-index

  5. AK
    Aggelos Kiayias

    University of Edinburgh, United Kingdom

    8 publications · 619 citations

    8

    h-index

1–5 of 1.5K

Venues

  1. IACR Cryptology ePrint Archive

    Repository · 47 publications · 2.2K citations

    21

    h-index

  2. Journal of Cryptology

    14 publications · 1.4K citations

    13

    h-index

  3. arXiv (Cornell University)

    Repository · 16 publications · 326 citations

    12

    h-index

  4. Security and Communication Networks

    10 publications · 359 citations

    10

    h-index

  5. IEEE Systems Journal

    ISJ · 10 publications · 543 citations

    10

    h-index

1–5