Vetting Single Sign-On SDK Implementations via Symbolic Reasoning.

Ronghai Yang Wing Cheong Lau Jiongyi Chen Kehuan Zhang

Published in: USENIX Security Symposium (2018)

Keyphrases

symbolic reasoning
open source
symbolic representation
production rules
data sets
programming language
development kit
neural network
genetic algorithm
expert systems
control system
multistage
temporal information