• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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