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