訪問次數(shù)
反饋數(shù)量
現(xiàn)為螞蟻鏈開放實驗室負責人,致力于區(qū)塊鏈平臺和智能合約的安全研究,曾發(fā)現(xiàn)多個知名Web3項目高危漏洞。2019年獲得VirginiaTech計算機專業(yè)博士學位,主要研究方向為軟件安全和形式化方法。在PLDI,ICSE,F(xiàn)SE等國際知名會議上發(fā)表論文10余篇,F(xiàn)SE杰出論文獲得者。
訪問次數(shù)
反饋數(shù)量
活動詳情