Formal Security Analysis of Neural Networks using Symbolic Intervals.

Shiqi Wang Kexin Pei Justin Whitehouse Junfeng Yang Suman Jana

Published in: CoRR (2018)

Keyphrases

security analysis
neural network
public key
smart card
security model
high security
image encryption
security requirements
security properties
formal methods
user authentication
encryption algorithm
formal model
authentication protocol
encryption scheme
knn
multiresolution
databases