A Formal Security Analysis of Session Resumption Across Hostnames.

Kai Gellert Tobias Handirk

Published in: IACR Cryptol. ePrint Arch. (2021)

Keyphrases

security analysis
public key
security requirements
smart card
security model
security properties
high security
user authentication
encryption algorithm
image encryption
authentication protocol
formal model
encryption scheme
proxy signature scheme
formal methods