Succinct Spooky Free Compilers Are Not Black Box Sound.

Zvika Brakerski Yael Tauman Kalai Renen Perlman

Published in: ASIACRYPT (3) (2017)

Keyphrases

black box
white box
black boxes
programming language
hardware and software
white box testing
test cases
general purpose
computer architecture
integration testing
hybrid systems
state transition
high level
database
computer systems
intelligent systems
mobile robot
data model
decision trees
machine learning
data sets