Strongly Deniable Identification Schemes Immune to Prover's and Verifier's Ephemeral Leakage

• Published in: Innovative Security Solutions for Information Technology and Communications Vol. 10543; pp. 115 - 128
• Main Authors: Krzywiecki, Łukasz, Słowik, Marcin
• Format: Book Chapter
• Language: English
• Published: Switzerland Springer International Publishing AG 2017; Springer International Publishing
• Series: Lecture Notes in Computer Science
• Subjects: Deniability; Ephemeral secret leakage; Ephemeral secret setting; Identification scheme; Simulatability; Zero-knowledge proofs
• ISBN: 3319692836; 9783319692838
• ISSN: 0302-9743; 1611-3349
• DOI: 10.1007/978-3-319-69284-5_9

In this paper, we consider Identification Schemes ( $$\mathsf {IS}$$ ) in the context of attacks against their deniability via Fiat-Shamir transformations. We address the following issue: How to design and implement a deniable $$\mathsf {IS}$$ , that is secure against ephemeral leakage on both a Prover’s and a Verifier’s side, and withstands attacks based on Fiat-Shamir transformation. We propose a new security model to address the leakage on the Verifier’s side, extending the previous propositions [1]. During the Query Stage, we allow the malicious Verifier to set random values used on the Prover’s side. Additionally, we allow malicious Prover to access ephemeral values of the Verifier during the Impersonation Stage. We introduce two generic constructions based on three-step $$\mathsf {IS}$$ . Finally, we provide an example scheme based on the extended construction from [1], which is provably deniable and secure in our new strong model.