Beerel, Peter, et al. “Towards a Formal Treatment of Logic Locking”. IACR Transactions on Cryptographic Hardware and Embedded Systems, vol. 2022, no. 2, Feb. 2022, pp. 92-114, https://doi.org/10.46586/tches.v2022.i2.92-114.