Login / Signup
Fanlang Zeng
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 4
Top Topics
Formal Verification
Access Control
Symbolic Model Checking
Multi Domain
Top Venues
CoRR
Internetware
ISSRE
Int. J. Softw. Informatics
</>
Publications
</>
Jianhong Zhao
,
Yongwang Zhao
,
Peisen Yao
,
Fanlang Zeng
,
Bohua Zhan
,
Kui Ren
KBX: Verified Model Synchronization via Formal Bidirectional Transformation.
CoRR
(2024)
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)