A Version Space Approach for Digital Circuit Analysis
本文提出一种以版本空间为核心的数字电路分析框架。所谓版本空间，是指与所有观测一致的候选对象集合；其大小（对数）可以度量观测对隐藏对象的收敛程度。作者将该框架统一应用于两个传统上相互独立的问题：概率组合等价性检查和逻辑锁定网表的密钥计数。在等
#logic-locking
共收录 3 条相关情报。
← 返回所有主题Implementing Homomorphic Encryption-Based Logic Locking in System-on-Chip Designs
本研究提出了一种基于二进制 Ring Learning With Errors (RLWE) 同态加密算法的逻辑锁定方案，并将其集成到 RISC-V 系统级芯片 (SoC) 设计中。传统逻辑锁定方法需要向用户提供原始锁定参数，容易暴露敏感信
Security Analysis for SCONE Logic Locking
本文针对SCONE逻辑锁定方案（发表于DAC'25）进行了全面的安全分析。SCONE通过从原始主输入派生的额外编码输入扩展逻辑锁定接口，包含两种变体：1）with-ES变体：关键编码阶段以硬件实现；2）without-ES变体：锁定设计直接