Abstract | ||
---|---|---|
This work attempts to clarify to what extent simulation-based security (SIM-security) is achievable for functional encryption (FE) and its relation to the weaker indistinguishability-based security (IND-security). Our main result is a compiler that transforms any FE scheme for the general circuit functionality (which we denote by Circuit-FE) meeting indistinguishability-based security (IND-security) to a Circuit-FE scheme meeting SIM-security, where: - In the random oracle model, the resulting scheme is secure for an unbounded number of encryption and key queries, which is the strongest security level one can ask for. - In the standard model, the resulting scheme is secure for a bounded number of encryption and non-adaptive key queries, but an unbounded number of adaptive key queries. This matches known impossibility results and improves upon Gorbunov et al. [CRYPTO'12] (which is only secure for non-adaptive key queries). Our compiler is inspired by the celebrated Fiat-Lapidot-Shamir paradigm [FOCS'90] for obtaining zero-knowledge proof systems from witness-indistinguishable proof systems. As it is currently unknown whether Circuit-FE meeting IND-security exists, the purpose of this result is to establish that it remains a good target for future research despite known deficiencies of IND-security [Boneh et al. - TCC'11, O'Neill - ePrint'10]. We also give a tailored construction of SIM-secure hidden vector encryption (HVE) in composite-order bilinear groups. Finally, we revisit the known negative results for SIM-secure FE, extending them to natural weakenings of the security definition and thus providing essentially a full picture of the (in)achievability of SIM-secure FE. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/978-3-642-40084-1_29 | ADVANCES IN CRYPTOLOGY - CRYPTO 2013, PT II |
Keywords | DocType | Volume |
Functional Encryption,Hidden Vector Encryption,Simulation-Based Security | Journal | 8043 |
ISSN | Citations | PageRank |
0302-9743 | 46 | 1.23 |
References | Authors | |
24 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Angelo De Caro | 1 | 320 | 16.72 |
Vincenzo Iovino | 2 | 198 | 13.20 |
Abhishek Jain | 3 | 879 | 48.25 |
Adam O'Neill | 4 | 776 | 30.96 |
Omer Paneth | 5 | 535 | 22.42 |
Giuseppe Persiano | 6 | 1773 | 152.14 |