@inproceedings {287095,
	author = {Thomas Haines and Rajeev Gore and Mukesh Tiwari},
	title = {Machine-checking {Multi-Round} Proofs of Shuffle: {Terelius-Wikstrom} and {Bayer-Groth}},
	booktitle = {32nd USENIX Security Symposium (USENIX Security 23)},
	year = {2023},
	isbn = {978-1-939133-37-3},
	address = {Anaheim, CA},
	pages = {6471--6488},
	url = {https://www.usenix.org/conference/usenixsecurity23/presentation/haines},
	publisher = {USENIX Association},
	month = aug
}
