Predictable and Secure System Auditing for Real-Time Systems. - Peng Jiang 007; Fanhang Hu; Ruizhe Huang; Shuomin Xue; Zhaomeng Deng; Yuxin Ren 001; Ning Jia 004; Yao Guo 001; Xiangqun Chen; Ding Li 001; Guang Cheng (RTSS, 2025)