Login / Signup
Layered Symbolic Security Analysis in DY$^\star$.
Karthikeyan Bhargavan
Abhishek Bichhawat
Pedram Hosseyni
Ralf Küsters
Klaas Pruiksma
Guido Schmitz
Clara Waldmann
Tim Würtele
Published in:
IACR Cryptol. ePrint Arch. (2023)
Keyphrases
</>
security analysis
smart card
security requirements
public key
security model
image encryption
high security
user authentication
authentication protocol
encryption algorithm
security properties
mutual authentication
encryption scheme
authentication scheme
access control