A Novel Proof of Shuffle: Exponentially Secure Cut-and-Choose.

Thomas Haines Johannes Müller

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

information systems
theorem prover
security level
neural network
theorem proving
security issues
standard model
authentication scheme
stream cipher
key exchange