Functional correctness proofs of encryption algorithms (2005)

by Jianjun Duan , Joe Hurd , Guodong Li , Scott Owens , Konrad Slind , Junxing Zhang
Venue:In Proceedings of 12th Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2005), number 3835 in LNAI
Citations:8 - 2 self