C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
SecChisel Framework for Security Verification of Secure Processor Architectures.
Shuwen Deng
Doguhan Gümüsoglu
Wenjie Xiong
Sercan Sari
Y. Serhan Gener
Corine Lu
Onur Demir
Jakub Szefer
Published in:
HASP@ISCA (2019)
Keyphrases
</>
cryptographic protocols
lightweight
parallel processing
data security
intrusion detection
key management
security level
security management