Short Discrete Log Proofs for FHE and Ring-LWE Ciphertexts.

Rafaël del Pino Vadim Lyubashevsky Gregor Seiler

Published in: Public Key Cryptography (1) (2019)

Keyphrases

theorem proving
continuous data
discrete version
finite number
fault model
data sets
machine learning
genetic algorithm
image processing
image compression
theorem prover
discrete geometry
equational theories
mathematical proofs