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

作者：Ruizhe Zhao, Cong Sun, Zongzhen Li, Yunbai Wang, Wang Tiantian Wang Tiantian · 发表于：Zenodo (CERN European Organization for Nuclear Research) · 年份：2026 · DOI：10.5281/zenodo.21783071 · 研究领域：Computer science、Operating system、Embedded 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.