Towards Unconditional Soundness: Computationally Complete Symbolic Attacker.

Gergei Bana Hubert Comon-Lundh

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

Keyphrases

high level
decision making
symbolic representation
information retrieval
multiresolution
control system
connectionist models
symbolic description