Publication | Closed Access

Less is more: relaxed yet composable security notions for key exchange

Cryptographic PrimitiveEngineeringKey ExchangeUsable SecurityComposable Security NotionsInformation SecurityCryptographic ProtectionFormal MethodsData PrivacyComputer ScienceCryptographic ProtocolKey ManagementFormal VerificationBlockchainData SecurityCryptography