Proof of Unlearning: Definitions and Instantiation. - Jia-Si Weng 001; Shenglong Yao; Yuefeng Du 001; Junjie Huang; Jian Weng 001; Cong Wang 001 (IEEE Trans. Inf. Forensics Secur., 2024)