On Self-equivalence Encodings in White-Box Implementations.

Adrián Ranea Bart Preneel

Published in: SAC (2020)

Keyphrases

white box
black box
source code
test data
source code metrics
test cases
orders of magnitude
efficient implementation
object oriented
planning problems
equivalence relation
open source
multi agent
training data
non binary
sat instances
knowledge base
neural network