歡迎光臨
比特幣資訊網

CertiK受邀第十一屆ISC2023互聯網安全大會,發表以智能形式化驗證爲主題的演講

據ISC官方報道,2023第十一屆互聯網安全大會(簡稱 ISC 2023)已在北京國家會議中心盛大开幕。包括CertiK聯合創始人顧榮輝、全國工商聯副主席汪鴻雁、ISC 大會主席兼360集團創始人周鴻禕在內的來自俄羅斯、美國、韓國等全球知名專家學者、數字安全典型企業代表均出席講話,共同就「安全即服務,开啓人工智能時代數字安全新範式」的大會主題,探討面向新時代的安全服務理念,以此爲數字經濟發展築牢安全屏障。

ISC作爲全球安全行業發展趨勢風向標,本屆會議再次掀起Web3.0熱潮,八大板塊近百場活動,持續輸出緊貼國家、經濟、社會、企業的千余數字安全前瞻觀點。本次大會由ISC互聯網安全大會組委會、中國互聯網協會等各大協會協辦 ;中國計算機學會計算機安全專業委員會、中國人工智能學會人工智能與安全專業委員會承辦,360 智腦、N 世界平台支持。

CertiK顧榮輝教授身兼香港Web3.0發展專責小組成員及新加坡官方國際技術咨詢委員會委員,於大會开幕式上發表了以「用智能形式化驗證核心軟件安全」爲主題的演講,提供針對特定行業的深度分析,探討數字安全領域的最新趨勢和潛在挑战。

Web3.0的總鎖定價值在2020年增長了23倍,隨着2020年开始Web3.0的迅猛增長,攻擊行爲也隨之增加。包括智能合約在內的新型創新,也引入了新的漏洞與攻擊模式,由於Web3.0程序錯誤導致的財產損失不斷增加。因此安全性對第三代互聯網 (Web3.0) 至關重要。

2023年2月,CertiK審計團隊在三星手機可信硬件執行環境上發現了6個高危漏洞。2023年6月,CertiK因成功發現並報告了SUI網絡名爲“倉鼠輪”的新型安全威脅而被SUI授予了50萬美元獎勵。不到兩個月的時間內,CertiK再次於重要平台發現了可導致嚴重後果的安全漏洞——Worldcoin系統漏洞。

CertiK致力於將前沿學術成果轉化爲企業級產品,其專業團隊持續不斷地研究和探索新的安全技術,以此奠定其解決方案在行業的領先地位。

鄭重聲明:本文版權歸原作者所有,轉載文章僅為傳播信息之目的,不構成任何投資建議,如有侵權行為,請第一時間聯絡我們修改或刪除,多謝。


標題:CertiK受邀第十一屆ISC2023互聯網安全大會,發表以智能形式化驗證爲主題的演講

地址:https://www.globalstockvip.com/article/33590.html