乌克兰最大的信息安全论坛 HackIT 幕后团队。
智能合约验证。
提供针对区块链技术的代码审计。
专注于对应用加密系统进行现代洞察。
针对以太坊项目智能合约的代码审计。
去中心化移动网络安全,连接可信计算。
分析和研究高低阶的应用。
基于以太坊 DApps 的智能合约监控、警报和故障排除。
由玄猫安全实验室维护的区块链应用靶机。
保护 API 密钥与凭据。
设计、构建和审核分布式系统。
智能合约安全联盟。
对智能合约充满信心。
德国的区块链咨询公司,提供智能合约开发与审计服务。
区块链行业的风险管理。
挑战当前对于区块链安全的定义。
提供区块链技术、智能合约开发等服务,无与伦比的技术专长。
由数位国际顶尖安全专家创办,也在转型区块链领域的网络安全公司。
专注为企业级用户提供高质量的应用层安全防护解决方案。
从前叫做 Sentinel Protocol 哨兵协议。
专注于区块链与智能合约安全问题。
建立新的网络安全经济生态。
基于区块链的企业安全。
区块链安全公司。
针对以太坊生态系统的安全服务工具。
依托金山霸的安全技术背景,提供解决方案。
给节点做安全维护的区块链公司。
分布式的安全解决方案。
提供各种区块链开发工具,智能合约代码审计。
通过形式化验证,确保智能合约及区块链系统的安全性。
致力于创新的安全解决方案。
关于智能合约的首个代码审计平台。