"Automatic Formal Verification of Block Cipher Implementations."

Eric Whitman Smith, David L. Dill (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics