Publication | Closed Access

Verifiable shuffles: a formal model and a Paillier-based three-round construction with provable security

Hardware SecuritySecure Multi-party ComputationVerifiable ShufflesEngineeringCryptographic PrimitiveInformation SecurityCryptographic ProtectionVerificationFormal MethodsData PrivacyComputer ScienceCryptographic ProtocolProvable SecurityFormal VerificationPaillier-based Three-round ConstructionSecure ProtocolData SecurityCryptography