Login / Signup
Corine Lu
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Security Level
Lightweight
Cryptographic Protocols
Intrusion Detection
Top Venues
HASP@ISCA
</>
Publications
</>
Shuwen Deng
,
Doguhan Gümüsoglu
,
Wenjie Xiong
,
Sercan Sari
,
Y. Serhan Gener
,
Corine Lu
,
Onur Demir
,
Jakub Szefer
SecChisel Framework for Security Verification of Secure Processor Architectures.
HASP@ISCA
(2019)