Author:
Keng Brian,Veneris Andreas
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Software
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. $\text{MP}\ell\circ \mathrm{C}$: Privacy-Preserving IP Verification Using Logic Locking and Secure Multiparty Computation;2023 IEEE 29th International Symposium on On-Line Testing and Robust System Design (IOLTS);2023-07-03
2. Privacy-Preserving IP Verification;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021
3. Fast Auto-Correction algorithm for Digital VLSI Circuits;Procedia Computer Science;2021
4. Pythia: Intellectual Property Verification in Zero-Knowledge;2020 57th ACM/IEEE Design Automation Conference (DAC);2020-07
5. SoC Security Verification Challenges;System-on-Chip Security;2019-11-23