A Reliable Cryptographic Framework for Empirical Machine Unlearning Evaluation - Tu, Yiwen; Hu, Pingbang; Ma, Jiaqi (Advances in Neural Information Processing Systems, 2025)