Massad, M. E., Juma, N., Shahen, J., Raykova, M., Garg, S., & Tripunitara, M. (2022). Locked Circuit Indistinguishability: A Notion of Security for Logic Locking. In (pp. 455–470). Haifa, Israel: IEEE. http://doi.org/10.1109/CSF54842.2022.9919691 (Original work published 2025)