Login / Signup
Toward a formal proof for multi-secret sharing in the random oracle model.
Samaneh Mashhadi
Published in:
Inf. Secur. J. A Glob. Perspect. (2020)
Keyphrases
</>
probabilistic model
formal proof
preprocessing
secret sharing
multiresolution
image data
theorem prover