Cited By
View all- Zeng FZhang ZChang RYu CZhang ZZhao Y(2023)Lark: Verified Cross-Domain Access Control for Trusted Execution Environments2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE)10.1109/ISSRE59848.2023.00031(160-171)Online publication date: 9-Oct-2023
- Miao XZeng FChang RYu CZhang ZJiang LZhao Y(2022)Is your access allowed or not? A Verified Tag-based Access Control Framework for the Multi-domain TEEProceedings of the 13th Asia-Pacific Symposium on Internetware10.1145/3545258.3545281(252-261)Online publication date: 11-Jun-2022