Kimia Zamiri Azar, Hadi Mardani Kamali, Farimah Farahmandi, Mark M. Tehranipoor. Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration. IEEE Transactions on Information Forensics and Security, 19:2771-2785, 2024. [doi]
Abstract is missing.