ARTO: Efficient Execution Integrity Attestation for Real-Time Operation of Cyber-Physical Systems.(USENIX Security '26 artifact)

作者：Ruizhe Zhao, Cong Sun, Zongzhen Li, Yunbo Wang, Tiantian, Wang · 发表于：Zenodo (CERN European Organization for Nuclear Research) · 年份：2026 · DOI：10.5281/zenodo.20355901 · 研究领域：Computer science、Embedded system、Operating system、Computer security、Programming language

Artifact release for the USENIX Security '26 paper:"ARTO: Efficient Execution Integrity Attestation for Real-Time Operation of Cyber-Physical Systems."This release includes all the source code of Efficient Execution Integrity Attestation for Real-Time Operation of Cyber-Physical Systems (ARTO) .It mainly contains four key component: compiler toolchain, the simulated executor, the runtime library and the remote verifier .This release does not include any attack-related programs.The VM password is 123456.