E. Alpirez Bock, C. Brzuska, and R. W. F. Lai, “On Provable White-Box Security in the Strong Incompressibility Model”, TCHES, vol. 2023, no. 4, pp. 167–187, Aug. 2023.