Login / Signup

Automatized high-level evaluation of security properties for RTL hardware designs.

Andrea HöllerChristopher PreschernChristian StegerChristian KreinerArmin KriegHolger BockJosef Haid
Published in: WESS (2013)
Keyphrases
  • security properties
  • high level
  • hardware designs
  • formal model
  • model based diagnosis
  • security requirements
  • low cost
  • security protocols
  • cryptographic protocols
  • software systems
  • formal methods
  • security analysis