2021 · 78 citations · 23 references
ComputingComputer ScienceMathematicsComputer SecurityCryptographyHardware SecurityClassical CryptographyCryptographic AlgorithmsCryptographic ComplexityHardware ObfuscationInformation-theoretic CryptographyInformation-theoretic SecurityComputational IndistinguishabilityEncryption Scheme SecurityIndistinguishability ObfuscationIndistinguishability SecurityLeakage-resilient CryptographyObfuscationProvable SecuritySecurity Proofs
We show the existence of indistinguishability obfuscators (iO) for general circuits assuming subexponential security of: (a) the Learning with Errors (LWE) assumption (with subexponential modulus-to-noise ratio); (b) a circular security conjecture regarding the Gentry-Sahai-Waters' (GSW) encryption scheme and a Packed version of Regev's encryption scheme. The circular security conjecture states that a notion of leakage-resilient security, that we prove is satisfied by GSW assuming LWE, is retained in the presence of an encrypted key-cycle involving GSW and Packed Regev.
23
Fully homomorphic encryption using ideal lattices
Craig Gentry · 2009 · 6.6K citations
Mihir Bellare, Phillip Rogaway · 1993 · 4.7K citations · Full text
On lattices, learning with errors, random linear codes, and cryptography
Oded Regev · 2005 · 2.2K citations
Generating hard instances of lattice problems (extended abstract)
Miklós Ajtai · 1996 · 1.3K citations · Full text
Candidate Indistinguishability Obfuscation and Functional Encryption for all Circuits
Sanjam Garg, Craig Gentry, Shai Halevi et al. · 2013 · 1.1K citations