Round Optimal Black-Box “Commit-and-Prove”.

Dakshita Khurana Rafail Ostrovsky Akshayaram Srinivasan

Published in: IACR Cryptol. ePrint Arch. (2018)

Keyphrases

black box
black boxes
white box
test cases
integration testing
optimal solution
rule extraction
databases
state transition
hybrid systems
efficiently computable
neural network
semantic annotation