AppsPlayground: automatic security analysis of smartphone applications.

Vaibhav Rastogi Yan Chen William Enck

Published in: CODASPY (2013)

Keyphrases

security analysis
public key
security requirements
smart card
security model
high security
encryption scheme
image encryption
security properties
mutual authentication
user authentication
authentication scheme
software engineering
encryption algorithm