Marcel Merten, Sebastian Huhn 0001, Rolf Drechsler. Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods. In IEEE European Test Symposium, ETS 2023, Venezia, Italy, May 22-26, 2023. pages 1-6, IEEE, 2023. [doi]
Abstract is missing.