Sign in

Functional Correctness Proofs of Encryption Algorithms.

Jianjun DuanJoe HurdGuodong LiScott OwensKonrad SlindJunxing 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