劉振廣：基于圖神經(jīng)網(wǎng)絡(luò)和專家規(guī)則的智能合約安全漏洞檢測（內(nèi)附PPT）

關(guān)注“學(xué)術(shù)世界” 讓科研變得更輕松

在2021年12月26日舉辦的2021 CCF 中國區(qū)塊鏈技術(shù)大會上，浙江大學(xué)特聘研究員，浙江工商大學(xué)教授劉振廣受邀進(jìn)行題為《基于圖神經(jīng)網(wǎng)絡(luò)和專家規(guī)則的智能合約安全漏洞檢測》的報告。

他在報告中指出，區(qū)塊鏈的本質(zhì)是一個數(shù)據(jù)不可篡改的數(shù)據(jù)庫。智能合約代碼是在區(qū)塊鏈上執(zhí)行的程序，用代碼編碼實(shí)現(xiàn)了不可人為干擾、對交易雙方都公平的自動執(zhí)行的合約條款。然而，智能合約的編程語言、編譯執(zhí)行工具較新，不可避免的存在一些安全漏洞，這些漏洞往往會導(dǎo)致巨額的經(jīng)濟(jì)損失。本報告著重介紹三類安全漏洞，并講述提出的基于圖神經(jīng)網(wǎng)絡(luò)和專家規(guī)則的智能合約代碼安全漏洞檢測方法。

劉振廣，浙江大學(xué)特聘研究員，浙江工商大學(xué)教授，曾任新加坡國立大學(xué)、新加坡科技研究局博士后和Research Fellow。主要研究方向?yàn)槎嗝襟w數(shù)據(jù)理解和區(qū)塊鏈智能合約安全，入選浙江省萬人計(jì)劃青年拔尖人才、首批“浙江省高校領(lǐng)軍人才青年優(yōu)秀人才”，2018“全球區(qū)塊鏈專利創(chuàng)新人才百人榜”，獲得過最佳論文提名獎、PoseTrack 2017、PoseTrack2018多幀姿態(tài)估計(jì)挑戰(zhàn)賽全球第1名、互聯(lián)網(wǎng)+創(chuàng)新創(chuàng)業(yè)大賽金獎等榮譽(yù)。近5年，發(fā)表CCF A類和IEEE/ACM匯刊論文30余篇，其中第一或通訊作者CCF A類論文20余篇，涵蓋CVPR、ICCV、TKDE、AAAI、IJCAI、ACM Multimedia等頂會頂刊。擔(dān)任了CCF A類的CVPR、ICCV、AAAI、IJCAI、ACM Multimedia、WWW等多個國際頂會的高級程序委員會委員或委員，擔(dān)任多個IEEE、ACM匯刊（Transaction）如TDSC、TVCG、TMM、TOMM、TII等的審稿人。

來源：CCF區(qū)塊鏈專業(yè)委員會

轉(zhuǎn)載請標(biāo)注來源！

中科國鼎數(shù)據(jù)科學(xué)研究院

關(guān)鍵詞： 劉振廣基于圖神經(jīng)網(wǎng)絡(luò)和專家規(guī)則的智能合約安全漏洞檢