講座主題:大規(guī)模智能合約漏洞檢測與分析方法
專家姓名:王偉
工作單位:北京交通大學
講座時間:2022年11月4日 9:00-10:00
講座地點:騰訊會議:369-128-889
主辦單位:煙臺大學計算機與控制工程學院
內(nèi)容摘要:
以太坊目前已部署4000多萬個智能合約,控制了超大規(guī)模的加密貨幣。然而,智能合約漏洞層出不窮,給區(qū)塊鏈資產(chǎn)帶來了安全隱患。目前智能合約漏洞檢測方法執(zhí)行環(huán)境較為復雜,準確率也難以滿足現(xiàn)實要求。將介紹基于操作碼序列的大規(guī)模智能合約漏洞檢測模型與方法。在真實環(huán)境中進行測試,結(jié)果表明所提出的方法具有實時性和有效性,可用于大規(guī)模的智能合約漏洞實時檢測與分析。
主講人介紹:
王偉,北京交通大學教授,博士生導師,信息安全系主任,智能交通數(shù)據(jù)安全與隱私保護技術(shù)北京市重點實驗室副主任。中國計算機學會(CCF)杰出會員;CCF區(qū)塊鏈專業(yè)委員會常務(wù)委員。北京市網(wǎng)絡(luò)法學研究會常務(wù)理事。長期致力于網(wǎng)絡(luò)與系統(tǒng)安全、數(shù)據(jù)安全及隱私保護計算理論與技術(shù)研究。主持國家自然科學基金重點項目,國家重點研發(fā)計劃課題、子課題等項目30余項。主持或參編行業(yè)/國家/國際標準13項。連續(xù)入選愛思唯爾(Elsevier)網(wǎng)絡(luò)空間安全領(lǐng)域 “中國高被引學者”。擔任Computers & Security等期刊編委。獲省部級科技進步二等獎2項。