Functional correctness proofs of encryption algorithms (2005)

by J Duan, J Hurd, G Li, S Owens, K Slind, J Zhang
Venue:In Logic for Programming, Artificial Intelligence, and Reasoning