Lark: Verified Cross-Domain Access Control for Trusted Execution Environments
Zeng, Fanlang, Zhang, Zhuoruo, Chang, Rui, Yu, Chenyang, Zhang, Zijun, Zhao, Yongwang
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Published in 2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE) (09.10.2023)
Get full text
Conference Proceeding
KBX: Verified Model Synchronization via Formal Bidirectional Transformation
Zhao, Jianhong, Zhao, Yongwang, Yao, Peisen, Zeng, Fanlang, Zhan, Bohua, Ren, Kui
Year of Publication 29.04.2024
Year of Publication 29.04.2024
Get full text
Journal Article
KBX: Verified Model Synchronization via Formal Bidirectional Transformation
Zhao, Jianhong, Zhao, Yongwang, Yao, Peisen, Zeng, Fanlang, Zhan, Bohua, Ren, Kui
Published in arXiv.org (01.05.2024)
Get full text
Published in arXiv.org (01.05.2024)
Paper
Security attribute-based access control formalized verification method for ARM (Advanced RISC Machines) architecture
MIAO XINLIANG, YU CHENYANG, ZENG FANLANG, REN KUI, ZHANG ZIJUN, CHANG RUI
Year of Publication 10.06.2022
Get full text
Year of Publication 10.06.2022
Patent