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, last revised 17 Apr 2014 Contact author: sanjamg at cs ucla edu Available format(s): PDF | BibTeX Citation Version: 20140418:025904 (All versions of this report) Short URL: ia.cr/2013/258 Discussion forum: Show discussion | Start new discussion