- CSB - MetaPress - Google - Bing - Yahoo
 | 2005 | |
|---|---|---|
| 1 |      | Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang: Functional Correctness Proofs of Encryption Algorithms. LPAR 2005: 519-533 |
| 1 | Joe Hurd | [1] |
| 2 | Guodong Li | [1] |
| 3 | Scott Owens | [1] |
| 4 | Konrad Slind | [1] |
| 5 | Junxing Zhang | [1] |