Skip to Main content Skip to Navigation
Conference papers

Offline Witness Encryption

Hamza Abusalah 1 Georg Fuchsbauer 2 Krzysztof Pietrzak 1
2 CASCADE - Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities
Inria de Paris, CNRS - Centre National de la Recherche Scientifique : UMR 8548, DI-ENS - Département d'informatique de l'École normale supérieure
Abstract : Witness encryption (WE) was introduced by Garg et al. (STOC'13). A WE scheme is defined for some NP language L and lets a sender encrypt messages relative to instances x. A ciphertext for x can be decrypted using w witnessing x∈L, but hides the message if x∉L. Garg et al. construct WE from multilinear maps and give another construction (FOCS'13) using indistinguishability obfuscation (iO) for encryption. Due to the reliance on such heavy tools, WE can currently hardly be implemented on powerful hardware and will unlikely be realizable on constrained devices like smart cards any time soon. We construct a WE scheme where encryption is done by simply computing a Naor-Yung ciphertext (two CPA encryptions and a NIZK proof). To achieve this, our scheme has a setup phase, which outputs public parameters containing an obfuscated circuit (only required for decryption), two encryption keys and a common reference string (used for encryption). This setup need only be run once, and the parameters can be used for arbitrary many encryptions. Our scheme can also be turned into a functional WE scheme, where a message is encrypted w.r.t. a statement and a function f, and decryption with a witness w yields f(m,w). Our construction is inspired by the functional encryption scheme by Garg et al. and we prove (selective) security assuming iO and statistically simulation-sound NIZK. We give a construction of the latter in bilinear groups and combining it with ElGamal encryption, our ciphertexts are of size 1.3 kB at a 128-bit security level and can be computed on a smart card.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01384371
Contributor : Georg Fuchsbauer <>
Submitted on : Wednesday, October 19, 2016 - 5:37:09 PM
Last modification on : Thursday, July 1, 2021 - 5:58:08 PM

Links full text

Identifiers

Collections

Citation

Hamza Abusalah, Georg Fuchsbauer, Krzysztof Pietrzak. Offline Witness Encryption. Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Jun 2016, Guildford, United Kingdom. ⟨10.1007/978-3-319-39555-5_16⟩. ⟨hal-01384371⟩

Share

Metrics

Record views

331