@INPROCEEDINGS{ISVLSI:MouGouTso22,
  author={Mouris, Dimitris and Gouert, Charles and Tsoutsos, Nektarios Georgios},
  booktitle={2022 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)},
  title={{zk-Sherlock: Exposing Hardware Trojans in Zero-Knowledge}},
  year={2022},
  volume={},
  number={},
  pages={170-175},
  keywords={Privacy;Supply chains;Transforms;Intellectual property;Very large scale integration;Hardware;Manufacturing;─Circuit simulation;Hardware security;Hardware Trojans;IP verification;Zero-knowledge proofs (ZKPs)},
  doi={10.1109/ISVLSI54635.2022.00042}
}