Our contributions in this paper are threefold. First, we introduce and formally define witness encryption. Second, we show how to build several cryptographic primitives from witness encryption. Finally, we give a candidate construction based on the NP-complete \textsc{Exact Cover} problem and Garg, Gentry, and Halevi's recent construction of ``approximate" multilinear maps.
Our method for witness encryption also yields the first candidate construction for an open problem posed by Rudich in 1989: constructing computational secret sharing schemes for an NP-complete access structure.
Category / Keywords: public-key cryptography / Multilinear Maps Date: received 6 May 2013 Contact author: sanjamg at cs ucla edu Available formats: PDF | BibTeX Citation Version: 20130508:202916 (All versions of this report) Discussion forum: Show discussion | Start new discussion