Publication | Closed Access

A private interactive test of a boolean predicate a minimum-knowledge public-key cryptosystems

Hardware SecurityCryptographic PrimitiveEngineeringBoolean PredicatePrivate Interactive TestInformation SecurityAutomated ReasoningCryptographic ProtectionFormal MethodsData PrivacyCryptosystemComputer ScienceMinimum-knowledge Public-key CryptosystemsCryptographic ProtocolFormal VerificationBlockchainData SecurityCryptography