Soundness of Formal Encryption in the Presence of Key-Cycles.

Pedro Adão Gergei Bana Jonathan Herzog Andre Scedrov

Published in: ESORICS (2005)

Keyphrases

high security
encryption algorithms
data encryption standard
neural network
formal model
data sets
learning algorithm
formal specification
block cipher