![](/img/cover-not-exists.png)
[IEEE 2020 57th ACM/IEEE Design Automation Conference (DAC) - San Francisco, CA, USA (2020.7.20-2020.7.24)] 2020 57th ACM/IEEE Design Automation Conference (DAC) - Pythia: Intellectual Property Verification in Zero-Knowledge
Mouris, Dimitris, Georgios Tsoutsos, NektariosYear:
2020
DOI:
10.1109/dac18072.2020.9218639
File:
PDF, 1.26 MB
2020