A Formal Model for Checking Cryptographic API Usage in JavaScript.

Duncan Mitchell Johannes Kinder

Published in: ESORICS (1) (2019)

Keyphrases

formal model
security properties
open source
smart card
web applications
formal models
security patterns
source code
web server
website
web browser
hash functions
key management
web services
application programming interface
software systems
predicate calculus
hands on guide
web pages