@INPROCEEDINGS{DAC:MourisTsotsos20,
  author={Mouris, Dimitris and Georgios Tsoutsos, Nektarios},
  booktitle={2020 57th ACM/IEEE Design Automation Conference (DAC)},
  title={{Pythia: Intellectual Property Verification in Zero-Knowledge}},
  year={2020},
  volume={},
  number={},
  pages={1-6},
  keywords={Logic gates;IP networks;Integrated circuits;Cryptography;Transforms;Indexes;Hardware design languages;Hardware security;trustworthy hardware;intellectual property verification;zero-knowledge proofs;IP theft},
  doi={10.1109/DAC18072.2020.9218639}
}