“PrimLock: Leveraging Linear Programming to Optimize Primitive Logic Locking” (2025) 计算机科学辑要, 1(1), pp. 153–163. doi:10.63313/CS.8015.