Automatic Formal Verification of Block Cipher Implementations | IEEE Conference Publication | IEEE Xplore