@inproceedings{LPAR05,
  author = {Jianjun Duan and Joe Hurd and Guodong Li and Scott Owens and Konrad Slind and Junxing Zhang},
  title = {Functional Correctness Proofs of Encryption Algorithms},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005},
  month = dec,
  year = 2005,
  editor = {Geoff Sutcliffe and Andrei Voronkov},
  series = {Lecture Notes in Artificial Intelligence},
  volume = 3835,
  publisher = {Springer-Verlag},
  pages = {519--533},
  doi = {10.1007/11591191_36}}