On Provable White-Box Security in the Strong Incompressibility Model. (2023). IACR Transactions on Cryptographic Hardware and Embedded Systems, 2023(4), 167-187. https://doi.org/10.46586/tches.v2023.i4.167-187