@ARTICLE{IEEETCAD:MourisTsoutsos21,
  author={Mouris, Dimitris and Gouert, Charles and Tsoutsos, Nektarios Georgios},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  title={{Privacy-Preserving IP Verification}},
  year={2022},
  volume={41},
  number={7},
  pages={2010-2023},
  keywords={Cryptography;Protocols;Supply chains;Random access memory;Privacy;Logic gates;Libraries;Circuit simulation;hardware security;intellectual property (IP) theft;IP verification;secure computation;trustworthy hardware;zero-knowledge proofs (ZKPs)},
  doi={10.1109/TCAD.2021.3107251}
}