2018年5月29日下午，應(yīng)太陽集團(tuán)tyc5997邀請(qǐng)，武漢大學(xué)國(guó)家網(wǎng)絡(luò)安全學(xué)院何德彪教授和蘇州鏈原信息科技有限公司郭宇 CEO做了區(qū)塊鏈專題報(bào)告。網(wǎng)絡(luò)與信息安全研究所所長(zhǎng)胡東輝主持了報(bào)告會(huì)。來自學(xué)院多個(gè)系所的師生、部分外院師生參加了此次報(bào)告會(huì)。
何德彪教授在報(bào)告會(huì)上做了題為《密碼學(xué)在區(qū)塊鏈中的應(yīng)用與工程化》的報(bào)告，介紹了武漢大學(xué)密碼學(xué)與區(qū)塊鏈技術(shù)實(shí)驗(yàn)室近幾年來在區(qū)塊鏈方向所做的一些工作與成果：首先介紹了區(qū)塊鏈技術(shù)在數(shù)字貨幣、物聯(lián)網(wǎng)、智能制造供應(yīng)鏈管理、數(shù)字資產(chǎn)交易等多個(gè)領(lǐng)域的應(yīng)用，以及聯(lián)盟鏈在隱私保護(hù)、合法追蹤等方面具有的巨大優(yōu)勢(shì)，其次介紹了他們?cè)O(shè)計(jì)并實(shí)現(xiàn)的群簽名、廣播加密、零知識(shí)證明等關(guān)鍵密碼方案，并利用這些方案實(shí)現(xiàn)了一個(gè)安全高效的聯(lián)盟鏈系統(tǒng)。
此后，郭宇 CEO為大家做了名為《區(qū)塊鏈、智能合約與安全》的報(bào)告。郭宇老師在會(huì)上首先講述了近幾年以太坊上發(fā)生的重大智能合約漏洞事件——The DAO事件，從而引發(fā)大家對(duì)于智能合約漏洞問題的關(guān)注。接著，郭宇老師從智能合約代碼入手，展示了具體案例中合約代碼中的漏洞以及可能帶來的安全問題，并結(jié)合他所領(lǐng)導(dǎo)的SECBIT實(shí)驗(yàn)室的研究成果，給出了基于代碼審計(jì)、基于形式化驗(yàn)證的安全解決方案。
報(bào)告完畢后，與會(huì)相關(guān)教師及學(xué)生就報(bào)告內(nèi)容進(jìn)行了深入交流，提出了自己的問題與疑惑。兩位老師以其淵博的專業(yè)知識(shí)及高瞻遠(yuǎn)矚的眼光為大家做出了詳實(shí)的解答并提出了寶貴的建議。
何德彪，博士，武漢大學(xué)國(guó)家網(wǎng)絡(luò)安全學(xué)院教授，博士生導(dǎo)師，密碼學(xué)研究所所長(zhǎng)。研究方向?yàn)槊艽a算法的設(shè)計(jì)與似實(shí)現(xiàn)。2009畢業(yè)于武漢大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)院應(yīng)用數(shù)學(xué)專業(yè)，獲理學(xué)博士學(xué)位。近年來，在IEEE TIFS、IEEE TDSC、Science China-Information Sciences等國(guó)內(nèi)外著名期刊/會(huì)議上發(fā)表學(xué)術(shù)論文100余篇。主持國(guó)家自然科學(xué)基金、國(guó)家科技部“網(wǎng)絡(luò)空間安全”重點(diǎn)專項(xiàng)子課題、教育部博士點(diǎn)基金、湖北省自然科學(xué)基金等10余項(xiàng)科研項(xiàng)目。獲得教育部自然科學(xué)獎(jiǎng)一等獎(jiǎng)1項(xiàng)；獲得國(guó)際知名期刊IEEE Systems Journal最佳論文獎(jiǎng)1項(xiàng)；擔(dān)任中國(guó)密碼學(xué)會(huì)組織委員會(huì)委員、青年工作委員會(huì)委員和安全協(xié)議專家委員會(huì)委員；擔(dān)任Mathematical Reviews特約評(píng)論員；擔(dān)任IET Wireless Sensor Systems、Journal of Medical Systems、Computers & Electrical Engineering等多個(gè)國(guó)際知名期刊的編委。
郭宇，SECBIT實(shí)驗(yàn)室創(chuàng)始人，中國(guó)科學(xué)技術(shù)大學(xué)博士，耶魯大學(xué)訪問學(xué)者，曾任中國(guó)科學(xué)技術(shù)大學(xué)特任副教授，支持并參與過多項(xiàng)國(guó)家級(jí)重點(diǎn)科研項(xiàng)目，在國(guó)際頂級(jí)會(huì)議與期刊發(fā)表論文多篇，研究方向涉及形式化驗(yàn)證、操作系統(tǒng)內(nèi)核、區(qū)塊鏈技術(shù)、系統(tǒng)安全等方面。2016年-2017年，任某金融科技公司副總裁、區(qū)塊鏈項(xiàng)目負(fù)責(zé)人，30余項(xiàng)區(qū)塊鏈技術(shù)專利的核心發(fā)明人。2018年創(chuàng)立SECBIT實(shí)驗(yàn)室，專注于區(qū)塊鏈底層協(xié)議與智能合約安全驗(yàn)證理論與技術(shù)。
TOP
