On Provable White-Box Security in the Strong Incompressibility Model. TCHES. 2023;2023(4):167-187. doi:10.46586/tches.v2023.i4.167-187