Publication | Open Access

Minimal Complete Primitives for Secure Multi-Party Computation

Secure Multi-party ComputationCryptographic PrimitiveEngineeringMinimal Complete PrimitivesFormal MethodsData PrivacyComputer ScienceCryptographic ProtocolFormal VerificationData SecurityCryptography