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 content, and the organizations strong commitment to Open Access. Originating from the conference’s events situated at the Anaheim Marriott; and via the organizations YouTube channel.

Permalink

The post USENIX Security ’23 – Machine-Checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth appeared first on Security Boulevard.