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正在利用最先进的形式化验证技术、安全智能审计技术以及安全专家人工审计,通过扫描及监控区块链协议和智能合约,保证项目的安全性。从而提供一个面向不仅是Web3.0领域的端到端安全解决方案,为所有Web3.0用户进行安全服务。

　　免责声明：网站作为信息内容发布平台，页面展示内容的目的在于传播更多信息，不代表本网站立场，不承担任何经济和法律责任。文章内容如涉及侵权请联系及时删除。