Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Haines, Rajeev Goré, Mukesh Tiwari. Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth. In Joseph A. Calandrino, Carmela Troncoso, editors, 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023. pages 6471-6488, USENIX Association, 2023. [doi]

This author has not been identified. Look up 'Thomas Haines' in GoogleThis author has not been identified. Look up 'Rajeev Goré' in GoogleThis author has not been identified. Look up 'Mukesh Tiwari' in Google

runs on WebDSL