SCONE: A Logic Locking Technique Utilizing SMT Solver and Circuit Encoding Scheme for Efficient Hardware IP Protection

Zhaokun Han, Daniel Xing, Kostas Amberiadis, Ankur Srivastava 0001, Jeyavijayan (JV) Rajendran. SCONE: A Logic Locking Technique Utilizing SMT Solver and Circuit Encoding Scheme for Efficient Hardware IP Protection. In 62nd ACM/IEEE Design Automation Conference, DAC 2025, San Francisco, CA, USA, June 22-25, 2025. pages 1-7, IEEE, 2025. [doi]

Authors

Zhaokun Han

This author has not been identified. Look up 'Zhaokun Han' in Google

Daniel Xing

This author has not been identified. Look up 'Daniel Xing' in Google

Kostas Amberiadis

This author has not been identified. Look up 'Kostas Amberiadis' in Google

Ankur Srivastava 0001

This author has not been identified. Look up 'Ankur Srivastava 0001' in Google

Jeyavijayan (JV) Rajendran

This author has not been identified. Look up 'Jeyavijayan (JV) Rajendran' in Google