Simple, Black-Box Constructions of Adaptively Secure Protocols.

Seung Geol Choi Dana Dachman-Soled Tal Malkin Hoeteck Wee

Published in: TCC (2009)

Keyphrases

black box
black boxes
white box
integration testing
hybrid systems
state transition
rule extraction
white box testing
data sets
test cases
error rate
key distribution
cryptographic protocols
key exchange