Lark Artifact
Fanlang Zeng · Zenodo (CERN European Organization for Nuclear Research) · 2023
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.