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]
@inproceedings{HanXASR25,
title = {SCONE: A Logic Locking Technique Utilizing SMT Solver and Circuit Encoding Scheme for Efficient Hardware IP Protection},
author = {Zhaokun Han and Daniel Xing and Kostas Amberiadis and Ankur Srivastava 0001 and Jeyavijayan (JV) Rajendran},
year = {2025},
doi = {10.1109/DAC63849.2025.11132623},
url = {https://doi.org/10.1109/DAC63849.2025.11132623},
researchr = {https://researchr.org/publication/HanXASR25},
cites = {0},
citedby = {0},
pages = {1-7},
booktitle = {62nd ACM/IEEE Design Automation Conference, DAC 2025, San Francisco, CA, USA, June 22-25, 2025},
publisher = {IEEE},
isbn = {979-8-3315-0304-8},
}