报告题目: Building Trustworthy System with Untrusted Components: Countermeasures against Hardware Trojans Collusion
报告人： 杨乘默 副教授
主持人：陈铭松
报告时间： 7月11日 周二上午 10:00—11：00
报告地点： 中北校区数学馆201

报告摘要：

This talk presents a framework for building a trustworthy system with potentially untrustworthy components that may contain hardware Trojans. The goal is to mute and detect Trojan collusion, in which Trojans in different components hide triggering information in inter-component messages, colluding with each other to produce system-wide catastrophe. Two design scenarios will be discussed. The first one is a multiprocessor system-on-chip (MPSoC), where hardware Trojans on untrusted 3PIP processors may collude with each other. The second scenario aims to detect the collusion of hardware Trojans in cyber-physical systems (CPS), which are usually composed of multiple untrusted nodes connected wirelessly to a trusted server in a multi-hop manner. To fulfill security requirements with minimum system resource costs and performance impacts, both scenarios combine a “design-for-trust” (DfT) model with runtime monitoring. At the design stage, a set of security rules are defined and embedded in the system. These rules provide easy-to-distinguish patterns for runtime monitoring, enabling an efficient identification of malicious messages with embedded Trojan triggers.

报告人简介:

杨乘默，美国特拉华大学副教授，终身教授，博士生导师。于北京大学获的本科学士学位，于美国加州大学圣地亚哥分校获的硕士和博士学位。现就职于美国特拉华大学电子和计算机工程系，并在清华大学高精尖中心任高级访问学者。在国际顶级期刊杂志上发表论文50余篇，担任IEEE，ACM等多种学术期刊的评审和ASP-DAC，CODES-ISSS, ICCD， LCTES，RTSS等会议的评审委员。主要研究方向包括嵌入式系统，计算机体系结构，硬件可靠性和硬件安全，非易失性存储等。