A Lightweight Trusted Architecture and Service Mechanisms based on SylixOS. - Qidi Zhao; Hongjun You; Tianyang Wang; Changyi Du; Bohao Pei; Kailong Zhang (HPCC/DSS/SmartCity/DependSys, 2022)