A Black-Box Sensitization Attack on SAT-Hard Instances in Logic Obfuscation

Isaac McDaniel, Michael Zuzak, Ankur Srivastava 0001. A Black-Box Sensitization Attack on SAT-Hard Instances in Logic Obfuscation. In IEEE 40th International Conference on Computer Design, ICCD 2022, Olympic Valley, CA, USA, October 23-26, 2022. pages 239-246, IEEE, 2022. [doi]

@inproceedings{McDanielZ022,
  title = {A Black-Box Sensitization Attack on SAT-Hard Instances in Logic Obfuscation},
  author = {Isaac McDaniel and Michael Zuzak and Ankur Srivastava 0001},
  year = {2022},
  doi = {10.1109/ICCD56317.2022.00043},
  url = {https://doi.org/10.1109/ICCD56317.2022.00043},
  researchr = {https://researchr.org/publication/McDanielZ022},
  cites = {0},
  citedby = {0},
  pages = {239-246},
  booktitle = {IEEE 40th International Conference on Computer Design, ICCD 2022, Olympic Valley, CA, USA, October 23-26, 2022},
  publisher = {IEEE},
  isbn = {978-1-6654-6186-3},
}