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

Thomas Haines Johannes Müller

Published in: ACISP (2021)

Keyphrases

security requirements
theorem prover
stream cipher
security issues
security mechanisms
key management
database
security analysis
data encryption
user privacy
natural deduction
linear logic
authentication scheme
security level
authentication protocol
theorem proving
inference rules