Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark M. Tehranipoor. Warm Up before Circuit De-obfuscation? An Exploration through Bounded-Model-Checkers. In IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2022, McLean, VA, USA, June 27-30, 2022. pages 13-16, IEEE, 2022. [doi]
Abstract is missing.