Publication | Closed Access

On security analysis of an after-the-fact leakage resilient key exchange protocol

Cryptographic PrimitiveEngineeringAuthentication ProtocolInformation SecurityCryptographic ProtectionSecurity AnalysisVerificationFormal MethodsData PrivacyComputer ScienceCryptographic ProtocolFormal VerificationSecure ProtocolData SecurityCryptography