ChainSecurity 关于智能合约的首个代码审计平台,针对 Ethereum 和 Hyperledger Fabric 智能合约的安全性扫描,源于 Securify、ChainCode Scanner 创始者,基于苏黎世联邦理工学院 ICE 中心的最... 0 1 0 安全机构
CertiK CertiK是一家智能合同及区块链生态安全服务提供商,采用了形式化的验证,将智能合约转化为数学模型,通过逻辑上的推理演算来验证模型,从而证明智能合约的安全性,核心产品为Certi... 0 0 0 安全机构
降维安全实验室 降维安全实验室秉承“降维思考 知攻善防”理念,专注构建区块链安全生态,核心成员由来自乌云、百度安全、360企业安全、看雪研究院等国内著名安全团队组成,成员均十年以上安全从业经验 0 0 0 安全机构
Secureware Secureware 位于美国的区块链安全、运营机构,致力于改善区块链生态系统安全,包括支持安全软件开发生命周期,执行安全评估,技术架构咨询,设计和构建区块链网络,以及开发用于区... 0 0 0 安全机构
安比实验室SECBIT 安比实验室目前着重于研究区块链智能合约的安全问题,助力区块链团队提高智能合约的可靠性与安全性,开展构建智能合约安全框架的理论探索与技术研发,参与共建共识、可信、有序的... 0 1 0 安全机构
Trail of Bits Trail of Bits 自 2012 年创立以来,将高端安全研究与现实世界的黑客心态相结合,以降低世界上最具针对性的一些组织和产品的风险,并在代码层面加固 0 0 0 安全机构
曲速未来 曲速未来人工智能技术(广州)有限公司是领先的技术驱动型企业;主要面向企业提供全方位的信息安全云服务,公司核心竞争力源自利用独有的人工智能安全技术服务区块链/IoT/互联网行... 0 0 0 安全机构
知道创宇 知道创宇云安全是国内专业的免费云网站保护平台,为用户网站提供免费黑客攻击云防护、云加速服务,使用知道创宇云安全可有效防御黑客攻击,防DDOS,防CC攻击,网站提速200%以上 0 0 0 安全机构