硬體與系統安全 · 新加坡國立大學計算機學院
我們研究電腦底層的安全性與正確性:發現硬體與系統深處的漏洞,並建構抵禦這些漏洞的防禦機制。
成員
加入我們新聞
全部新聞小遊戲
遊戲背後的研究
發現的漏洞
連擊
晶片
時間
生命
在投片之前找出漏洞。
用方向鍵或拖曳來操控,空白鍵重啟電源。
拖曳來操控測試台。點擊框內的「重啟電源」清空盤面。
測試框架崩潰了。
逃脫
第 {n} 波,共 {m} 波
勘誤已修復
散射
護盾已開啟
連發
重啟電源
無人機掃射
重啟電源 +1
本晶片已消滅 {n} 個漏洞
勘誤未修就出貨:−1 條命
漏掉了:−150
{name} 被突破:−{n}
未被攻破的區塊:{n}/{m} · 商店 {p}% 折扣
晶片完好無損
測試框架崩潰
第 {n}/{m} 顆晶片測完
投片!晶片已簽核。
8 顆晶片直到投片
第 {n} 顆晶片,共 {m} 顆
帶著漏洞出貨:−1 條命
新漏洞:突波又快又跳
新漏洞:Rowhammer 橫掃並投下故障
新漏洞:Spectre 時隱時現
新漏洞:蠕蟲要擊中五次
新漏洞:擬態蟲偽裝成巧克力
超頻
巧克力翅膀
針
磁鐵
備用核心
重設鍵
啟動護盾
僚機
勘誤表
齊射
冷卻液
後燃器
真空吸取
砲塔
除錯器
追蹤彈
雙管
降頻
重型彈藥
迴焊
備用晶粒
冷凍炸彈
自我測試
戰利品感應
穩手
彈藥帶
覆蓋率獎勵
備用晶粒:再多一條命
射擊更快。
始終三發扇形射擊。
子彈多穿透一隻蟲。
附近的道具向你飄來。
再多一條命。
每顆晶片多一枚炸彈。
每顆晶片開局自帶護盾。
一架在你身旁開火的無人機。
頭目受到的傷害增加一半。
每第四輪齊射會呈扇形散開。
電壓跌落和抖動的持續時間減半。
移動速度提高四分之一。
所有道具都向你飄來。
底邊的砲塔自動開火。
裝甲蟲受到雙倍傷害。
子彈會轉向最近的蟲。
兩發子彈並排射出。
蟲的爬行速度降低百分之十五。
對硬蟲多造成一點傷害。
護盾破碎後二十秒內恢復。
每局一次,最後一條命會回來。
炸彈讓倖存者凍結兩秒。
每顆晶片結束時恢復一條命。
道具掉落頻率翻倍。
連擊在蟲逃脫後保留。
每找到十五隻蟲得一枚炸彈。
每隻蟲多得百分之三十的分數。
火力
測試台
團隊
時脈閘控
電壓跌落
漏洞風暴
九頭蟲分裂了
巨人猛砸
電壓尖峰:快速射擊
除錯視窗:漏洞減速並現形
快取抖動:漏洞加速
矽樂透
故障注入
一隻金色漏洞!
金色漏洞已消滅
有裝甲
暴露了
勘誤頭目
九頭蟲
海森堡漏洞
Rowhammer 巨人
競爭條件
緩衝區溢位
隨貨出廠的漏洞
斬一生二
不看時才出現
重擊晶粒
兩個執行緒,一把鎖
多出一個位元組
你會在勘誤表裡找到我。第 40 頁。
每修一個,就多兩個。
接上除錯器,我就消失。
我錘過的每一列都會翻轉。
先到鎖的贏。兩個都是我。
0xFF,再加一。
已歸檔為已修復。
再沒有頭能長了。
被觀測。塌縮了。
徹底刷新了。
已序列化。
邊界已檢查。
交匯
緩衝區已滿
它每次齊射後會短暫暴露:那時開火
它的分身在保護它:先消滅蠕蟲
只有它現身時才能打中
只有它在邊緣轉身時才脆弱
兩名跑者交匯時它才暴露:射擊交匯點
趁緩衝區滿而未溢出時打它
穩手
厚皮
快腳
長引信
殺價
射擊更快。
再多一條命。
移動速度稍快一些。
每顆晶片多 5 秒。
商店價格降低 10%。
新漏洞:蟲群一擁而出
新漏洞:分裂蟲一分為二
消滅它可獲得豐厚獎勵
甲蟲
突波
Rowhammer
幽靈
蠕蟲
擬態者
蜂群
分裂者
已投片
後矽階段
探針
捕網
拾取員
它每隔幾秒標記一隻蟲:被標記的蟲分數翻倍
它會接住即將逃脫的蟲,然後需要片刻恢復
它會把你拿不到的道具送過來
{name}加入測試台
已標記 ×2
已捕獲
已拾取
矽片從晶圓廠回來了。看看會爬出什麼。
把測試台開到甲蟲下方,它會自動開火。
蟲子會掉落零件。開過去撿起來。
每一波都更快。頂部的橫條是這顆晶片的時鐘。
第一隻蟲已消滅。連續消滅可獲得倍率。
有一隻溜過去了。逃掉五隻就會帶著漏洞出貨。
晶粒下面有什麼大傢伙在動。
勘誤來了。盯住它暴露的那一刻。
勘誤表已更新。先出貨,再改版。
改版了。新佈局,新蟲子,我還叫來了幫手。
從這顆晶片起甲蟲會吐出故障。躲開那些叉。
投片已過半。從這裡開始有裝甲蟲:六邊形意味著等待。
擬態蟲看起來像巧克力。會動的就打。
最後一顆晶片。離投片只差一個勘誤。
投片了。去慶祝吧。
已捕獲
連擊
波次
剩餘洩漏次數
剩餘值
守住連接埠。
在工具列選一座塔,點擊盤面放置。點擊污點值可手動清洗。點擊一座塔開啟它的選單。
在工具列選一座塔,按住盤面放置。點擊污點值來清洗。建造階段可以拖曳塔。
洩漏了。
洩漏
第 {n}/{m} 波已守住
晶片已守住。
10 波守住晶片
第 {n} 波,共 {m} 波
追蹤器已放置
追蹤器已滿
點數不夠
在導線上
離另一座塔太近
遠離核心和連接埠
超出邊界
放在這裡
放在這裡
點擊它該站的位置
升階
出售
移動
已出售:+{n}
已移動
已移動:點擊清空
拖曳塔可免費移動
手動清洗
沒有手動清洗次數了
已清空
標記用完:點擊清空
洩漏!
污點擴散
分裂!
幸運一擊
手動清洗
已無污點
連續捕獲 {n} 個
+1 次手動清洗
派遣無人機
新:裝甲值需要三次標記,坦克值六次
新:隱形值與偽裝值,只有靠近追蹤器或嗅探器才能看見
新:分裂值、蜂群值與衝刺值
新:載體值、幻影值,以及需要嗅探器解開的加密值
新:干擾值凍結塔,水蛭值抽乾塔
新:治療值會抹去周圍的標記
新:炸彈值會抽乾周圍的塔
Rootkit 已清除
木馬現形
蠕蟲已清除
木馬已清除
幽靈已清除
鍵盤側錄器已清洗
記錄中
電源突波:緩衝區下降
韌體更新:所有塔已清空
洩漏警報:污點值衝刺
稽核:手動清洗已補滿
迷霧:所有值看起來一樣
蠕蟲
木馬
幽靈
Rootkit
鍵盤側錄器
一節一節來
看起來乾淨,直到不再乾淨
永遠不在你以為的那根線上
掌控整顆晶粒
記錄你的每一次點擊
隨便標記我的尾巴吧。
放我過去吧。我很乾淨。
哪根線?錯了。
你的塔還沒建,我就在這兒了。
那一下我看見了。這一下也是。
從頭部切斷。
在連接埠前被揭穿。
被釘住了。
從 ring 0 被驅逐。
日誌已清除。
先清洗頭部:它活著時各節都有裝甲
它現形後會變慢:那時集中火力
它跳躍後會短暫實體化:那時標記它
它靠蟲群回血:先清洗蟲群
它會跳到你點擊的位置並短暫記錄:在你的塔附近點擊
Rootkit 從蟲群中恢復
已解密
爆炸:塔被抽乾
已升階
已是最高階
老兵
+{n} 位元
萬能鑰匙:所有塔已清空
巡邏無人機
深緩衝區
訓練營
備用手套
快速清空
備用連接埠
大量採購
幸運一擊
連接埠守衛
超頻
自動清空
冰冷之手
賞金
金庫
天線
金庫:不損失生命
操練
狙擊教條
沖刷衝擊
蓋特林教條
快手
過路費
全額退款
啟動資金
抗干擾
深度標記
自由搬遷
警報抑制器
一架巡邏、標記並沖刷的無人機。
塔多容納一個標記。
塔的射程更遠。
多一次清洗次數。
沖刷即時完成。
再多一條命。
塔的價格降低四分之一。
更多戰利品,且每十秒一份禮物。
每個連接埠的守衛每波清洗一個值。
塔的標記速度提高四分之一。
空塔六秒後自行沖刷。
清洗會減緩周圍的值。
戰利品掉落頻率翻倍。
每波的第一次洩漏不扣命。
所有塔的射程略微增加。
塔更快成為老兵。
射程更遠,標記更慢。
沖刷會減緩附近被污染的值。
標記更快,射程更短。
次數恢復更快。
每次攔截多得四分之一的分數。
出售塔可全額返還。
每波開始時獲得分數。
干擾器無法干擾你的塔。
裝甲值少需一個標記。
搬動塔時保留其標記。
警報持續時間減半。
連接埠守衛攔下了它
塔
手動
團隊
{n} 秒後來值
銳眼
深口袋
大緩衝區
穩手
殺價
所有塔的射程略微增加。
立即獲得 150 點數。
塔多容納一個標記。
次數恢復更快。
商店價格降低 10%。
黃金值:點擊它
黃金值已捕獲
裝甲值
坦克值
隱形值
擬態者
分裂者
蜂群
衝刺值
載體值
幻影
加密值
治療值
干擾值
水蛭值
炸彈值
獵犬
稽核員
信使
它沿導線奔跑,對隱身和偽裝的值吠叫,讓它們變慢
它會定期補滿最空的塔
它替你收集戰利品
{name}加入巡邏隊
汪:已現形
已稽核:已補滿
斷言
連擊
邊界
剩餘軌跡
預算
展開軌跡。
方向鍵或點擊軌跡兩側換道,空白鍵或點擊軌跡跳躍。按住下方向鍵煞車。
點擊軌跡兩側換道,點擊軌跡跳躍。按住框內的「煞車」減速。
軌跡用完了。
丟失的軌跡
第 {n} 個邊界,共 {m} 個
不可達狀態
反例已解決
第 {n}/{m} 個邊界已證明
所有邊界已證明。
10 個邊界待證明
新花樣:蟲洞
新:只留一個缺口的邊界牆
新:偽反例,無害
新:狀態爆炸
求解器超時:−1 條軌跡
被反例抓住
偽反例
引理:護盾開啟
覆蓋點
蟲洞跳躍
跳躍
煞車
下一列
+{n} s
狀態爆炸
求解器提示:安全車道發光
截止期限:預算快速流失
引理雨
反例
迴圈
對手求解器
抽象
狀態爆炸
在它撲來時跳躍,就能傷到它
在環掃過時跳穿它
在它眼皮底下搶先證明它要偷的斷言
趁它處於抽象態時穿過,或者跳過去
每證明一條斷言都能壓制它
雙生
狂亂
四個狀態
雙重迴圈
留下障礙
召喚反例
更寬,留有缺口
崩塌
連鎖反應
熔毀
{name}加入了這一局
{name} 第 {n} 級
重啟中
已證明
誘餌:反例已被壓制
神諭:求解器在思考
反例已被駁回
迴圈已打破
已甩開對手
抽象已精化
爆炸已遏制
那條失敗的軌跡
繞啊繞
每條斷言都比你快
三條道,沒有狀態
二的 N 次方
我只需要一條路徑。
每個週期,同樣的狀態。
我會先證明它。
太粗糙抓不住,太寬闊過不去。
狀態比你的週期還多。
沒有路徑了。
徹底打破。
先證明了。
被精化掉了。
已被約束。
弱點
被偷走
甩開
撲擊!
非決定性
非決定性轉向
新:反例會追獵軌跡
幽靈穿越
已修剪
立即修剪
備用軌跡
分頻器
幽靈穿越
修剪機器人
長跳
磁鐵
求解預算
引理庫
證明器
誘餌軌跡
神諭
見證者
不變量
檢查點
覆蓋賞金
透鏡
快速跳躍
韌性
檢查點:預算已恢復
快速轉向
深邊界
淺邊界
風暴錨
證明之錘
集結
寬幅修剪
快速修剪
幸運列
再多一條命。
軌跡跑得更慢。
跳躍距離更遠。
附近的斷言會飄入你的車道。
預算多五秒。
一個護盾,跨邊界保留。
每個邊界可免除一次崩潰。
修剪可清除前方車道。
一個在前方收集斷言的證明器。
兩條車道外的誘餌會壓扁蟲。
危險來臨時讓時間變慢的預言機。
跟在身後收集引理和覆蓋點的見證者。
每二十秒自動生成一個護盾。
每個邊界的第一次超時被免除。
覆蓋點的分值翻倍。
看穿非決定性。
跳躍冷卻更快。
連擊在崩潰後保留。
換道更快。
斷言分值增加一半,但速度更快。
更慢,但斷言分值更低。
狀態爆炸的持續時間減半。
頭目受到的傷害增加一半。
同伴重啟速度翻倍。
修剪也清除相鄰車道。
修剪冷卻更快。
黃金斷言出現得更頻繁。
不變量:護盾開啟
求解器
軌跡
同伴
黃金
黃金斷言已證明
+1 次幽靈穿越
慢時脈
備用軌跡
急轉彎
幸運
殺價
軌跡跑得更慢。
再多一條命。
換道更快。
黃金斷言出現得更頻繁。
商店價格降低 10%。
新:閃爍狀態,空心時安全
新:缺口會移動一條車道的邊界牆
新:快速滑動狀態橫掃兩條車道
新:雙重邊界牆,連穿兩個缺口
滑動狀態
一個黃金斷言!
刷新次數
險情
儲存體
時間
剩餘翻轉次數
守住每一列。
點擊某一列或按其數字來刷新。刷新用完時,點擊可將該列排入佇列。按空白鍵爆發刷新。
點擊某一列來刷新。刷新用完時,點擊可將該列排入佇列。爆發刷新按鈕在框內。
位元翻轉了。
險情
已刷新
位元翻轉!
好險
本 bank 已有 {n} 次險情
+1 次 ECC 更正
爆發刷新
新攻擊者:{name}
錘子
短跑手
螃蟹
雙錘
隱形錘
隨機跳躍
跳得快,打得輕
逐列爬行,打得重
從兩側夾擊同一列
每次跳躍後隱身
風扇
金絲雀
哨兵
它給最熱的一列降溫
某一列過熱時它會鳴叫,還會啄掉錘子的隱身
落在它旁邊的錘子會被彈開
{name}加入儲存體
儲存體擴充:+{n} 列
接下來:{name} · {s} 秒
更多列
黃金列
啾!
被彈開
充能中
沒有刷新額度了
已排隊 {n}
已取消排隊
第 {n}/{m} 個 bank 已守住
記憶體已守住。
10 個 bank 要守住
第 {n} 個 bank,共 {m} 個
新花樣:雙側敲打
新花樣:熱量波及兩列之外
新花樣:攻擊者跳動後會隱身
ECC 已更正
TRR 機器人刷新了一列
錘王已被驅逐
壓機已驅逐
幻影已驅逐
熱尖峰
冷卻爆發:令牌已補滿
電壓跌落:刷新要花兩個令牌
ECC 清洗:+1 次更正
列重映射:兩列互換
黃金列:保持低溫
黃金列保持了低溫
黃金列失守
錘王
壓機
幻影
錘得最狠
一次三列
只在出擊時現身
每一列都歸我錘。
能錘三列,何必只錘一列。
刷新你看不見的東西吧。
已退位。
被壓扁了。
現形了。
有護盾
它落地後會短暫暴露:那時刷新它旁邊的一列
它每次重擊後會休息:那時刷新它下面的一列
它出擊時會現身:那時刷新它旁邊的一列
機器人掃刷
額外額度
快充
ECC
渦輪爆發
備用儲存體
TRR 機器人
感測器
冷卻器
清洗器
長佇列
超頻驅動
裝甲列
隔熱罩
散熱片
抗壓降
熱手
眩暈之錘
慢燃
深度冷卻
散熱強化
早期預警
金鼻子
快速掃描
雙重掃描
頭目減速
限速
連鎖刷新
多一個令牌。
令牌恢復更快。
每個儲存體多吸收一次位元翻轉。
爆發冷卻更快。
再多一條命。
一個冷卻最熱列的 TRR 機器人。
看到錘子下一次落在哪裡。
列升溫速度降低百分之十。
每十五秒一次 ECC 充能。
最多可將五列排入佇列。
爆發讓錘子凍結兩秒。
弱列能多承受一點熱量。
熱尖峰的熱度減半。
預裝一個散熱片。
壓降不再使成本翻倍。
令牌更快,但列升溫略快。
在錘子下刷新會將其眩暈。
列升溫更慢,但令牌恢復也更慢。
刷新對相鄰列的冷卻效果翻倍。
散熱片將熱量減至三分之一。
列更早發出警告。
黃金列的分值翻倍。
機器人掃描更頻繁。
機器人每次掃描多冷卻一列。
頭目跳躍更慢。
錘子跳躍更慢。
快速連續刷新有額外分數。
控制器
記憶體
機器人
已安裝散熱片
冷手
厚牆
備用保險絲
快速爆發
殺價
令牌恢復更快。
每一列能多承受一點錘擊。
再多一條命。
爆發冷卻更快。
商店價格降低 10%。
新花樣:熱點會讓所在列升溫
新花樣:漂移錘逐列滑動
新花樣:刷新風暴期間刷新免費
新花樣:孿生錘同步敲打
漂移錘
逐列滑動,刷新它所在的列可讓它掉頭
雙生
同步出擊,在兩者之間刷新會同時眩暈它們
刷新風暴
刷新風暴:刷新免費
黃金列!
模糊測試與驗證
資訊流追蹤
形式化驗證
DRAM 與 Rowhammer
得分0
發現的漏洞0
連擊×1
晶片1
生命3
時間0:40
最高分0
等級Lv 1
新紀錄!
全部通關
{name}即將到來
前方有{name}
這一波之後是{name}
{name}被激怒了
第 {n} 階段:{name}
第 {n} 階段,共 3 階段
{name} 第 {n} 級
點擊跳過
未解鎖
已滿級
需要{name}
點擊一個節點查看。買下後線路會亮起。
第 {n} 級,共 {m} 級
與{name}二選一
已過半程
還剩 {n} 個值
還差 {n} 個斷言
你敗給了{name}。{hint}
繼續 · {level}
重新開始
已恢復進度
最佳:第 {n} 關,共 {m} 關 · 擊敗頭目 {b} 個
對,這是個遊戲。按「開始玩」,我邊玩邊講。
四個遊戲,每個對應一個研究方向。先玩這個。
漏洞、污點、證明和 DRAM。選個分頁,按「開始玩」。
在下方花費點數,然後按「繼續」 · {n}
點一個特長繼續 · {n}
最遠
連擊漂亮
火力全開
勢不可擋
{n} 點
點數:{n}
{n} 點
Lv {n}
升級!
第 {n} 級
選一個特長
點數花得值,漏洞找得快。
審稿人二號說測試框架沒問題。審稿人二號錯了。
這裡的一切都經過同行評審。評審人是我。
概不退款。投片就是最終版。
好眼光。大概吧。
成交。別去看勘誤表。
那是我最喜歡的一件。另一件也是。
合作愉快。小心那口咬痕。
晶片還是出貨了。它們總會出貨。
那是個反例。寫進論文吧。
漏洞總會有的。問問任何一張勘誤表。
矽片不講情面。咖啡有點用。
升職了。文書工作在你桌上。
升級了。還是沒有終身教職。
已經更強了。選得明智些。
實習生
博士生
博士後
教授
榮譽教授
實驗室等級
{n}/4 個遊戲超過第 5 關
已解鎖:{name}
模糊測試經費
追蹤器僚機
散熱證明
巧克力軌跡
秘密已解鎖
點擊頁面頂部的大晶片七次
巧克力模式
巧克力模式已關閉
今日晶片 · {date}
命名自
小遊戲
在 ChocoLab(新加坡國立大學計算機學院)遊玩
下一關:{level} · {list}
{name}出現
{name}加入
頭目:{name}
已通過 {n}/{m} 關
目標
不丟一條命
{n} 點
連擊 ×{n}
目標達成 +{n}
目標達成:+{n} 點
目標未達成
已超頻:得分多 50%
超頻獎勵:+{n} 點
收藏新增:{name}({n}/{m})
論文收藏:{n}/{m}
每一關都以 ChocoLab 的一篇論文命名。通關即可收藏這篇論文。
{game},{level}
{name}只剩 {p}%
距離最高分只差 {n} 點
新的最遠紀錄:{level}
今日:{twist}
雙倍經驗
商店價格降低 20%
開局多一條命
開局 300 點
連續 {n} 天
{rank}:{reward}
下一級:{xp} XP 升為{name},{reward}
商店價格降低 10%
開局多一條命
經驗多 25%
拿到第一批點數後立即獲得一個特長
開始:{level}
搶先起步:{level}
先花掉這些點數,然後按「繼續」
Chip 幫你接住了
已擊敗







