On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.

Michael Backes Markus Dürmuth Ralf Küsters

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

Keyphrases

cellular automata
information retrieval
genetic algorithm
information systems
expert systems
neural learning