Published August 20, 2023
| Version v1
Conference paper
Open
Lark Artifact
Description
This is the artifact for the paper "Lark: Verified Cross-Domain Access Control for Trusted Execution Environments", which includes the Lark module, the source code of Lark prototype, and experimental data.