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

SecChisel Framework for Security Verification of Secure Processor Architectures.

Shuwen DengDoguhan GümüsogluWenjie XiongSercan SariY. Serhan GenerCorine LuOnur DemirJakub Szefer
Published in: HASP@ISCA (2019)
Keyphrases
  • cryptographic protocols
  • lightweight
  • parallel processing
  • data security
  • intrusion detection
  • key management
  • security level
  • security management