Login / Signup
VESPo: Verified Evaluation of Secret Polynomials (with application to dynamic proofs of retrievability).
Jean-Guillaume Dumas
Aude Maignan
Clément Pernet
Daniel S. Roche
Published in:
Proc. Priv. Enhancing Technol. (2023)
Keyphrases
</>
evaluation methods
bayesian networks
dynamic environments
evaluation method
theorem proving
hermite transform