TY - CONF AU - Han, Zhaokun AU - Xing, Daniel AU - Amberiadis, Kostas AU - Srivastava, Ankur AU - Rajendran, Jeyavijayan C2 - 2025 62nd ACM/IEEE Design Automation Conference (DAC), San Francisco, CA, US DA - 2025-09-15 04:09:00 DO - https://doi.org/10.1109/DAC63849.2025.11132623 LA - en PB - 2025 62nd ACM/IEEE Design Automation Conference (DAC), San Francisco, CA, US PY - 2025 TI - SCONE: A Logic Locking Technique Utilizing SMT Solver and Circuit Encoding Scheme for Efficient Hardware IP Protection UR - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=958766 ER -