Round-Optimal Black-Box Protocol Compilers.

Yuval Ishai Dakshita Khurana Amit Sahai Akshayaram Srinivasan

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

Keyphrases

black box
black boxes
white box
programming language
white box testing
dynamic programming
test cases
rule extraction
hybrid systems
integration testing
general purpose
state transition
case study
high level
software engineering
tcp ip