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