Functional correctness proofs of encryption algorithms (2005)

by Jianjun Duan, Joe Hurd, Guodong Li, Scott Owens, Konrad Slind, Junxing Zhang
Venue:In Logic for Programming, Artificial Intelligence and Reasoning (LPAR