Sign in
Fanlang Zeng
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 3
Top Topics
Symbolic Model Checking
Access Control
Multi Domain
Formal Verification
Top Venues
Internetware
ISSRE
Int. J. Softw. Informatics
</>
Publications
</>
Fanlang Zeng
,
Zhuoruo Zhang
,
Rui Chang
,
Chenyang Yu
,
Zijun Zhang
,
Yongwang Zhao
Lark: Verified Cross-Domain Access Control for Trusted Execution Environments.
ISSRE
(2023)
Fanlang Zeng
,
Rui Chang
,
Hao Xu
,
Shaoping Pan
,
Yongwang Zhao
Refinement-based Modeling and Formal Verification for Multiple Secure Partitions of TrustZone.
Int. J. Softw. Informatics
13 (3) (2023)
Xinliang Miao
,
Fanlang Zeng
,
Rui Chang
,
Chenyang Yu
,
Zijun Zhang
,
Liehui Jiang
,
Yongwang Zhao
Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEE.
Internetware
(2022)