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]
@inproceedings{HainesGT23, title = {Machine-checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth}, author = {Thomas Haines and Rajeev Goré and Mukesh Tiwari}, year = {2023}, url = {https://www.usenix.org/conference/usenixsecurity23/presentation/haines}, researchr = {https://researchr.org/publication/HainesGT23}, cites = {0}, citedby = {0}, pages = {6471-6488}, booktitle = {32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023}, editor = {Joseph A. Calandrino and Carmela Troncoso}, publisher = {USENIX Association}, }