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:
CCS (2021)
Keyphrases
</>
security analysis
public key
high security
smart card
security requirements
security model
image encryption
real time
user authentication
data sources
fine grained
security properties
mutual authentication
proxy signature scheme