Sequential Indifferentiability of 7-Round Misty Structures. - Jiayi Ai; Chun Guo 008 (CT-RSA, 2025)