Functional Correctness Proofs of Encryption Algorithms.

Jianjun Duan Joe Hurd Guodong Li Scott Owens Konrad Slind Junxing Zhang

Published in: LPAR (2005)

Keyphrases

encryption algorithms
data encryption standard
encryption algorithm
image encryption
international standards
data encryption
wireless communication systems
low cost
privacy preserving