TEE-PA: TEE Is a Cornerstone for Remote Provenance Auditing on Edge Devices With Semi-TCB. - Taichi Takemura; Ryo Yamamoto; Kuniyasu Suzaki (IEEE Access, 2024)