Publication | Open Access

Verifiable Random Functions: Relations to Identity-Based Key Encapsulation and New Constructions

Cryptographic PrimitiveEngineeringAutomated ReasoningInformation SecurityVerifiable Random FunctionsVerificationIdentity-based Key EncapsulationFormal MethodsData PrivacyNew ConstructionsCloud CryptographyCryptographic TechnologyComputer ScienceCryptographic ProtocolFormal VerificationCryptographic ProtectionData SecurityCryptography