報(bào)告題目:區(qū)塊鏈、智能合約與安全
報(bào)告人:郭宇 CEO,SECBIT實(shí)驗(yàn)室創(chuàng)始人(原中科大特任副教授)
單位:蘇州鏈原信息科技有限公司
報(bào)告時(shí)間:2018年5月29日(周二)下午15:30–16:30
報(bào)告地點(diǎn):翡翠湖校區(qū)科教樓A座1樓第5會(huì)議室
報(bào)告摘要:
以太坊與智能合約為全球化協(xié)作提供了技術(shù)與經(jīng)濟(jì)平臺(tái),但是智能合約的缺陷與漏洞問(wèn)題一直困擾著區(qū)塊鏈與以太坊平臺(tái)的發(fā)展。每一次重大安全事故都曾帶來(lái)上億資產(chǎn)的損失。與此同時(shí),智能合約已成為區(qū)塊鏈的核心必備功能,正在以驚人的速度向前發(fā)展,未來(lái)在全球化背景下的數(shù)字經(jīng)濟(jì)時(shí)代,如何保證鏈上資產(chǎn)的安全,如何保證正常的金融秩序,將會(huì)成為區(qū)塊鏈技術(shù)的重中之重。報(bào)告將分析討論智能合約的安全問(wèn)題以及未來(lái)的應(yīng)對(duì)之策。
報(bào)告人簡(jiǎn)介:
郭宇,SECBIT實(shí)驗(yàn)室創(chuàng)始人,中國(guó)科學(xué)技術(shù)大學(xué)博士,耶魯大學(xué)訪問(wèn)學(xué)者,曾任中國(guó)科學(xué)技術(shù)大學(xué)特任副教授,支持并參與過(guò)多項(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ù)。