USENIX Security ’23 Machine-Checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth

Authors/Presenters:Thomas Haines, Rajeev Gore, Mukesh Tiwari Many thanks to USENIX for publishing their outstanding USENIX Security ’23 Presenter’s co…

First seen on securityboulevard.com

Jump to article: securityboulevard.com/2024/08/usenix-security-23-machine-checking-multi-round-proofs-of-shuffle-terelius-wikstrom-and-bayer-groth/