Black-box obfuscation for d-CNFs.

Zvika Brakerski Guy N. Rothblum

Published in: ITCS (2014)

Keyphrases

black box
black boxes
reverse engineering
recursive least squares
conjunctive normal form
malware detection
white box
white box testing
test cases
hybrid systems
static analysis
rule extraction
state transition
control flow
data sets
multimedia