Provable Data Auditing Scheme from Trusted Execution Environment. - Yuluo Zeng; Xinlei Sheng; Kai Zhao; Suliu Yang (ML4CS, 2024)