Verifying the part of AES code that uses BitSlice technique for AES encryption phases and keygen functions