×

NIZK

swMATH ID: 9379
Software Authors: Wang, Yuyu; Tanaka, Keisuke
Description: Strongly simulation-extractable leakage-resilient NIZK This paper defines strongly simulation-extractable leakage-resiliency (sSE-LR), which is a new notion for NIZK proof system. Our definition extends the weaker notion called true simulation-extractable leakage-resiliency (tSE-LR) defined by Garg, Jain, and Sahai in CRYPTO 2011. Moreover, improving the construction of tSE-LR-NIZK proof system by Garg et al., we construct an NIZK scheme that satisfies sSE-LR. An sSE-LR-NIZK proof system is applicable to construct a fully leakage resilient signature scheme which is strongly existentially unforgeable. As far as we know, this is the first fully leakage resilient signature scheme that is strongly existentially unforgeable.
Homepage: http://link.springer.com/chapter/10.1007/978-3-319-08344-5_5
Keywords: NIZK; leakage; simulation-extractability; signature
Related Software:
Referenced in: 2 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Strongly simulation-extractable leakage-resilient NIZK. Zbl 1318.94086
Wang, Yuyu; Tanaka, Keisuke
2014

Referenced by 2 Authors

2 Tanaka, Keisuke
2 Wang, Yuyu

Referenced in 0 Serials

Referencing Publications by Year