硬件与系统安全 · 新加坡国立大学计算机学院

我们研究计算机底层的安全性与正确性:发现硬件与系统深处的漏洞,并构建抵御这些漏洞的防御机制。

成员

加入我们

新闻

全部新闻

加入我们

博士生、博士后与研究实习生。

查看职位

四个小游戏,每个对应一个研究方向,有关卡、商店和每日芯片。默认开启音效,可用按钮关闭。

模糊测试与验证
信息流追踪
形式化验证
DRAM 与 Rowhammer

漏洞从芯片里爬出来,沿着电路板往下走。测试框架会自动开火:控制它移动,连续击杀叠加倍率,接住漏洞掉落的道具。芯片的时钟走完并击败勘误 Boss,这颗芯片就算测完。每颗芯片都会带来新的布局、新的漏洞种类,以及一个用点数购买框架升级的商店。漏掉的漏洞会扣分,每漏掉五个还会扣一条命。

得分0
发现的漏洞0
连击×1
芯片1
生命3
时间0:40
最高分0
等级Lv 1