報告題目:區(qū)塊鏈、智能合約與安全
報告人:郭宇 CEO,SECBIT實驗室創(chuàng)始人(原中科大特任副教授)
單位:蘇州鏈原信息科技有限公司
報告時間:2018年5月29日(周二)下午15:30–16:30
報告地點:翡翠湖校區(qū)科教樓A座1樓第5會議室
報告摘要:
以太坊與智能合約為全球化協(xié)作提供了技術(shù)與經(jīng)濟平臺,但是智能合約的缺陷與漏洞問題一直困擾著區(qū)塊鏈與以太坊平臺的發(fā)展。每一次重大安全事故都曾帶來上億資產(chǎn)的損失。與此同時,智能合約已成為區(qū)塊鏈的核心必備功能,正在以驚人的速度向前發(fā)展,未來在全球化背景下的數(shù)字經(jīng)濟時代,如何保證鏈上資產(chǎn)的安全,如何保證正常的金融秩序,將會成為區(qū)塊鏈技術(shù)的重中之重。報告將分析討論智能合約的安全問題以及未來的應(yīng)對之策。
報告人簡介:
郭宇,SECBIT實驗室創(chuàng)始人,中國科學(xué)技術(shù)大學(xué)博士,耶魯大學(xué)訪問學(xué)者,曾任中國科學(xué)技術(shù)大學(xué)特任副教授,支持并參與過多項國家級重點科研項目,在國際頂級會議與期刊發(fā)表論文多篇,研究方向涉及形式化驗證、操作系統(tǒng)內(nèi)核、區(qū)塊鏈技術(shù)、系統(tǒng)安全等方面。2016年-2017年,任某金融科技公司副總裁、區(qū)塊鏈項目負(fù)責(zé)人,30余項區(qū)塊鏈技術(shù)專利的核心發(fā)明人。2018年創(chuàng)立SECBIT實驗室,專注于區(qū)塊鏈底層協(xié)議與智能合約安全驗證理論與技術(shù)。