Login / Signup

Automatic Formal Verification of Block Cipher Implementations.

Eric Whitman SmithDavid L. Dill
Published in: FMCAD (2008)
Keyphrases
  • formal verification
  • model checking
  • block cipher
  • bounded model checking
  • model checker
  • automated verification
  • symbolic model checking
  • program slicing
  • efficient implementation
  • power consumption
  • s box