CertiK 研究

CertiK 由哥伦比亚大学和耶鲁大学的教授于 2018 年创立，始终处于区块链和 Web3 安全领域的前沿，率先推动形式化验证和人工智能驱动技术的发展，保障区块链、智能合约和去中心化应用的安全。作为该领域公认的领导者，CertiK 的使命是在快速发展的 Web3 领域建立具有韧性的标准，确保新兴技术安全可靠，以实现全球采用。 CertiK 研究部门由一支高度专业化的研究人员和工程师团队组成，他们既有耶鲁大学、佐治亚理工学院、清华大学和北京大学等著名学术机构的专家，也有来自微软、三星和英特尔的行业资深人士。

推动安全领域的创新

Action Item - Advancing Security Innovation

推进安全创新

这支专业团队处于安全研究的前沿，推动形式化验证、密码学完整性和零知识证明系统等核心领域的发展。

综合研究

研究部门的工作涉及区块链安全、智能合约验证和系统安全，涵盖移动系统、可信执行环境和去中心化物理基础设施网络等关键领域。

Action Item - Practical Security Solutions

实用的安全解决方案

团队的工作重点不仅在于理论上的进步，还在于实施切实可行的解决方案，以提高这些高风险领域的安全标准。

学术贡献

我们的团队成员在学术界非常活跃，在主要刊物上发表了超过230篇经同行评审的论文

S&P

EEE 安全与隐私研讨会

CCS

ACM 计算机与通信安全会议

TIFS

IEEE《信息取证与安全汇刊》

NDSS

网络和分布式系统安全研讨会

ASPLOS

为编程语言和操作系统提供架构支持

PACMPL

ACM 程序设计语言论文集

他们的研究成果被广泛认可和引用，引用次数超过 8,600 次，显示了他们对推动计算机安全知识发展的影响力。

行业影响

除学术贡献外，我们的团队成员还对科技和区块链行业产生了深远影响。他们已发现超过200个关键漏洞，这些漏洞获得了包括 Google、Apple、Microsoft、Samsung、Qualcomm 和 Adobe 在内的科技行业领军企业，以及 OKX、SUI 和 Wormhole 等知名区块链生态系统的认可。这些发现为安全领域树立了新标准，进一步彰显了我们致力于在各行业构建更安全、更具韧性的系统的承诺。

我们的研究人员还在 BlackHat、DEFCON、HITB、POC 和 CanSecWest 等主要行业会议上展示他们的专业知识和见解，与全球安全社区分享突破性发现。这种参与不仅彰显了 CertiK 作为思想领袖的地位，还加强了其在塑造未来网络安全标准方面的作用。