P. . Beerel, M. Georgiou, B. Hamlin, A. J. Malozemoff, and P. Nuzzo, “Towards a Formal Treatment of Logic Locking”, TCHES, vol. 2022, no. 2, pp. 92–114, Feb. 2022.