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

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

Browse the full ISSRE paper archive.