Login / Signup
An In-Depth Symbolic Security Analysis of the ACME Standard.
Karthikeyan Bhargavan
Abhishek Bichhawat
Quoc Huy Do
Pedram Hosseyni
Ralf Küsters
Guido Schmitz
Tim Würtele
Published in:
IACR Cryptol. ePrint Arch. (2021)
Keyphrases
</>
image sequences
security analysis
security requirements
smart card
high security
public key
user authentication
security properties
authentication protocol
lightweight
operating system
security model
image encryption
proxy signature scheme
private key
software engineering
multiresolution