PDF-Functional Correctness Proofs of Encryption Algorithms Jianjun Duan Joe Hurd Guodong Li Scott Owens Konrad Slind and Junxing Zhang School of Computing University of Utah Oxford University Compute
We discuss a collection of mechanized formal proofs of sym metric key block encryption algorithms AES MARS Twosh RC6 Serpent IDEA and TEA performed in an implementation
Download Presentation
Download Note : "Functional Correctness Proofs of Encryption Algorithms Jianj " is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.