There is a newer version of the record available.

Published August 20, 2023 | Version v1

Lark Artifact

Authors/Creators

  • 1. Zhejiang University

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.

Files

Lark_artifact.zip

Files (17.1 GB)

Name Size
md5:e81ed683ee6308746c86afe5a16bf630
72.9 kB Preview Download
md5:8083a75442c8f38d5dbf28f7e1f44ee1
11.2 kB Preview Download
md5:5ecde08ccf25b71801cafa4b9e92bb9f
187.5 MB Download
md5:e04b7f25f62ae9471bbc6b4f4264596b
16.9 GB Download