Published August 20, 2023 | Version v2
Conference paper Open

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:b7482a1bc6c16acccf242e82c31e2873
77.6 kB Preview Download
md5:f44d1e3d1fe3574017edaebf097f6ac9
11.2 kB Preview Download
md5:5ecde08ccf25b71801cafa4b9e92bb9f
187.5 MB Download
md5:e04b7f25f62ae9471bbc6b4f4264596b
16.9 GB Download