A Computationally Complete Symbolic Attacker for Equivalence Properties.

Gergei Bana Hubert Comon-Lundh

Published in: CCS (2014)

Keyphrases

desirable properties
data sets
neural network
artificial intelligence
structural properties
image processing
data structure