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. In Internetware 2022: 13th Asia-Pacific Symposium on Internetware, Hohhot, China, June 11 - 12, 2022. pages 252-261, ACM, 2022. [doi]
Abstract is missing.