论文标题
EDA乱码:保留电子设计自动化的隐私
Garbled EDA: Privacy Preserving Electronic Design Automation
论文作者
论文摘要
现代综合电路(ICS)的复杂性需要多个不信任的各方之间的合作,包括第三部分知识产权(3PIP)供应商,设计公司,CAD/EDA工具供应商和铸造厂,这危害了每个政党IP的机密性和完整性。 IP保护标准和研究人员提出的现有技术是临时的,容易受到众多结构,功能和/或侧向通道攻击的影响。我们的框架,EDA乱七八糟,通过在安全的多方计算设置中提出问题,提出了一个替代方向,在此设置中,IPS,CAD工具和过程设计套件(PDK)的隐私设置得以维护。作为概念验证,在模拟的背景下评估了乱码的EDA,其中支持多个IP描述格式(Verilog,c,s)。我们的结果表明,合理的逻辑资源成本和可忽略的内存开销。为了进一步减少开销,我们提出了另一种有效的实施方法,当资源利用是一种瓶颈时,可行,但是两方之间的沟通不受限制。有趣的是,即使在有恶意的对手在场的情况下,该实施是私人而安全的,例如试图获得CAD工具提供商的PDK或内部IPS的访问权限。
The complexity of modern integrated circuits (ICs) necessitates collaboration between multiple distrusting parties, including thirdparty intellectual property (3PIP) vendors, design houses, CAD/EDA tool vendors, and foundries, which jeopardizes confidentiality and integrity of each party's IP. IP protection standards and the existing techniques proposed by researchers are ad hoc and vulnerable to numerous structural, functional, and/or side-channel attacks. Our framework, Garbled EDA, proposes an alternative direction through formulating the problem in a secure multi-party computation setting, where the privacy of IPs, CAD tools, and process design kits (PDKs) is maintained. As a proof-of-concept, Garbled EDA is evaluated in the context of simulation, where multiple IP description formats (Verilog, C, S) are supported. Our results demonstrate a reasonable logical-resource cost and negligible memory overhead. To further reduce the overhead, we present another efficient implementation methodology, feasible when the resource utilization is a bottleneck, but the communication between two parties is not restricted. Interestingly, this implementation is private and secure even in the presence of malicious adversaries attempting to, e.g., gain access to PDKs or in-house IPs of the CAD tool providers.