Login / Signup

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