Login / Signup
Bingnan Zhong
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Computationally Expensive
Kernel Function
Mutual Authentication
Feature Space
Top Venues
SEC
ACSAC
TrustCom
</>
Publications
</>
Yinggang Guo
,
Zicheng Wang
,
Bingnan Zhong
,
Qingkai Zeng
Formal Modeling and Security Analysis for Intra-level Privilege Separation.
ACSAC
(2022)
Bingnan Zhong
,
Zicheng Wang
,
Yinggang Guo
,
Qingkai Zeng
CryptKSP: A Kernel Stack Protection Model Based on AES-NI Hardware Feature.
SEC
(2022)
Bingnan Zhong
,
Qingkai Zeng
SecPT: Providing Efficient Page Table Protection based on SMAP Feature in an Untrusted Commodity Kernel.
TrustCom
(2021)