Simulation-Sound Proofs for LWE and Applications to KDM-CCA2 Security

@article{Libert2019SimulationSoundPF,
  title={Simulation-Sound Proofs for LWE and Applications to KDM-CCA2 Security},
  author={Beno{\^i}t Libert and Khoa Nguyen and Alain Passel{\`e}gue and Radu Titiu},
  journal={IACR Cryptology ePrint Archive},
  year={2019},
  volume={2019},
  pages={908}
}
  • Benoît Libert, Khoa Nguyen, +1 author Radu Titiu
  • Published in IACR Cryptology ePrint Archive 2019
The Naor-Yung paradigm is a well-known technique that constructs IND-CCA2-secure encryption schemes by means of non-interactive zero-knowledge proofs satisfying a notion of simulation-soundness. Until recently, it was an open problem to instantiate it under the sole Learning-With-Errors (LWE) assumption without relying on random oracles. While the recent results of Canetti et al. (STOC’19) and PeikertShiehian (Crypto’19) provide a solution to this problem by applying the Fiat-Shamir transform… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 94 REFERENCES

Fully Leakage-Resilient Signatures

VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Fiat-Shamir: from practice to theory

  • STOC
  • 2019
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL