@conference{1297256,
  author = {Zhaokun Han and Daniel Xing and Kostas Amberiadis and Ankur Srivastava and Jeyavijayan Rajendran},
  title = {SCONE: A Logic Locking Technique Utilizing SMT Solver and Circuit Encoding Scheme for Efficient Hardware IP Protection},
  year = {2025},
  month = {2025-09-15 04:09:00},
  publisher = {2025 62nd ACM/IEEE Design Automation Conference (DAC), San Francisco, CA, US},
  url = {https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=958766},
  doi = {https://doi.org/10.1109/DAC63849.2025.11132623},
  language = {en},
}