Functional Correctness Proofs of Encryption Algorithms.

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

Browse the full LPAR paper archive.