1. 异常行为检测(李芳 闫超)
-
基于机器学习算法
难点在于LSTM算法较为复杂,难以集成在芯片中 -
基于形式化方法
2. 信息流检测(王占鹏)
- 例如 数据会不会从引脚流出去,遭遇侧信道攻击
- 跟某大学老师合作,他们有个工具可以探测,然后再接着深入研究
- 占鹏学长的ORAM方向做一段时间就不做了
- 形式化的方法
3. 指令集探测 (王光)
- 某些cpu中暗藏着只有设计者自己才知道的后门指令,可能会造成巨大危害,我们要把他们找出来
- risc指令集可以遍历
- cisc指令集太大了,遍历不了,需要另寻方法
4. 硬件漏洞严重性评估
- 对于某些硬件漏洞的严重程度和危害进行定量地准确地评估
- 清华大学, 信工所, 360,某个忘了名字的企业 参与其中
网友评论