Beerel, P. ., M. Georgiou, B. Hamlin, A. J. Malozemoff, and P. Nuzzo. “Towards a Formal Treatment of Logic Locking”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2022, no. 2, Feb. 2022, pp. 92-114, doi:10.46586/tches.v2022.i2.92-114.