跳到正文
EDA前沿EDA FRONTIER

NEWS / 动态

#安全/伦理

按时间浏览,使用右上角筛选切换领域。

8月27日周四
6月15日周一
  1. ACM SIGDA18

    IEEE HOST 2027 征稿启动:硬件安全与信任研讨会

    IEEE HOST 2027 已开放征稿,第20届会议将于2027年5月在华盛顿特区举办。征稿覆盖AI与硬件安全、硬件安全CAD验证、PUF/TRNG等安全原语、攻击与防御、架构与系统安全、Chiplet与先进封装安全等方向,设长文(10页正文加2页参考文献)与短文(5页正文加1页参考文献)两种格式,采用双盲评审,仅长文进入rebuttal流程。

4月19日周日
  1. Axiomise 官方动态22
    Axiomise 官方动态的报道配图

    Axiomise 谈“硅验证通过”为何不足以保障处理器安全

    Axiomise 的 Ashish Darbari 撰文指出,Meltdown 与 Spectre 暴露的安全漏洞说明安全不只是软件问题,而是系统问题,需在设计前端就纳入架构考量。他认为动态仿真难以扩展、单纯仿真也不够,应引入形式化验证等手段;文中以他协助验证一款可定制 CPU 的经历为例,形式化测试平台发现了非特权访问特权内存区域等漏洞,部分源于设计疏漏或实现与规格不符。