Login / Signup
Practical Statistically-Sound Proofs of Exponentiation in any Group.
Charlotte Hoffmann
Pavel Hubácek
Chethan Kamath
Karen Klein
Krzysztof Pietrzak
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
statistically sound
bayesian analysis
formal proof
database
case study
natural language processing
text mining
practical application
theorem prover
formal proofs