HOST: HLS Obfuscations against SMT ATtack

Chandan Karfa, T. M. Abdul Khader, Yom Nigam, Ramanuj Chouksey, Ramesh Karri. HOST: HLS Obfuscations against SMT ATtack. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021. pages 32-37, IEEE, 2021. [doi]

@inproceedings{KarfaKNCK21,
  title = {HOST: HLS Obfuscations against SMT ATtack},
  author = {Chandan Karfa and T. M. Abdul Khader and Yom Nigam and Ramanuj Chouksey and Ramesh Karri},
  year = {2021},
  doi = {10.23919/DATE51398.2021.9473927},
  url = {https://doi.org/10.23919/DATE51398.2021.9473927},
  researchr = {https://researchr.org/publication/KarfaKNCK21},
  cites = {0},
  citedby = {0},
  pages = {32-37},
  booktitle = {Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021},
  publisher = {IEEE},
  isbn = {978-3-9819263-5-4},
}