Login / Signup
Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth.
Thomas Haines
Rajeev Goré
Mukesh Tiwari
Published in:
USENIX Security Symposium (2023)
Keyphrases
</>
theorem proving
theorem prover
image processing
real time
case study
decision procedures