Universal Composability is Secure Compilation.

Marco Patrignani Riad S. Wahby Robert Künneman

Published in: CoRR (2019)

Keyphrases

security issues
stream cipher
neural network
real time
knowledge compilation
security level
algorithmic information theory
scalar product
model counting
covert channel
kolmogorov complexity
key exchange
identity management
cryptographic protocols
key management
security mechanisms
learning algorithm