Login / Signup
Jinhai Gong
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Security Problems
Malware Detection
Memory Space
Java Card
Top Venues
QRS Companion
</>
Publications
</>
Lu Zhao
,
Lingyun Xu
,
Guojing Luo
,
Xiang Long
,
Jinhai Gong
,
Xiaobo Sang
SecVerifier: A Practical Memory-Security Verifier.
QRS Companion
(2021)