一篇名为“寄存器转移级soc机密性验证的正式方法”的新技术论文获得了今年英特尔硬件安全学术奖计划的第一名。该方法利用UPEC(唯一程序执行检查)来识别导致违反机密性的功能设计错误，包括处理器及其外围设备。
“在本文中，研究人员演示了如何使用唯一程序执行(UPEC)方法来推理片上系统(SoC)的机密性。UPEC方法采用了一种高效的、基于归纳的信息流跟踪公式。虽然最初的UPEC方法是为cpu的微架构侧通道检测而制定的，但这项工作演示了如何将该方法推广和扩展为soc的机密性。他们的公式直接在寄存器传输语言(RTL)上工作，并已集成到一个商业工具后端，从而产生了一种首创的、实际可行的Pre-Si安全验证技术，”根据英特尔的获奖报告。
找到这里是技术文件和这里是英特尔的记录．2021年11月出版。
J. Müller, M. R. Fadiheh, A. L. D. Antón, T. Eisenbarth, D. Stoffel和W. Kunz，“在寄存器转移级别的soc机密性验证的正式方法”，2021年第58届ACM/IEEE设计自动化会议(DAC)， 2021年，第991-996页，doi: 10.1109/DAC18074.2021.9586248。
留下回复