URL has been copied successfully!
USENIX Security ’23 Machine-Checking Multi-Round Proofs of Shuffle: Terelius-Wikstrom and Bayer-Groth – Information is key, but action opens the lock
URL has been copied successfully!

Information is key, but action opens the lock

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

—

by

Andy Stern
in

Tags:
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/

Loading

Share via Email
Share on Facebook
Tweet on X (Twitter)
Share on Whatsapp
Share on LinkedIn
Share on Xing
Copy link

also interesting:

  1. Going to
  2. Fed-run LockBit site back from the dead and vows to really spill the beans on gang
  3. Join Cequence Security at Black Hat 2024: Protect What Connects You
  4. #Infosec2024: Small Firms Need to Work Smarter to Stretch Security Budgets