Fanlang Zeng

According to our database, Fanlang Zeng authored at least 6 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

KBX: Verified Model Synchronization via Formal Bidirectional Transformation.

Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren

ACM Trans. Softw. Eng. Methodol., February, 2025

Freesia: Verifying Correctness of TEE Communication with Concurrent Separation Logic.

Fanlang Zeng, Rui Chang, Hongjian Liu

Proc. ACM Softw. Eng., 2025

2024

ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile.

Jilin Hu, Fanlang Zeng, Yongwang Zhao, Zhuoruo Zhang, Leping Zhang, Jianhong Zhao, Rui Chang, Kui Ren

IEEE Trans. Dependable Secur. Comput., 2024

2023

Refinement-based Modeling and Formal Verification for Multiple Secure Partitions of TrustZone.

Fanlang Zeng, Rui Chang, Hao Xu, Shaoping Pan, Yongwang Zhao

Int. J. Softw. Informatics, 2023

Lark: Verified Cross-Domain Access Control for Trusted Execution Environments.

Fanlang Zeng, Zhuoruo Zhang, Rui Chang, Chenyang Yu, Zijun Zhang, Yongwang Zhao

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, 2023

2022

Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEE.

Xinliang Miao, Fanlang Zeng, Rui Chang, Chenyang Yu, Zijun Zhang, Liehui Jiang, Yongwang Zhao

Proceedings of the Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11, 2022