A tighter proof for CCA secure inner product functional encryption: Genericity meets efficiency
| hal.structure.identifier | Lithe and fast algorithmic number theory [LFANT] | |
| dc.contributor.author | CASTAGNOS, Guilhem | |
| hal.structure.identifier | Exact Computing [LIRMM | ECO] | |
| dc.contributor.author | LAGUILLAUMIE, Fabien | |
| hal.structure.identifier | Institute IMDEA Software [Madrid] | |
| dc.contributor.author | TUCKER, Ida | |
| dc.date.accessioned | 2024-04-04T02:40:27Z | |
| dc.date.available | 2024-04-04T02:40:27Z | |
| dc.date.issued | 2022-05 | |
| dc.identifier.issn | 1879-2294 | |
| dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/191066 | |
| dc.description.abstractEn | Inner product functional encryption (IPFE) is a primitive which produces, from a master secret key, decryption keys sk k associated to vectors k over some specified base ring. Decrypting an encryption of vector m with sk k only reveals <k, m>. Benhamouda et al. [BBL17] provided a generic construction for CCA-secure IPFE from projective hash functions (PHFs), unfortunately their security reduction suffers an exponential loss. Their only instantiation capable of decrypting inner products of large sizes, which relies on the decisional composite residuosity (DCR) assumption, is impractical due to the large size of ciphertexts, decryption keys, and the prohibitive speed of the scheme. Our core contribution is a new approach to proving CCA security. Our constructions maintain the genericity of [BBL17], while our security proof relaxes the requirements on the underlying PHFs and gains in reduction tightness. We instantiate these constructions from the DCR assumption, an assumption in class groups (HSM CL) and the decision Diffie Hellman (DDH) assumption. Our CCA-secure constructions from DCR and HSM CL are the first such schemes to efficiently decrypt inner products of large size, improving by multiple orders of magnitude upon the work of [BBL17]. A single-core C implementation of these schemes shows that, for a 112 bit security, and 100−dimensional vectors, their DCR-based scheme takes 1h20min to encrypt, and over 5min to decrypt, whereas our slowest scheme takes 5.2s to encrypt and 0.5s to decrypt. Similarly a ciphertext for their scheme is of 283MB; those of our HSM CL-based scheme are of 30kB. | |
| dc.description.sponsorship | Calcul réparti sécurisé : Cryptographie, Combinatoire, Calcul Formel - ANR-21-CE39-0006 | |
| dc.language.iso | en | |
| dc.publisher | Elsevier | |
| dc.subject.en | Public key cryptography | |
| dc.subject.en | Functional encryption for inner products | |
| dc.subject.en | Cryptography based on class groups of an imaginary quadratic field | |
| dc.subject.en | Security proofs | |
| dc.subject.en | Projective hash functions | |
| dc.title.en | A tighter proof for CCA secure inner product functional encryption: Genericity meets efficiency | |
| dc.type | Article de revue | |
| dc.identifier.doi | 10.1016/j.tcs.2022.02.014 | |
| dc.subject.hal | Informatique [cs]/Cryptographie et sécurité [cs.CR] | |
| dc.description.sponsorshipEurope | Cryptography for Privacy and Integrity of Computation on Untrusted Machines | |
| bordeaux.journal | Theoretical Computer Science | |
| bordeaux.page | 84-113 | |
| bordeaux.volume | 914 | |
| bordeaux.hal.laboratories | Institut de Mathématiques de Bordeaux (IMB) - UMR 5251 | * |
| bordeaux.institution | Université de Bordeaux | |
| bordeaux.institution | Bordeaux INP | |
| bordeaux.institution | CNRS | |
| bordeaux.peerReviewed | oui | |
| hal.identifier | hal-03780500 | |
| hal.version | 1 | |
| hal.popular | non | |
| hal.audience | Internationale | |
| hal.origin.link | https://hal.archives-ouvertes.fr//hal-03780500v1 | |
| bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.jtitle=Theoretical%20Computer%20Science&rft.date=2022-05&rft.volume=914&rft.spage=84-113&rft.epage=84-113&rft.eissn=1879-2294&rft.issn=1879-2294&rft.au=CASTAGNOS,%20Guilhem&LAGUILLAUMIE,%20Fabien&TUCKER,%20Ida&rft.genre=article |
Fichier(s) constituant ce document
| Fichiers | Taille | Format | Vue |
|---|---|---|---|
|
Il n'y a pas de fichiers associés à ce document. |
|||