Proofs of Restricted Shuffles

DOI10.1007/978-3-642-12678-9_7MaRDI QIDQ3558306zbMATH OpenOpenAlexFDO

Authors Björn Terelius, Douglas Wikström

Publication date 4 May 2010

Published in Progress in cryptology -- AFRICACRYPT 2010. Third international conference on cryptology in Africa, Stellenbosch, South Africa, May 3--6, 2010. Proceedings (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-12678-9_7

zbMATH Keywords

cryptographic protocolselection schemesmix-netsproof of a shuffle

Mathematics Subject Classification ID

Network protocols (68M12) Cryptography (94A60)

Recommendations

• A proof of the shuffle conjecture
• scientific article; zbMATH DE number 1842502
• Lattice-Based Proof of a Shuffle
• Proof of the 2-part compositional shuffle conjecture
• Bijective proofs of shuffle compatibility results
• A Commitment-Consistent Proof of a Shuffle
• A Bijective Proof of Stanley's Shuffling Theorem
• The shuffle conjecture
• New combinatorial formulations of the shuffle conjecture

Cited in

(16)

• Shorter lattice-based zero-knowledge proofs for the correctness of a shuffle
• Verifiable multi-party computation with perfectly private audit trail
• Malleable proof systems and applications
• A short proof that shuffle squares are 7-avoidable
• A Bijective Proof of Stanley's Shuffling Theorem
• scientific article; zbMATH DE number 1842502 (Why is no real title available?)
• Succinct malleable NIZKs and an application to compact shuffles
• Formal and precise analysis of soundness of several shuffling schemes
• Mix-nets from re-randomizable and replayable CCA-secure public-key encryption
• Improving the Performance of Cryptographic Voting Protocols
• Lattice-Based Proof of a Shuffle
• PFE: linear active security, double-shuffle proofs, and low-complexity communication
• Efficient verifiable mixnets from lattices, revisited
• Special soundness revisited
• Computationally secure pattern matching in the presence of malicious adversaries
• More efficient shuffle argument from unique factorization

This page was built for publication: Proofs of Restricted Shuffles

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3558306)