Login / Signup

Formal Verification of Hardware Support for Advanced Encryption Standard.

Anna Slobodová
Published in: FMCAD (2008)
Keyphrases
  • formal verification
  • model checking
  • advanced encryption standard
  • low cost
  • automated verification
  • bounded model checking