智能合約弱點檢測 #25
Description
基於動態模糊測試與機器學習的智能合約弱點檢測系統
Language / 語言
- English
- 中文
- 其他：
Abstract / 大綱 (Optional)
智能合約的安全一直是Ethereum的資安重點，有鑑於此，我們研發了一套創新的智能合約檢測系統，有別於現有的檢測工具大多以符碼執行(symbolic execution)或靜態特徵比對的方式進行弱點判斷，這套檢測系統使用了動態模糊測試與機器學習相關技術從中挖掘智能合約弱點，我們將會介紹這套系統的特點與我們研發的成果
References / 參考資料 (Optional)
Usually this section is updated when the talk is delivered. 講題講完之後再更新即可
Preferences / 偏好
- Accept Livestream / 可直播
- No livestream, accept video recording / 不直播，但可錄影
- Prohibit video recording / 不可直播也不可錄影
- Prohibit photographing / 禁止現場拍照
Time / 演講時間 (Optional)
The talk is usually 30 min with extra 10 min Q&A, specify here if longer or shorter is preferred. 一般演講時間為 30 分鐘與 10 min 問答時間，可註明想要更長或更短。